Real-Time Applications with Stochastic Task Execution Times presents three approaches to the analysis of the deadline miss ...
اقرأ المزيدThis state-of-the-art contributed volume presents a series of peer-reviewed survey articles written by international leading ...
اقرأ المزيدThis book focuses on core functionalities for wireless real-time multi-hop networking with TDMA (time-division multiple access) ...
اقرأ المزيدThis volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. ...
اقرأ المزيدReconfigurable Distributed Control helps meet the challenge of applying distributed control to dynamical systems, integrating ...
اقرأ المزيدThis tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
اقرأ المزيدReliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
اقرأ المزيدThis book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
اقرأ المزيدStarted on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
اقرأ المزيدThis book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...
اقرأ المزيدThe 3rd Asian Internet Engineering Conference (AINTEC) followed the ?rst two successful editions held in Bangkok, Thailand, ...
اقرأ المزيدSynchronized Phasor Measurement and Their Applications presents the historical development of the synchronized phasor measurement ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
اقرأ المزيدThis book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
اقرأ المزيدInternational Colloquium on Theoretical Aspects of Computing. ICTAC was founded by the International Institute for Software ...
اقرأ المزيدThis book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
اقرأ المزيدThe aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
اقرأ المزيدConstitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
اقرأ المزيدCoverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, ...
اقرأ المزيد