000 02959nam a22005775i 4500
001 978-3-319-11764-5
003 DE-He213
005 20200421111156.0
007 cr nn 008mamaa
008 140923s2014 gw | s |||| 0|eng d
020 _a9783319117645
_9978-3-319-11764-5
024 7 _a10.1007/978-3-319-11764-5
_2doi
050 4 _aTK5105.5-5105.9
072 7 _aUKN
_2bicssc
072 7 _aCOM075000
_2bisacsh
082 0 4 _a004.6
_223
245 1 0 _aStabilization, Safety, and Security of Distributed Systems
_h[electronic resource] :
_b16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings /
_cedited by Pascal Felber, Vijay Garg.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2014.
300 _aXII, 370 p. 76 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8756
505 0 _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.
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.
650 0 _aComputer science.
650 0 _aComputer communication systems.
650 0 _aSoftware engineering.
650 0 _aComputer security.
650 0 _aAlgorithms.
650 0 _aComputer logic.
650 1 4 _aComputer Science.
650 2 4 _aComputer Communication Networks.
650 2 4 _aSoftware Engineering.
650 2 4 _aInformation Systems Applications (incl. Internet).
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aSystems and Data Security.
700 1 _aFelber, Pascal.
_eeditor.
700 1 _aGarg, Vijay.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319117638
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8756
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-11764-5
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cEBK
999 _c53534
_d53534