Real-Time Applications with Stochastic Task Execution Times
Real-Time Applications with Stochastic Task Execution Times presents three approaches to the analysis of the deadline miss ...
اقرأ المزيد
Real-Time Vision for Human-Computer Interaction
This state-of-the-art contributed volume presents a series of peer-reviewed survey articles written by international leading ...
اقرأ المزيد
Real-time Communication Protocols for Multi-hop Ad-hoc Networks : Wireless Networking in Production and Control Systems
This book focuses on core functionalities for wireless real-time multi-hop networking with TDMA (time-division multiple access) ...
اقرأ المزيدRecent Trends in Algebraic Development Techniques
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. ...
اقرأ المزيد
Reconfigurable Distributed Control
Reconfigurable Distributed Control helps meet the challenge of applying distributed control to dynamical systems, integrating ...
اقرأ المزيد
Refinement Techniques in Software Engineering
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
اقرأ المزيد
Reliable Software Technologies - Ada Europe 2007
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
اقرأ المزيد
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 ...
اقرأ المزيد
Reliable Software Technologies -- Ada-Europe 2006
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
اقرأ المزيد
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 ...
اقرأ المزيد
Software Technologies for Embedded and Ubiquitous Systems : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings
This book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...
اقرأ المزيد
Sustainable Internet
The 3rd Asian Internet Engineering Conference (AINTEC) followed the ?rst two successful editions held in Bangkok, Thailand, ...
اقرأ المزيد
Synchronized Phasor Measurements and Their Applications
Synchronized Phasor Measurement and Their Applications presents the historical development of the synchronized phasor measurement ...
اقرأ المزيد
System Analysis and Modeling: Language Profiles
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
اقرأ المزيد
Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
اقرأ المزيد
Theoretical Aspects of Computing - ICTAC 2005
International Colloquium on Theoretical Aspects of Computing. ICTAC was founded by the International Institute for Software ...
اقرأ المزيد
Theoretical Aspects of Computing - ICTAC 2006
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
اقرأ المزيد
Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
اقرأ المزيد
Theoretical Aspects of Computing – ICTAC 2007
Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems
Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, ...
اقرأ المزيد
