TY  - BOOK
AU  - Kordon,Fabrice
AU  - Sztipanovits,Janos
ED  - SpringerLink (Online service)
TI  - Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783540711568
AV  - QA76.758 
U1  - 005.1 23
PY  - 2007///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Communication Networks
KW  - Computer system performance
KW  - Software engineering
KW  - Logic design
KW  - Computer Science
KW  - Software Engineering
KW  - Programming Techniques
KW  - Programming Languages, Compilers, Interpreters
KW  - Logics and Meanings of Programs
KW  - System Performance and Evaluation
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-540-71156-8
ER  -