Central Library

Normal view MARC view ISBD view

Reliable Systems on Unreliable Networked Platforms [electronic resource] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / edited by Fabrice Kordon, Janos Sztipanovits.

Contributor(s): Kordon, Fabrice [editor.] | Sztipanovits, Janos [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Programming and Software Engineering: 4322Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Edition: 1st ed. 2007.Description: XIV, 320 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540711568.Subject(s): Software engineering | Computer programming | Compilers (Computer programs) | Computer science | Computer networks  | Software Engineering | Programming Techniques | Compilers and Interpreters | Computer Science Logic and Foundations of Programming | Computer Communication NetworksAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access online
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.
In: Springer Nature eBook
    average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments for this item.

Log in to your account to post a comment.