Skip to main content
SpringerLink
Log in

Reliable Systems on Unreliable Networked Platforms

12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Fabrice Kordon
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Janos Sztipanovits
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4322)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: Monterey Workshop 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Reinventing Computing for Real Time

    • Edward A. Lee, Yang Zhao
    Pages 1-25

  3. Applying Service-Oriented Development to Complex Systems: BART Case Study

    • Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini
    Pages 26-46

  4. Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study

    • Victor Winter, Deepak Kapur
    Pages 47-69

  5. The GridLite DREAM: Bringing the Grid to Your Pocket

    • Chris A. Mattmann, Nenad Medvidovic
    Pages 70-87

  6. DARX - A Self-healing Framework for Agents

    • Olivier Marin, Marin Bertier, Pierre Sens, Zahia Guessoum, Jean-Pierre Briot
    Pages 88-105

  7. Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN)

    • Luqi, Valdis Berzins, William H. Roof
    Pages 106-120

  8. A Factory to Design and Build Tailorable and Verifiable Middleware

    • Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud
    Pages 121-142

  9. A Concurrency Abstraction for Reliable Sensor Network Applications

    • János Sallai, Miklós Maróti, Ákos Lédeczi
    Pages 143-160

  10. Outdoor Distributed Computing with Split Smart Messages

    • Nishkam Ravi, Liviu Iftode
    Pages 161-183

  11. Towards a Real-Time Coordination Model for Mobile Computing

    • Gregory Hackmann, Christopher Gill, Gruia-Catalin Roman
    Pages 184-202

  12. Dynamic System Reconfiguration Via Service Composition for Dependable Computing

    • W. T. Tsai, Weiwei Song, Yinong Chen, Ray Paul
    Pages 203-224

  13. A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems

    • Shih-Hsi Liu, Barrett R. Bryant, Mikhail Auguston, Jeff Gray, Rajeev Raje, Mihran Tuceryan
    Pages 225-247

  14. Providing Dependable Services with Unreliable SoCs—The DECOS Approach

    • Hermann Kopetz
    Pages 248-257

  15. Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems

    • Holger Giese
    Pages 258-280

  16. Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems

    • Man-Tak Shing, Doron Drusinsky
    Pages 281-303

  17. Approaches for Inheritance in the TMO Programming Scheme

    • K. H. (Kane) Kim, Moon-Cheol Kim, Moon-Hae Kim
    Pages 304-316

  18. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Reliable Systems on Unreliable Networked Platforms

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation