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