000711809 000__ 03053cam\a2200517Ii\4500 000711809 001__ 711809 000711809 005__ 20230306140211.0 000711809 006__ m\\\\\o\\d\\\\\\\\ 000711809 007__ cr\cn\nnnunnun 000711809 008__ 141010s2014\\\\sz\a\\\\o\\\\\101\0\eng\d 000711809 020__ $$a9783319117645$$qelectronic book 000711809 020__ $$a3319117645$$qelectronic book 000711809 020__ $$z9783319117638 000711809 0247_ $$a10.1007/978-3-319-11764-5$$2doi 000711809 035__ $$aSP(OCoLC)ocn892731083 000711809 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDXCP$$dUPM 000711809 049__ $$aISEA 000711809 050_4 $$aQA76.9.S54 000711809 08204 $$a004/.36$$223 000711809 1112_ $$aSSS (Symposium)$$n(16th :$$d2014 :$$cPaderborn, Germany) 000711809 24510 $$aStabilization, safety, and security of distributed systems$$h[electronic resource] :$$b16th International Symposium, SSS 2014, Paderborn, Germany, September 28-October 1, 2014. Proceedings /$$cPascal Felber, Vijay Garg (eds.). 000711809 2463_ $$aSSS 2014 000711809 264_1 $$aCham :$$bSpringer,$$c2014. 000711809 300__ $$a1 online resource (xii, 370 pages) :$$billustrations. 000711809 336__ $$atext$$btxt$$2rdacontent 000711809 337__ $$acomputer$$bc$$2rdamedia 000711809 338__ $$aonline resource$$bcr$$2rdacarrier 000711809 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v8756 000711809 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues 000711809 500__ $$aInternational conference proceedings. 000711809 500__ $$aIncludes author index. 000711809 5050_ $$aSelf-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. 000711809 506__ $$aAccess limited to authorized users. 000711809 520__ $$aThis 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. 000711809 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 10, 2014). 000711809 650_0 $$aSelf-stabilization (Computer science)$$vCongresses. 000711809 650_0 $$aElectronic data processing$$xDistributed processing$$xSafety measures$$vCongresses. 000711809 650_0 $$aComputer security$$vCongresses. 000711809 7001_ $$aFelber, Pascal,$$eeditor. 000711809 7001_ $$aGarg, Vijay K.$$q(Vijay Kumar),$$d1963-$$eeditor. 000711809 830_0 $$aLecture notes in computer science ;$$v8756. 000711809 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues. 000711809 85280 $$bebk$$hSpringerLink 000711809 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-11764-5$$zOnline Access 000711809 909CO $$ooai:library.usi.edu:711809$$pGLOBAL_SET 000711809 980__ $$aEBOOK 000711809 980__ $$aBIB 000711809 982__ $$aEbook 000711809 983__ $$aOnline 000711809 994__ $$a92$$bISE