Architecting Dependable Systems III
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Weiterlesen
Architecting Dependable Systems IV
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Weiterlesen
Architecting Dependable Systems IV
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Weiterlesen
Component-Based Software Development for Embedded Systems
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...
Weiterlesen
Composition of Embedded Systems. Scientific and Industrial Issues
This book discussed a range of challenges in embedded systems design that require further major advances in software and ...
Weiterlesen
Composition of Embedded Systems. Scientific and Industrial Issues
This book discussed a range of challenges in embedded systems design that require further major advances in software and ...
Weiterlesen
Computer Safety, Reliability, and Security (vol. # 3688)
This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and ...
Weiterlesen
Dependability Metrics : Advanced Lectures
This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...
Weiterlesen
Dependable Computing
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Weiterlesen
Dependable Computing
Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...
Weiterlesen
Dependable Computing
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Weiterlesen
Dependable Computing - EDCC 2005
It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established ...
Weiterlesen
Dependable Systems: Software, Computing, Networks
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...
Weiterlesen
Global Computing
This book constitutes the thoroughly refereed post-proceedings of the IST/FET International Workshop on Global Computing, ...
Weiterlesen
Reliable Software Technologies - Ada Europe 2007
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Weiterlesen
Reliable Software Technologies - Ada-Europe 2002
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Weiterlesen
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Weiterlesen
Reliable Software Technologies -- Ada-Europe 2006
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Weiterlesen
Reliable Software Technology – Ada-Europe 2005
Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
Weiterlesen
Reliable Systems on Unreliable Networked Platforms
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
Weiterlesen
