Technische Informatik

Anonymisierungstechniken wird eine besondere Rolle bei der Umsetzung gesetzlicher Pflichten zugeschrieben, etwa als technisch-organisatorische Maßnahmen zur datenschutzfreundlichen Technikgestaltung. Sie gelten überdies als Antidot gegen den …

Selbstfahrende Fahrzeuge brauchen den steten Austausch von Daten. Die Automobilhersteller benötigen die Daten, um ihre Prozesse zu optimieren und um neue Geschäftsmodelle aufzusetzen. Weil aber bereits mit wenigen Klicks der Schutz der Anonymität …

This paper presents the multi-objective optimization problem (MOP) of minimizing collation delays and the makespan in mail-order pharmacy automation (MOPA) systems. MOPA is a high-throughput make-to-order (MTO) manufacturing system designed to …

Angetrieben von den technischen Innovationen in der Informatik stehen in allen Bereichen von Wirtschaft, Gesellschaft und Privatleben heute immer mehr Daten zur Verfügung, die potenziell übertragen, gespeichert und analysiert werden könnten, um darau…

Der Begriff Information stammt aus dem Lateinischen. Von der Antike bis in das 20. Jahrhundert war Information ein kaum verwendetes und unspektakuläres Wort. Zemanek belegt diese Hypothese mit dem Verweis auf ein Häufigkeitswörterbuch der …

Die umgangssprachliche Berufsbezeichnung „Akupunkturmediziner/Akupunkturmedizinerin“ oder „Akupunkteur/Akupunkteurin“ weist z. B. auf Aufbaustudiengänge der Deutschen Ärztegesellschaft für Akupunktur (DÄGfA) hin, mit dem Abschluss …

In this paper a worst-case execution time (WCET) analysis of programs written in synchronous programming languages like ESTEREL is presented. Synchronous languages allow the building of deterministic systems and additionally enable formal …

This paper sketches a rigorous correctness proof of a compiler executable. We will emphasize the central rôle of partial program correctness and its preservation, which captures the intuitive correctness requirements for transformational programs …