03756nam 22008295 450 991048423580332120230329172140.03-319-11764-510.1007/978-3-319-11764-5(CKB)3710000000249782(SSID)ssj0001354300(PQKBManifestationID)11896019(PQKBTitleCode)TC0001354300(PQKBWorkID)11323560(PQKB)10561923(DE-He213)978-3-319-11764-5(MiAaPQ)EBC6283070(MiAaPQ)EBC5576823(Au-PeEL)EBL5576823(OCoLC)892731083(PPN)181352133(EXLCZ)99371000000024978220140923d2014 u| 0engurnn|008mamaatxtccrStabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings /edited by Pascal Felber, Vijay Garg1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (XII, 370 p. 76 illus.) Theoretical Computer Science and General Issues,2512-2029 ;8756Bibliographic Level Mode of Issuance: Monograph3-319-11763-7 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.Theoretical Computer Science and General Issues,2512-2029 ;8756Computer networksSoftware engineeringApplication softwareComputer scienceAlgorithmsData protectionComputer Communication NetworksSoftware EngineeringComputer and Information Systems ApplicationsComputer Science Logic and Foundations of ProgrammingAlgorithmsData and Information SecurityComputer networks.Software engineering.Application software.Computer science.Algorithms.Data protection.Computer Communication Networks.Software Engineering.Computer and Information Systems Applications.Computer Science Logic and Foundations of Programming.Algorithms.Data and Information Security.004.2Felber Pascaledthttp://id.loc.gov/vocabulary/relators/edtGarg Vijayedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484235803321Stabilization, Safety, and Security of Distributed Systems772094UNINA