Computer Safety, Reliability, and Security (vol. # 4166)
The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability ...
Continue reading
Control and Scheduling Codesign : Flexible Resource Management in Real-Time Control Systems
Recent evolutionary advances in information and communication technologies give rise to a new environment for Real Time Control ...
Continue reading
Coordination Models and Languages :22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
Continue reading
Cryptographic Hardware and Embedded Systems - CHES 2006
These are the proceedings of the Eighth Workshop on Cryptographic Hardware and Embedded Systems (CHES 2006) held in Yokohama, ...
Continue reading
Cryptographic Hardware and Embedded Systems - CHES 2008 : 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th Interntaional Workshop on Cryptographic Hardware and Embedded ...
Continue readingCyber-Physical Systems of Systems : Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy
Technical Systems-of-Systems (SoS) – in the form of networked, independent constituent computing systems temporarily collaborating ...
Continue reading
Cyber-Physical Systems: A Model-Based Approach
In this concise yet comprehensive textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems ...
Continue reading
Dependability Metrics : Advanced Lectures
This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...
Continue reading
Dependable Computing
Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...
Continue reading
Dependable Embedded Systems
This book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have ...
Continue reading
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
Continue reading
Design, Automation, and Test in Europe : The Most Influential Papers of 10 Years Date
The Design, Automation and Test in Europe (DATE) conference celebrated in 2007 its tenth anniversary. This provides an excellent ...
Continue reading
Designing Embedded Processors
Designing Embedded Processors examines the many ways in which processor based systems are designed to allow low power devices. ...
Continue reading
Digital VLSI Systems Design
The book presents new material and theory as well as synthesis of recent work with complete Project Designs using industry ...
Continue reading
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 ...
Continue reading
Distributed Embedded Control Systems : Improving Dependability with Coherent Design
Distributed Embedded Control Systems handles the domains encountered when designing a distributed embedded computer control ...
Continue reading
Early Aspects: Current Challenges and Future Directions
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...
Continue reading
Early Aspects: Current Challenges and Future Directions
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...
Continue reading
Embedded Computer Systems: Architectures, Modeling, and Simulation
This book constitutes the refereed proceedings of the 20th International Conference on Embedded Computer Systems: Architectures, ...
Continue reading
Embedded Computer Systems: Architectures, Modeling, and Simulation (vol. # 3553)
The SAMOS workshop is an international gathering of highly quali?ed researchers from academia and industry, sharing in a ...
Continue reading
