Informatik (15.755 Artikel)

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Hybrid Systems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina, I...

5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised...

This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19...

Control Synthesis of Hybrid Systems Based on Predicate Invariance.- Computing Approximating Automata for a Class of Linear Hybrid Systems.- On Hybrid Systems and the Modal µ-calculus.- The Extended...

Invited Presentations.- Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision.- Experiences in Designing and Using Formal Specification Languages for Embedded Control Software.- Mode...

Invited Papers.- Coordinated Control for Highly Reconfigurable Systems.- Operational Semantics of Hybrid Systems.- SOS Methods for Semi-algebraic Games and Optimization.- Regular Papers.- The Discr...

10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings

This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revi...

This volume contains the proceedings of the Fourth Workshop on Hybrid - stems: Computation and Control (HSCC 2001) held in Rome, Italy on March 28-30, 2001. The Workshop on Hybrid Systems attracts ...

This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998.The volume presents 2...

This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC'99) to be held March 29- 31, 1999, in the village Berg en Dal near Nijmege...

This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997.The volume presents 18 revised full pa...

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

Agile Softwareentwicklung erlebt gegenwärtig einen großen Hype. Neuerdings ist aber auch ein Gegentrend zu diesem Hype zurück zu den klassischen Vorgehensmodellen zu bemerken. Hybride Softwareentwi...