Dieter Hutter Livres

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled „A Portrait of a Scientist: Logics, AI, and Politics.“ The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.

This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Security in Pervasive Computing held in Boppard, Germany in March 2003. The 19 revised full papers presented together with abstracts of 4 invited talks and a workshop summary were carefully selected during two rounds of reviewing and improvements. The papers are organized in topical sections on location privacy, security requirements, security policies and protection, authentication and trust, secure infrastructures, smart labels, verifications, and hardware architectures.

This volume features contributions from the International Workshop on Current Trends in Applied Formal Methods, held from October 7-9, 1998, in Boppard, Germany. The workshop aimed to address key issues in the practical application of formal methods in industry, especially as safety and security concerns increasingly hinder software and hardware development. Major companies have established departments focused on formal methods, while many European countries are experiencing a labor shortage in this emerging field. Tony Hoare's vision of software and hardware development evolving into a proper engineering science is now materializing. The workshop emphasized practical aspects of this technology, including verification, validation, and tool integration within the software life-cycle, rather than purely academic topics. Participants evaluated the current state of industrial applications, fostering discussions among scientists, engineers, and regulatory bodies about future needs and developments. These discussions resulted in roadmaps outlining the future of the field, tool support, and potential application areas. Contributions from industry representatives and national security bureaus were particularly valuable and well-received.

Dieser Band klärt die Frage der Haftung einer Gemeinde für Schäden durch Hochwasser, indem vor allem die aktuelle Judikatur aufgearbeitet wird und Lösungswege aus einer Haftung heraus aufgezeigt werden. Der Autor schlägt die Brücke von den theoretischen Grundlagen zur Praxis: rechtliche Haftungsgrundlagen: klassischer Fall der Bauführung in hochwassergefährdeten Gebieten; andere Sachverhalte, wie z.B. rückgestaute Kanäle ... möglicher Haftungsausschluss: höhere Gewalt (vis maior) Erörterung konkreter Sachverhalte als praktische Beispiele Die Broschüre stärkt das Bewusstsein für juristische Gefahrenmomente und hilft dadurch Gemeindevertretern, Raumplanern, Ziviltechnikern und anderen Entscheidungsträgern, bereits vorab Maßnahmen zur Vermeidung von Hochwasserschäden und daraus entstehenden Haftungen zu setzen.