Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

List of contents

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.

Product details

• Assisted by: Fabrice Kordon (Editor), Janos Sztipanovits (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 28.02.2007
• EAN: 9783540711551
• ISBN: 978-3-540-71155-1
• No. of pages: 320
• Dimensions: 155 mm x 18 mm x 235 mm
• Weight: 516 g
• Illustrations: XIV, 320 p.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, Computerprogrammierung und Softwareentwicklung, Netzwerk-Hardware, Theoretische Informatik, Compiler und Übersetzer, computer science, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Computer Communication Networks, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Operating systems, Computer programming / software engineering, Computer architecture & logic design, Computer communication systems, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Network hardware, Computer logic, Computer Science Logic and Foundations of Programming, Compilers and Interpreters