On the Move to Meaningful Internet Systems: OTM 2008 : OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I
This two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences ...
Lire la suite
Progress in Cryptology – INDOCRYPT 2007
This book constitutes the refereed proceedings of the 8th International Conference on Cryptology in India, INDOCRYPT 2007, ...
Lire la suite
Radiation Effects on Embedded Systems
Radiation Effects on Embedded Systems aims at providing the reader with the major guidelines for coping with radiation effects ...
Lire la suite
Recent Advances in Parallel Virtual Machine and Message Passing Interface
This book constitutes the refereed proceedings of the 14th European PVM/MPI Users' Group Meeting held in Paris, France, ...
Lire la suite
Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 4192)
This book constitutes the refereed proceedings of the 13th European PVM/MPI Users' Group Meeting held in Bonn, Germany in ...
Lire la suite
Reliability in Automotive and Mechanical Engineering : Determination of Component and System Reliability
The volume brings together eleven chapters to highlight the importance of the interrelated reliability and maintenance disciplines. ...
Lire la suite
Reliable Systems on Unreliable Networked Platforms
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
Lire la suite
Service Availability
Program Chairs’ Message th The 4 International Service Availability Symposium (ISAS 2007) continued with the tradition ...
Lire la suite
Service Availability (vol. # 4328)
This book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ...
Lire la suite
Service Availability : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings
The book is organized in topical sections on enterprise system dependability, software service availability, service availability ...
Lire la suite
Software Design for Resilient Computer Systems
This book addresses the question of how system software should be designed to account for faults, and which fault tolerance ...
Lire la suite
Software-Implemented Hardware Fault Tolerance
Software-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance ...
Lire la suite
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
Lire la suite
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lire la suite
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Lire la suite
Wired/Wireless Internet Communications : 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings
This book is organized in topical sessions on performance analysis of wireless systems, resource and QoS management, implementation ...
Lire la suite
