This two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 8th International Conference on Cryptology in India, INDOCRYPT 2007, ...
اقرأ المزيد
Radiation Effects on Embedded Systems aims at providing the reader with the major guidelines for coping with radiation effects ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 14th European PVM/MPI Users' Group Meeting held in Paris, France, ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 13th European PVM/MPI Users' Group Meeting held in Bonn, Germany in ...
اقرأ المزيد
The volume brings together eleven chapters to highlight the importance of the interrelated reliability and maintenance disciplines. ...
اقرأ المزيد
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
اقرأ المزيد
Program Chairs’ Message th The 4 International Service Availability Symposium (ISAS 2007) continued with the tradition ...
اقرأ المزيد
This book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ...
اقرأ المزيد
The book is organized in topical sections on enterprise system dependability, software service availability, service availability ...
اقرأ المزيد
This book addresses the question of how system software should be designed to account for faults, and which fault tolerance ...
اقرأ المزيد
Software-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
اقرأ المزيد
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
اقرأ المزيد
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
اقرأ المزيد
This book is organized in topical sessions on performance analysis of wireless systems, resource and QoS management, implementation ...
اقرأ المزيد