000 03244nam a22006255i 4500
001 978-3-319-11764-5
003 DE-He213
005 20240423125434.0
007 cr nn 008mamaa
008 140923s2014 sz | 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 _aCOM043000
_2bisacsh
072 7 _aUKN
_2thema
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.
250 _a1st ed. 2014.
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 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_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 networks .
650 0 _aSoftware engineering.
650 0 _aApplication software.
650 0 _aComputer science.
650 0 _aAlgorithms.
650 0 _aData protection.
650 1 4 _aComputer Communication Networks.
650 2 4 _aSoftware Engineering.
650 2 4 _aComputer and Information Systems Applications.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aAlgorithms.
650 2 4 _aData and Information Security.
700 1 _aFelber, Pascal.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aGarg, Vijay.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319117638
776 0 8 _iPrinted edition:
_z9783319117652
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v8756
856 4 0 _uhttps://doi.org/10.1007/978-3-319-11764-5
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c177949
_d177949