The complexity of technical systems increases, breakdowns occur quite often. The mission of organic computing is to tame these challenges by providing degrees of freedom for self-organised behaviour. To achieve these goals, new methods have to be developed. The proposed observer…
This thesis presents the Palladio Component Model and its accompanying transformations for component-based software design with predictable performance attributes. The use of transformations results in a deterministic relationship between the model and its implementation. The in…
This book presents an interdisciplinary approach drawing from the fields of computer science, economics, and law to realize dynamic and flexible Web service markets. It thereby addresses technical issues such as the functional and non-functional description of Web services, econ…
This book features state-of-the-art contributions in mathematical, experimental and numerical simulations in engineering sciences. The contributions in this book, which comprise twelve chapters, are organized in six sections spanning mechanical, aerospace, electrical, electronic…
With the recent advances in remote sensing technologies for Earth observation, many different remote sensors are collecting data with distinctive properties. The obtained data are so large and complex that analyzing them manually becomes impractical or even impossible. Therefore…
In this thesis two probabilistic model-based estimators are introduced that allow the reconstruction and identification of space-time continuous physical systems. The Sliced Gaussian Mixture Filter (SGMF) exploits linear substructures in mixed linear/nonlinear systems, and thus …
Information flow control (IFC) is a technique to assert the security of a given program with respect to a given security policy. The classical policy noninterference requires that public output of a program may not be influenced from secret input. This work leverages a technique…
In der vorliegenden Abhandlung wird ein System zur autonomen 3D-Umweltmodellierung vorgestellt, welches auf den drei Hauptprozessen Datenaufnahme, Datenintegration und Aktionsplanung beruht. Basis der Modellierung sind dichte Tiefenbilder, generiert durch einen rotierenden Zeile…
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 more rigorously than just by testing. This work presents an approach for deductivel…
Although scientific computing is very often associated with numeric computations, the use of computer algebra methods in scientific computing has obtained considerable attention in the last two decades. Computer algebra methods are especially suitable for parametric analysis of …
Collectively working robot teams can solve a problem more efficiently than a single robot, while also providing robustness and flexibility to the group. Swarm robotics model is a key component of a cooperative algorithm that controls the behaviors and interactions of all individ…
Optimization is considered as a decision-making process for getting the most out of available resources for the best attainable results. Many real-world problems are multi-objective or multi-attribute problems that naturally involve several competing objectives that need to be o…
Anfang der neunziger Jahre wurden etwa 80 Prozent der in Deutschland eingesetzten Software importiert und nur 20 Prozent im eigenen Land erzeugt. Um der Softwareproduktion im eigenen Land auf die Beine zu helfen, initiierte Professor Dr. Adolf Schreiner mehrere Softwarewettbewer…
Ein noch offenes Problem der optischen 3D-Modellerfassung ist die Notwendigkeit einer zeitintensiven, manuell gestützten Montage mehrerer Ansichten bzw. Tiefenbilder zu einem geschlossenen 3D-Oberflächenmodell. Könnte dieser Vorgang der sog. 3D-Registrierung in den Scanprozess v…
The book is dealing with recent progress in human-computer interaction (HCI) related to geographic information science (GIS). The Editorial starts with an overview about the evolution of the Internet and first HCI concepts and stimulates recent HCI developments using 3D and 4D a…
