Informatik (123 Artikel)

To understand the problems in metamodeling, this work presents an investigation of bad smells in metamodels. The core contribution of this work is the reference structure. It enables design, evolut...

In this work, the authors analysed the co-dependency between models and analyses, particularly the structure and interdependence of artefacts and the feature-based decomposition and composition of ...

Der Erstellungsaufwand multimedialer Lernangebote kann durch die Wiederverwendung bestehender Materialien deutlich reduziert werden. Wie aber kann das Auffinden solcher wiederverwendbaren Lernresso...

This work presents an approach for the architecture analysis of energy efficiency for static and self-adaptive software systems. It introduces a modeling language that captures consumption characte...

In dieser Arbeit wird ein Ansatz zur adaptiven Umweltmodellierung betrachtet. Umweltmodelle für kognitive Systeme enthalten oft vorab definierte Domänenmodelle, die für unvorhergesehene Entitäten u...

In this work we suggest a meta access control model emulating established access control models by configuration and offering enhanced features like the delegation of rights, ego-centered roles, an...

The quality of enterprise software applications plays a crucial role for the satisfaction of the users and the economic success of the enterprises. Software applications with unsatisfying performan...

A main property of software-intensive technical systems is sustainability. Sustainable systems need to change continuously. A change to a system element can result in further changes to other syste...

This work focuses the recognition of complex human activities in video data. A combination of new features and techniques from speech recognition is used to realize a recognition of action units an...

Business processes and information systems evolve constantly and affect each other in non-trivial ways. Aligning security requirements between both is a challenging task. This work presents an auto...

The ADMD3 approach presented in this book enchances the architectural design documentation of decision via reuse of design patterns. It combines the support for evaluation of pattern application, s...

This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems early in development, (ii) decomposi...

This work introduces a novel approach to keep high-level component-based architecture models consistent with source code during software development and software evolution. The approach helps to av...

The software execution environment can play a crucial role when analyzing the performance of a software system. In this book, a novel approach for the automated detection of performance-relevant pr...

Quality attributes, such as performance or reliability, are crucial for the success of a software system and largely influenced by the software architecture. Their quantitative prediction supports ...

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...

The goal of this work is improving existing and suggesting novel filtering algorithms for nonlinear dynamic state estimation. Nonlinearity is considered in two ways: First, propagation is improved ...

Die mittlerweile unabdingbare Verfügbarkeit des Internets wird zunehmend durch finanziell motivierte, verteilte Angriffe gestört. Deren schnelle und flächendeckende Erkennung als notwendige Vorauss...

This work addresses the problem of how to capture the dynamics of maneuvering objects for visual tracking. Towards this end, the perspective of recursive Bayesian filters and the perspective of dee...

Previously, software architects were unable to effectively and efficiently apply reusable knowledge (e.g., architectural styles and patterns) to architectural analyses. This work tackles this probl...

Frühwarnsysteme dienen zur möglichst frühzeitigen Information über eine sich anbahnende oder auftretende Gefahr, um Personen und Organisationen die Möglichkeit zu geben entsprechend darauf reagiere...

Diese Arbeit beschreibt, wie man natürlichsprachliche Schnittstellen für die Programmierung von Software-Anwendungen erstellen kann. Hierbei wird insbesondere betrachtet, wie die Textanalyse vom ko...

Die Auswertung von Zeitreihen mit Hilfe von Data-Mining Verfahren ist häufig durch zeitvariante Änderungen der Zeitreihen erschwert. Zur Verbesserung der Ergebnisse bei solchen Datensätzen wird in ...

In der industriellen Dienstleistungsbeschaffung mangelt es an adäquaten domänenspezifischen Lösungsansätzen für die präzise Modellierung, qualitative und quantitative Analyse und Implementierung el...

Diese Arbeit stellt neuartige Konzepte zur effizienten Entscheidungsunterstützung in der Rekonfiguration software-intensiver technischer Systeme mit limitiertem Wartungszugriff vor. Entgegen rein r...

This work proposes a feature-based probabilistic data association and tracking approach (FBPDATA) for multi-object tracking. FBPDATA is based on re-identification and tracking of individual video i...

If numeric data from the Web are brought together, natural scientists can compare climate measurements with estimations, financial analysts can evaluate companies based on balance sheets and daily ...

Bei moderner Software-Entwicklung entsteht das Problem der Fragmentierung von Information in heterogene Modellierungs- und Programmierprachen. In dieser Dissertation wird der Vitruvius-Ansatz für s...

This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness r...

Im Rahmen der vorliegenden Arbeit wird auf Basis reaktiver Greifskills ein manipulationsunabhängiges Ansteuerungskonzept entwickelt, das Mehrfingergreifer intuitiv und für einen breiten Anwenderkre...

High-performance system architectures are increasingly exploiting heterogeneity. The HipHaC workshop aims at combining new aspects of parallel, heterogeneous, and reconfigurable microprocessor tech...

An adaptive microscope with axial chromatic encoding is designed and developed, namely the AdaScope. With the ability to confocally address any locations within the measurement volume, the AdaScope...

This work presents a new approach for estimating 3D human poses based on monocular camera information only. For this, the Implicit Shape Model is augmented by new voting strategies that allow to lo...

Die Methode zur teilautomatisierten Identifikation mobiler Teilprozesse ermöglicht eine computergestützte, kriterien-spezifische Analyse der Inschriften von Geschäftsprozess-Schemata und gibt Empfe...

This work proposes a Multibody Structure from Motion (MSfM) algorithm for moving object reconstruction that incorporates instance-aware semantic segmentation and multiple view geometry methods. The...

When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This ...