Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / [electronic resource] :
edited by Fabrice Kordon, Janos Sztipanovits.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
- XIV, 320 p. online resource.
- Lecture Notes in Computer Science, 4322 0302-9743 ; .
- Lecture Notes in Computer Science, 4322 .
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.
9783540711568
10.1007/978-3-540-71156-8 doi
Computer science.
Computer Communication Networks.
Computer system performance.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Computer Communication Networks.
System Performance and Evaluation.
QA76.758
005.1
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.
9783540711568
10.1007/978-3-540-71156-8 doi
Computer science.
Computer Communication Networks.
Computer system performance.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Computer Communication Networks.
System Performance and Evaluation.
QA76.758
005.1