Informatik (122 Artikel)

Three dimensional modeling and visualization of environments is an increasingly important problem. This work addresses the problem of automatic 3D reconstruction and we present a system for unsuper...

Unterwasserbilder besitzen meist eine schlechte Bildqualität, da diese von Farbverschiebungen, Unschärfe und einem milchig trüben Erscheinungsbild geprägt sind. In dieser Arbeit wird eine problemsp...

Cloud storage services and NoSQL systems typically offer only "Eventual Consistency", a rather weak guarantee covering a broad range of potential data consistency behavior. The degree of actual (in...

Wie können Menschen mit verschiedenen Kenntnissen und Erfahrungen Prozessmodelle in der digitalen Kommunikation verwenden und zugleich Systemunterstützung durch die beschriebenen Prozesse erhalten?...

Die sensorgestützte Sortierung ermöglicht die Trennung einzelner Partikel aus einem Materialstrom. In dieser Arbeit wird eine neue Gattung eines Schüttgutsortiersystems mit Flächenkamera erforscht....

The rapidly growing world population and increasingly dense settlements demand ever-larger and more complex buildings from today's engineers. In comparison to this technological progress, a buildin...

In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications o...

Kleine und Mittelständische Unternehmen (KMU) sehen sich in ihrem Alltag immer wieder Gefahren ausgesetzt. Zwar führen 94 % der KMUs in Deutschland zwar regelmäßig Datensicherungen durch, aber gera...

Chillies is a novel approach for variable model transformations closing the gap between abstract architecture models, used for performance prediction, and required low-level details. We enable vari...

Developing variable systems faces many challenges. Dependencies between interrelated artifacts within a product variant, such as code or diagrams, across product variants and across their revisions...

In software development, project constraints lead to customer-specific variants by copying and adapting the product. During this process, modifications are scattered all over the code. Although thi...

This work introduces architectural security analyses for detecting access violations and attack paths in software architectures. It integrates access control policies and vulnerabilities, often ana...

Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness m...

Die Deflektometrie liefert Gestaltinformationen über spiegelnde Oberflächen durch Beobachtung von a priori bekannten Mustern. Zur automatischen Sichtprüfung von (teil)spiegelnden Objekten werden da...

Learning by reflection is one of the core processes for improving work performance. We provide a novel approach for reflective learning support by transferring and adapting practices from the Quant...