Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Weiterlesen
Algorithms for Sensor and Ad Hoc Networks
Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain ...
Weiterlesen
Algorithms for Sensor and Ad Hoc Networks
Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain ...
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
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Weiterlesen
Automotive Software- Connected Services in Mobile Networks
Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...
Weiterlesen
Autonomic Networking
The autonomic communication paradigm has been defined mainly through the Autonomic Communications Forum (ACF) and particularly ...
Weiterlesen
Autonomic and Trusted Computing
To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...
Weiterlesen
Autonomic and Trusted Computing
To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...
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
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...
Weiterlesen
Design Automation Methods and Tools for Microfluidics-Based Biochips
Design Automation Methods and Tools for Microfluidics-Based Biochips deals with all aspects of design automation for microfluidics-based ...
Weiterlesen
Diagnosis and Fault-Tolerant Control
The book presents effective model-based analysis and design methods for fault diagnosis and fault-tolerant control. Architectural ...
Weiterlesen
Distributed Applications and Interoperable Systems
This book presented context-awareness, adaptation, mobility, distributed applications and peer-to-peer computing, all of ...
Weiterlesen
Distributed Applications and Interoperable Systems
This book presented context-awareness, adaptation, mobility, distributed applications and peer-to-peer computing, all of ...
Weiterlesen
Distributed Applications and Interoperable Systems : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
This volume contains the proceedings of DAIS 2008, the 8th IFIP International Conference on Distributed Applications and ...
Weiterlesen
Distributed Computing (vol. # 4167)
DISC, the International Symposium on DIStributed Computing, is an annual forum for presentation of research on all facets ...
Weiterlesen
Distributed Computing in Sensor Systems
The book covering the areas of algorithms, applications, and systems, thus bridging the gap between theory and practice and ...
Weiterlesen
