Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings / [electronic resource] : edited by Pascal Felber, Vijay Garg. - XII, 370 p. 76 illus. online resource. - Lecture Notes in Computer Science, 8756 0302-9743 ; . - Lecture Notes in Computer Science, 8756 .

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.

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 submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks are self-stabilization; ad-hoc; sensor and mobile networks; cyberphysical systems; fault-tolerant and dependable systems; formal methods; safety and security; and cloud computing; P2P; self-organizing; and autonomous systems.

9783319117645

10.1007/978-3-319-11764-5 doi


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.

TK5105.5-5105.9

004.6