Technische Informatik

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…

Im Jahr 2014 feierte der Lehrstuhl Datenbank- und Informationssysteme (LS DBIS) an der Universität Rostock sein zwanzigjähriges Bestehen. Zur Jubiläumsveranstaltung mit ehemaligen und aktuellen Studenten, Mitarbeitern, Kollegen und Koop

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 …

In this paper we present the software architecture DANA based on components for distributed systems in vehicles. Components use and provide services. Since they are binary codes that are deployable and configurable at system’s runtime, it is …