Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Felber, Pascal (Editor), Garg, Vijay (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
• Series: Lecture Notes in Computer Science, 8756
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Computer security.; Algorithms.; Computer logic.; Computer Science.; Computer Communication Networks.; Software Engineering.; Information Systems Applications (incl. Internet).; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Systems and Data Security.

This book constitutes the refereed proceedings of the 16 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in September/October 2014. The 21 regular papers and 8 short papers presented were carefully reviewed and selected from 44 su...

Table of Contents:

• Self-stabilization
• Ad-hoc
• Sensor and mobile networks
• Cyberphysical systems
• Fault-tolerant and dependable systems
• Formal methods
• Safety, security and cloud computing
• P2P
• Self-organizing
• Autonomous systems.