Amazon cover image
Image from Amazon.com

Reliable systems on unreliable networked platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers / Fabrice Kordon, Janos Sztipanovits (eds.).

Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 4322.Publication details: Berlin ; New York : Springer, ©2007.Description: 1 online resource (xiv, 316 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540711568
  • 3540711562
  • 3540711554
  • 9783540711551
  • 6610935785
  • 9786610935789
Subject(s): Genre/Form: Additional physical formats: Print version:: Reliable systems on unreliable networked platforms.DDC classification:
  • 005.1 22
LOC classification:
  • QA76.76.D47 R46 2007eb
Online resources:
Contents:
Cover -- Table 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 -- Author Index -- Last Page.
In: Springer e-booksSummary: This book constitutes the thoroughly refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with special focus on realization of reliable systems on top of unreliable networked platforms, held in Laguna Beach, CA, USA, in September 2005. The 6 revised full papers presented together with 10 papers contributed by the invited speakers were carefully selected during two rounds of reviewing and improvement from numerous submissions. Major issues covered by the workshop contributions are model-based software development of network-centric system-of-systems, foundations of future design and programming abstractions, active fault management in network-centric systems, intelligent and robust middleware, as well as model-based development of certifiable systems.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Cover -- Table 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 -- Author Index -- Last Page.

Print version record.

This book constitutes the thoroughly refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with special focus on realization of reliable systems on top of unreliable networked platforms, held in Laguna Beach, CA, USA, in September 2005. The 6 revised full papers presented together with 10 papers contributed by the invited speakers were carefully selected during two rounds of reviewing and improvement from numerous submissions. Major issues covered by the workshop contributions are model-based software development of network-centric system-of-systems, foundations of future design and programming abstractions, active fault management in network-centric systems, intelligent and robust middleware, as well as model-based development of certifiable systems.

Powered by Koha