• Media type: E-Book; Conference Proceedings
  • Title: Stabilization, Safety, and Security of Distributed Systems : 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings
  • Contains: Self-stabilizationAd-hoc -- Sensor and mobile networks -- Cyberphysical systems -- Fault-tolerant and dependable systems -- Formal methods -- Safety, security and cloud computing -- P2P -- Self-organizing -- Autonomous systems.
  • Contributor: Felber, Pascal [Author]; Garg, Vijay [Hrsg.]
  • imprint: Cham [u.a.]: Springer, 2014
  • Published in: Lecture notes in computer science ; 8756
    Bücher
  • Extent: Online-Ressource (XII, 370 p. 76 illus, online resource)
  • Language: English
  • DOI: 10.1007/978-3-319-11764-5
  • ISBN: 9783319117645
  • Identifier:
  • RVK notation: SS 4800 : Lecture notes in computer science
  • Keywords: Verteiltes System > Netzwerktopologie > Fehlertoleranz > Stabilisierung > Selbsteinstellendes System > Autonomic Computing > Computersicherheit > Formale Methode
  • Origination:
  • Footnote: Literaturangaben
  • Description: 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