Reliable Systems on Unreliable Networked Platforms Reliable Systems on Unreliable Networked Platforms

Reliable Systems on Unreliable Networked Platforms

    • US$69.99
    • US$69.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2007년
2월 28일
언어
EN
영어
길이
316
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
6.7
MB
Software Technologies for Embedded and Ubiquitous Systems Software Technologies for Embedded and Ubiquitous Systems
2008년
Software Technologies for Embedded and Ubiquitous Systems Software Technologies for Embedded and Ubiquitous Systems
2007년
Software Technologies for Embedded and Ubiquitous Systems Software Technologies for Embedded and Ubiquitous Systems
2010년
Architecting Dependable Systems V Architecting Dependable Systems V
2008년
SDL 2009: Design for Motes and Mobiles SDL 2009: Design for Motes and Mobiles
2009년
Analysis, Architectures and Modelling of Embedded Systems Analysis, Architectures and Modelling of Embedded Systems
2009년
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
2019년
Distibuted Systems Distibuted Systems
2013년
TOOLympics Challenge 2023 TOOLympics Challenge 2023
2024년
Transactions on Petri Nets and Other Models of Concurrency XVI Transactions on Petri Nets and Other Models of Concurrency XVI
2022년
Transactions on Petri Nets and Other Models of Concurrency XV Transactions on Petri Nets and Other Models of Concurrency XV
2021년
Challenges and Opportunity with Big Data Challenges and Opportunity with Big Data
2017년