Fabrice Kordon / Janos Sztipanovits (eds.)

Reliable Systems on Unreliable Networked Platforms

12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
Herausgegeben:Kordon, Fabrice; Sztipanovits, Janos

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 4322
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 12026487, 978-3-540-71155-1
• Seitenzahl: 336
• Erscheinungstermin: 28. Februar 2007
• Englisch
• Abmessung: 235mm x 155mm x 19mm
• Gewicht: 516g
• ISBN-13: 9783540711551
• ISBN-10: 3540711554
• Artikelnr.: 22749195

Autorenporträt

Fabrice Kordon, Université Pierre et Marie Curie, Paris, France / Janos Sztipanovits, Vanderbilt University, Nashville, TN, USA

Inhaltsangabe

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.