|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
on1350616554 |
| 003 |
OCoLC |
| 005 |
20241006213017.0 |
| 006 |
m o d |
| 007 |
cr cnu|||unuuu |
| 008 |
221111s2023 sz a o 101 0 eng d |
| 040 |
|
|
|a YDX
|b eng
|e rda
|e pn
|c YDX
|d GW5XE
|d EBLCP
|d OCLCF
|d OCLCQ
|d OCLCO
|
| 019 |
|
|
|a 1350686287
|
| 020 |
|
|
|a 9783031210174
|q (electronic bk.)
|
| 020 |
|
|
|a 3031210174
|q (electronic bk.)
|
| 020 |
|
|
|z 9783031210167
|
| 020 |
|
|
|z 3031210166
|
| 024 |
7 |
|
|a 10.1007/978-3-031-21017-4
|2 doi
|
| 035 |
|
|
|a (OCoLC)1350616554
|z (OCoLC)1350686287
|
| 050 |
|
4 |
|a QA76.9.S54
|
| 072 |
|
7 |
|a UKN
|2 bicssc
|
| 072 |
|
7 |
|a COM075000
|2 bisacsh
|
| 072 |
|
7 |
|a UKN
|2 thema
|
| 049 |
|
|
|a HCDD
|
| 111 |
2 |
|
|a SSS (Symposium)
|n (24th :
|d 2022 :
|c Clermont-Ferrand, France)
|
| 245 |
1 |
0 |
|a Stabilization, safety, and security of distributed systems :
|b 24th International Symposium, SSS 2022, Clermond Ferrand, France, November 15-17, 2022, proceedings /
|c Stéphane Devismes, Franck Petit, Karine Altisen, Giuseppe Antonio Di Luna, Antonio Fernandez Anta (eds.).
|
| 264 |
|
1 |
|a Cham :
|b Springer,
|c [2022]
|
| 264 |
|
4 |
|c ©2022
|
| 300 |
|
|
|a 1 online resource (x, 372 pages) :
|b illustrations (some color).
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 13751
|
| 500 |
|
|
|a Conference proceedings.
|
| 500 |
|
|
|a Includes author index.
|
| 520 |
|
|
|a This book constitutes the proceedings of 24th International Symposium, SSS 2022, which took place in Clermont-Ferrand, France, in November 2022. The 17 regular papers together with 4 invited papers and 7 brief announcements, included in this volume were carefully reviewed and selected from 58 submissions. The SSS 2022 focus on systems built such that they are able to provide on their own guarantees on their structure, performance, and/or security in the face of an adverse environment. The Symposium presents three tracks reflecting major trends related to the conference: (i) Self-stabilizing Systems: Theory and Practice, (ii) Concurrent and Distributed Computing: Foundations, Faulttolerance, and Security, and (iii) Dynamic, Mobile, and Nature-Inspired Computing.
|
| 588 |
0 |
|
|a Online resource; title from PDF title page (SpringerLink, viewed November 16, 2022).
|
| 505 |
0 |
|
|a Intro -- Preface -- Organization -- Contents -- Invited Papers -- Invited Paper: Simple, Strict, Proper, Happy: A Study of Reachability in Temporal Graphs -- 1 Introduction -- 2 Temporal Graphs -- 2.1 Strictness/Properness/Simpleness -- 2.2 Does It Really Matter? (Example of Spanners) -- 2.3 Happy Temporal Graphs -- 3 Expressivity in Terms of Reachability -- 3.1 Separations -- 3.2 Transformations -- 3.3 Summary and Discussions -- 4 More Facts About Happy Temporal Graphs -- 5 Concluding Remarks and Open Questions -- References
|
| 505 |
8 |
|
|a Invited Paper: One Bit Agent Memory is Enough for Snap-Stabilizing Perpetual Exploration of Cactus Graphs with Distinguishable Cycles -- 1 Introduction -- 2 Preliminaries -- 2.1 Cactus Graph -- 2.2 Mobile Agent and Graph Exploration -- 3 Snap-Stabilizing Perpetual Exploration -- 3.1 Port Traversal Graph -- 3.2 Algorithm for a Single Agent with One-Bit Agent Memory -- 4 Exploration by an Oblivious Agent -- References -- Invited Paper: Towards Practical Atomic Distributed Shared Memory: An Experimental Evaluation -- 1 Introduction -- 2 Algorithms Overview -- 2.1 ARES -- 2.2 Cassandra -- 2.3 Redis
|
| 505 |
8 |
|
|a 3 Experimental Evaluation -- 3.1 Experimentation Setup -- 3.2 Scenarios -- 3.3 Experimental Results -- 4 Conclusions -- References -- Invited Paper: Cross-Chain State Machine Replication -- 1 Introduction -- 2 Model of Computation -- 3 State Machines -- 3.1 Example: Simple Swap -- 3.2 Example: Decentralized Autonomous Organization (DAO) -- 4 State Machine Replication Protocol -- 4.1 Path Signatures -- 4.2 Reliable Delivery -- 4.3 Initialization, Moves, and Settlement -- 4.4 Dynamic Funding -- 5 Remarks -- 6 Related Work -- References -- Regular Papers
|
| 505 |
8 |
|
|a Plateau: A Secure and Scalable Overlay Network for Large Distributed Trust Applications -- 1 Introduction -- 1.1 Our Contribution -- 1.2 Related Works -- 2 Model and Preliminaries -- 3 The Plateau Network Design and Statement of Results -- 4 Concluding Remarks and Future Work -- References -- The Limits of Helping in Non-volatile Memory Data Structures -- 1 Introduction -- 1.1 Contributions -- 1.2 Related Work -- 2 Characterization of the Crash-Recovery Model -- 3 Process Helping -- 4 Strict-Linearizability vs. Linearization-Helping -- 4.1 Sticky-Bit Object
|
| 505 |
8 |
|
|a 4.2 An Equivalence Between Linearizability and Strict-Linearizability -- 5 Strict-Linearizability vs. Universal-Helping -- 5.1 Equivalence Between Strict-Linearizability and Universal-Help Freedom -- References -- Treasure Hunt in Graph Using Pebbles -- 1 Introduction -- 1.1 Background and Motivation -- 1.2 Model and Problem Definition -- 1.3 Contribution -- 1.4 Related Work -- 2 Treasure Hunt Algorithm When k<D -- 2.1 D2k < D -- 2.2 k<D2 -- 3 Treasure Hunt Algorithm When kD -- 3.1 Idea of Treasure Hunt in Tree for k=cD Pebbles -- 3.2 Extending the Idea for General Graphs -- 4 Lower Bound
|
| 650 |
|
0 |
|a Self-stabilization (Computer science)
|v Congresses.
|
| 650 |
|
0 |
|a Electronic data processing
|x Distributed processing
|x Security measures
|v Congresses.
|
| 650 |
|
0 |
|a Computer security
|v Congresses.
|
| 650 |
|
7 |
|a Computer security
|2 fast
|
| 650 |
|
7 |
|a Electronic data processing
|x Distributed processing
|x Security measures
|2 fast
|
| 650 |
|
7 |
|a Self-stabilization (Computer science)
|2 fast
|
| 655 |
|
7 |
|a proceedings (reports)
|2 aat
|
| 655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 lcgft
|
| 655 |
|
7 |
|a Actes de congrès.
|2 rvmgf
|
| 700 |
1 |
|
|a Devismes, Stéphane,
|e editor.
|
| 700 |
1 |
|
|a Petit, Franck,
|e editor.
|
| 700 |
1 |
|
|a Altisen, Karine,
|e editor.
|
| 700 |
1 |
|
|a Di Luna, Giuseppe Antonio,
|e editor.
|
| 700 |
1 |
|
|a Anta, Antonio Fernández,
|e editor.
|1 https://isni.org/isni/0000000361744874
|
| 776 |
0 |
8 |
|c Original
|z 3031210166
|z 9783031210167
|w (OCoLC)1347224820
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 13751.
|
| 856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://link.springer.com/10.1007/978-3-031-21017-4
|y Click for online access
|
| 903 |
|
|
|a SPRING-COMP2022
|
| 994 |
|
|
|a 92
|b HCD
|