000 05622nam a22006615i 4500
001 978-3-030-34992-9
003 DE-He213
005 20240730180551.0
007 cr nn 008mamaa
008 191114s2019 sz | s |||| 0|eng d
020 _a9783030349929
_9978-3-030-34992-9
024 7 _a10.1007/978-3-030-34992-9
_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] :
_b21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings /
_cedited by Mohsen Ghaffari, Mikhail Nesterenko, Sébastien Tixeuil, Sara Tucci, Yukiko Yamauchi.
250 _a1st ed. 2019.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2019.
300 _aXXIII, 384 p. 304 illus., 54 illus. in color.
_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 ;
_v11914
505 0 _aInvited Paper: On the Characterization of Blockchain Consensus under Incentives -- Brief announcement: Forgive & Forget: Self-Stabilizing Swarms in Spite of Byzantine Robots -- Stationary and Deterministic Leader Election in Self-Organizing Particle Systems -- Robust Privacy-Preserving Gossip Averaging -- Synchronous t-Resilient Consensus in Arbitrary Graphs -- Tasks in Modular Proofs of Concurrent Algorithms -- On Gathering of Semi-Synchronous Robots in Graphs -- Brief Announcement: Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree Construction -- Brief Announcement: Distributed Computing in the Asynchronous LOCAL model -- An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms -- Brief Announcement: Self-Stabilizing LCM Schedulers for Autonomous Mobile Robots using Neighborhood Mutual Remainder -- Reducing the Number of Messages in Self-stabilizing Protocols -- A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory -- Exploration of dynamic ring networks by a single agent with the H-hops and S-time steps view -- iperfTZ: Understanding Network Bottlenecks for TrustZone-based Trusted Applications -- Atomic Cross-Chain Swaps with Improved Space and Local Time Complexity -- Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems -- Improved-Zigzag: An improved local-information based self-optimizing routing algorithm in virtual grid networks -- Fault Tolerant Network Constructors -- Ring Exploration of Myopic Luminous Robots with Visibility More than One -- Brief Announcement: Self-Stabilizing Construction of a Minimal Weakly nmathcal{ST}-Reachable Directed Acyclic Graph -- Adaptive Versioning in Transactional Memories -- Brief Announcement: Blockguard: Adaptive Blockchain Security -- Brief Announcement: Fully Anonymous Shared Memory Algorithms -- A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus -- Logarithmic Expected-Time Leader Election in Population Protocol Model -- A Self-stabilizing 1-maximal Independent Set Algorithm -- Black hole search despite Byzantine agents -- Self-Adjusting Linear Networks.
520 _aThis book constitutes the refereed proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019. The 21 full papers presented were carefully reviewed and selected from 45 submissions. The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.
650 0 _aComputer networks .
_931572
650 0 _aComputer systems.
_9120804
650 0 _aComputers, Special purpose.
_946653
650 0 _aOperating systems (Computers).
_95329
650 0 _aApplication software.
_9120805
650 0 _aComputer science
_xMathematics.
_93866
650 1 4 _aComputer Communication Networks.
_9120806
650 2 4 _aComputer System Implementation.
_938514
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aOperating Systems.
_937074
650 2 4 _aComputer and Information Systems Applications.
_9120807
650 2 4 _aMathematics of Computing.
_931875
700 1 _aGhaffari, Mohsen.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9120808
700 1 _aNesterenko, Mikhail.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9120809
700 1 _aTixeuil, Sébastien.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9120810
700 1 _aTucci, Sara.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9120811
700 1 _aYamauchi, Yukiko.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9120812
710 2 _aSpringerLink (Online service)
_9120813
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030349912
776 0 8 _iPrinted edition:
_z9783030349936
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v11914
_9120814
856 4 0 _uhttps://doi.org/10.1007/978-3-030-34992-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c90389
_d90389