Reliable Systems on Unreliable Networked Platforms

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

AvFabrice Kordon,Janos Sztipanovits

Häftad, Engelska, 2007

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the 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 in September 2005. Coverage includes model-based software development of network-centric system-of-systems, foundations of future design and programming abstractions, and intelligent and robust middleware.

Produktinformation

Utgivningsdatum:2007-02-28
Mått:155 x 235 x 19 mm
Vikt:511 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:320
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540711551

Utforska kategorier

Programmeringsböcker inom Data och IT

Innehållsförteckning

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.

Mer från samma författare

Tools and Algorithms for the Construction and Analysis of Systems

Bernhard Steffen, Fabrice Kordon, Marieke Huisman

Häftad, 2020

647 kr

Tools and Algorithms for the Construction and Analysis of Systems

Bernhard Steffen, Fabrice Kordon, Marieke Huisman

Inbunden, 2020

711 kr

Embedded Systems

Alain Dohet, Agusti Canals, J r me Hugues, Fabrice Kordon

E-bok

2013

2 216 kr

Embedded Systems

Alain Dohet, Agusti Canals, J r me Hugues, Fabrice Kordon

E-bok

2013

2 193 kr

Distibuted Systems

Laure Petrucci, Laurent Pautet, Fabrice Kordon, Serge Haddad

E-bok

2013

2 347 kr

Distibuted Systems

Laure Petrucci, Laurent Pautet, Fabrice Kordon, Serge Haddad

E-bok

2013

2 347 kr

Models and Analysis for Distributed Systems

Laure Petrucci, Laurent Pautet, Fabrice Kordon, Serge Haddad

E-bok

2013

2 347 kr

Models and Analysis for Distributed Systems

Laure Petrucci, Laurent Pautet, Fabrice Kordon, Serge Haddad

E-bok

2013

2 347 kr

Formal Methods for Embedded Distributed Systems

Fabrice Kordon, Michel Lemoine

Inbunden, 1991

1 137 kr

Formal Methods for Embedded Distributed Systems

Fabrice Kordon, Michel Lemoine

Häftad, 2010

1 137 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr