Central Library

Stabilization, Safety, and Security of Distributed Systems (Record no. 87261)

000 -LEADER
fixed length control field 05036nam a22005415i 4500
001 - CONTROL NUMBER
control field 978-3-031-21017-4
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240730170910.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 221108s2022 sz | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783031210174
-- 978-3-031-21017-4
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-031-21017-4
Source of number or code doi
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number TK5105.5-5105.9
072 #7 - SUBJECT CATEGORY CODE
Subject category code UKN
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM043000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UKN
Source thema
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.6
Edition number 23
245 10 - TITLE STATEMENT
Title Stabilization, Safety, and Security of Distributed Systems
Medium [electronic resource] :
Remainder of title 24th International Symposium, SSS 2022, Clermont-Ferrand, France, November 15-17, 2022, Proceedings /
Statement of responsibility, etc. edited by Stéphane Devismes, Franck Petit, Karine Altisen, Giuseppe Antonio Di Luna, Antonio Fernandez Anta.
250 ## - EDITION STATEMENT
Edition statement 1st ed. 2022.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Cham :
Name of producer, publisher, distributor, manufacturer Springer International Publishing :
-- Imprint: Springer,
Date of production, publication, distribution, manufacture, or copyright notice 2022.
300 ## - PHYSICAL DESCRIPTION
Extent X, 372 p. 79 illus., 55 illus. in color.
Other physical details online resource.
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
Encoding format PDF
Source rda
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
International Standard Serial Number 1611-3349 ;
Volume/sequential designation 13751
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Plateau: A Secure and Scalable Overlay Network for Large Distributed Trust Applications -- The Limits of Helping in Non-Volatile Memory Data Structures Treasure Hunt in Graph using Pebbles -- Blockchain in Dynamic Networks -- Improving the Efficiency of Report and Trace Ring Signatures -- Flexible Scheduling of Transactional Memory on Trees -- Invited Paper: Simple, strict, proper, happy: A study of reachability in temporal graphs -- Brief Announcement: Dynamic graph models for the Bitcoin P2P network: simulation analysis for expansion and flooding time -- Brief Announcement: Self Masking for Hardening Inversions -- Perpetual Torus Exploration by Myopic Luminous Robots -- Optimal Algorithms for Synchronous Byzantine k-Set Agreement -- Reaching Consensus in the Presence of Contention-Related Crash Failures -- Self-stabilizing Byzantine Fault-tolerant Repeated Reliable Broadcast -- Capacity Planning for Dependable Services -- Lower bound for constant-size local certification -- Collaborative Dispersion by Silent Robots -- Time Optimal Gathering of Myopic Robots on an Infinite Triangular Grid -- Brief Announcement: Lattice Linear Algorithms -- Brief Announcement: Distributed Reconfiguration of Spanning Trees -- Brief Announcement: Mutually-visible Uniform Circle Formation by Asynchronous Mobile Robots on Grid Plane -- Brief Announcement: Self-stabilizing Total-order Broadcast -- Brief Announcement: Secure And Efficient Participant Authentication - Application to Mobile E-voting -- Card-Based ZKP Protocol for Nurimisaki -- Invited Paper: One Bit Agent Memory is Enough for Snap-stabilizing Perpetual Exploration of Cactus Graphs with Distinguishable Cycles Consensus on Demand -- Better Incentives for Proof-of-Work -- Invited Paper: Towards Practical Atomic Distributed Shared Memory: An Experimental Evaluation -- Invited Paper: Cross-Chain State Machine Replication.
520 ## - SUMMARY, ETC.
Summary, etc. 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.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer networks .
9 (RLIN) 31572
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer Communication Networks.
9 (RLIN) 96077
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Devismes, Stéphane.
Relator term editor.
Relationship edt
-- http://id.loc.gov/vocabulary/relators/edt
9 (RLIN) 96078
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Petit, Franck.
Relator term editor.
Relationship edt
-- http://id.loc.gov/vocabulary/relators/edt
9 (RLIN) 96079
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Altisen, Karine.
Relator term editor.
Relationship edt
-- http://id.loc.gov/vocabulary/relators/edt
9 (RLIN) 96080
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Di Luna, Giuseppe Antonio.
Relator term editor.
Relationship edt
-- http://id.loc.gov/vocabulary/relators/edt
9 (RLIN) 96081
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Fernandez Anta, Antonio.
Relator term editor.
Relationship edt
-- http://id.loc.gov/vocabulary/relators/edt
9 (RLIN) 96082
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
9 (RLIN) 96085
773 0# - HOST ITEM ENTRY
Title Springer Nature eBook
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783031210167
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783031210181
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture Notes in Computer Science,
International Standard Serial Number 1611-3349 ;
Volume/sequential designation 13751
9 (RLIN) 23263
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/978-3-031-21017-4">https://doi.org/10.1007/978-3-031-21017-4</a>
912 ## -
-- ZDB-2-SCS
912 ## -
-- ZDB-2-SXCS
912 ## -
-- ZDB-2-LNC
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type eBooks-Lecture Notes in CS

No items available.