Reliable Systems on Unreliable Networked Platforms

12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

336 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Reinventing Computing for Real Time.- Applying Service-Oriented Development to Complex Systems: BART Case Study.- Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study.- The GridLite DREAM: Bringing the Grid to Your Pocket.- DARX - A Self-healing Framework for Agents.- Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN).- A Factory to Design and Build Tailorable and Verifiable Middleware.- A Concurrency Abstraction for Reliable Sensor Network Applications.- Outdoor Distributed Computing with Split Smart Messages.- Towards a Real-Time Coordination Model for Mobile Computing.- Dynamic System Reconfiguration Via Service Composition for Dependable Computing.- A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems.- Providing Dependable Services with Unreliable SoCs-The DECOS Approach.- Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems.- Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems.- Approaches for Inheritance in the TMO Programming Scheme.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783540711551
• Sprache: Englisch
• Erscheinungsdatum: 28.02.2007
• Größe: 235 x 155 mm
• Verlag: Springer Vieweg
• Herausgegeben von: Fabrice Kordon, Janos Sztipanovits