000733605 000__ 03098cam\a2200529Ii\4500 000733605 001__ 733605 000733605 005__ 20230306141054.0 000733605 006__ m\\\\\o\\d\\\\\\\\ 000733605 007__ cr\cn\nnnunnun 000733605 008__ 150814s2015\\\\sz\a\\\\ob\\\\101\0\eng\d 000733605 020__ $$a9783319217413$$qelectronic book 000733605 020__ $$a3319217410$$qelectronic book 000733605 020__ $$z9783319217406 000733605 0247_ $$a10.1007/978-3-319-21741-3$$2doi 000733605 035__ $$aSP(OCoLC)ocn918560613 000733605 035__ $$aSP(OCoLC)918560613 000733605 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP$$dSNK$$dUPM 000733605 049__ $$aISEA 000733605 050_4 $$aQA76.9.S54 000733605 08204 $$a004/.36$$223 000733605 1112_ $$aSSS (Symposium)$$n(17th :$$d2015 :$$cEdmonton, Alta.) 000733605 24510 $$aStabilization, safety, and security of distributed systems$$h[electronic resource] :$$b17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings /$$cAndrzej Pelc, Alexander A. Schwarzmann (eds.) 000733605 2463_ $$aSSS 2015 000733605 264_1 $$aCham :$$bSpringer,$$c2015. 000733605 300__ $$a1 online resource (xxi, 288 pages) :$$billustrations. 000733605 336__ $$atext$$btxt$$2rdacontent 000733605 337__ $$acomputer$$bc$$2rdamedia 000733605 338__ $$aonline resource$$bcr$$2rdacarrier 000733605 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9212 000733605 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues 000733605 500__ $$aInternational conference proceedings. 000733605 504__ $$aIncludes bibliographical references and author index. 000733605 5050_ $$aSelf-stabilization -- Fault-tolerance and dependability -- Ad-hoc and sensor Networks -- Mobile agents -- System security in distributed computing -- Formal methods and distributed algorithms. 000733605 506__ $$aAccess limited to authorized users. 000733605 520__ $$aThis book constitutes the refereed proceedings of the 17 International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2015, held in Edmonton, AB, Canada, in August 2015. The 16 regular papers presented together with 8 brief announcements and 3 keynote lectures were carefully reviewed and selected from 38 submissions. The Symposium is organized in several tracks, reflecting topics to self-*properties. The tracks are self-stabilization; fault-tolerance and dependability; ad-hoc and sensor networks; mobile agents; system security in distributed computing; and formal methods and distributed algorithms. 000733605 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 14, 2015). 000733605 650_0 $$aSelf-stabilization (Computer science)$$vCongresses. 000733605 650_0 $$aElectronic data processing$$xDistributed processing$$xSafety measures$$vCongresses. 000733605 650_0 $$aComputer security$$vCongresses. 000733605 7001_ $$aPelc, Andrzej,$$eeditor. 000733605 7001_ $$aSchwarzmann, Alexander A.,$$eeditor. 000733605 830_0 $$aLecture notes in computer science ;$$v9212.$$x0302-9743 000733605 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues. 000733605 852__ $$bebk 000733605 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-21741-3$$zOnline Access$$91397441.1 000733605 909CO $$ooai:library.usi.edu:733605$$pGLOBAL_SET 000733605 980__ $$aEBOOK 000733605 980__ $$aBIB 000733605 982__ $$aEbook 000733605 983__ $$aOnline 000733605 994__ $$a92$$bISE