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. 
 - 1st ed. 2007. 
 - XIV, 320 p.  online resource. 
 - Programming and Software Engineering,  4322  2945-9168 ; .
 - Programming and Software Engineering,  4322 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540711568 
<br/><br/><label>Standard No.: </label>10.1007/978-3-540-71156-8  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Computer programming.<br/>Compilers (Computer programs).<br/>Computer science.<br/>Computer networks .<br/>Software Engineering.<br/>Programming Techniques.<br/>Compilers and Interpreters.<br/>Computer Science Logic and Foundations of Programming.<br/>Computer Communication Networks.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1