Stabilization, Safety, and Security of Distributed Systems (Record no. 89441)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 04648nam a22005775i 4500 |
001 - CONTROL NUMBER | |
control field | 978-3-030-64348-5 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20240730174448.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 | 201124s2020 sz | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9783030643485 |
-- | 978-3-030-64348-5 |
024 7# - OTHER STANDARD IDENTIFIER | |
Standard number or code | 10.1007/978-3-030-64348-5 |
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 | 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings / |
Statement of responsibility, etc. | edited by Stéphane Devismes, Neeraj Mittal. |
250 ## - EDITION STATEMENT | |
Edition statement | 1st ed. 2020. |
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 | 2020. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | XI, 323 p. 45 illus., 20 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 | |
Source | rda |
490 1# - SERIES STATEMENT | |
Series statement | Theoretical Computer Science and General Issues, |
International Standard Serial Number | 2512-2029 ; |
Volume/sequential designation | 12514 |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement -- Invited Paper: Homomorphic Operations Techniques Yielding Communication Efficiency -- Boosting the E ciency of Byzantine-tolerant Reliable Communication -- Stand Up Indulgent Rendez-vous -- Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility -- A Discrete and Continuous Study of the Max-Chain-Formation Problem -- Reactive PLS for Distributed Decision -- k-Immediate Snapshot and x-Set Agreement: How Are They Related? -- Brief Announcement: Local Deal-Agreement Based Monotonic Distributed Algorithms for Load Balancing in General Graphs -- Silent MST approximation for tiny memory -- A Privacy-Preserving Collaborative Caching Approach in InformationCentric Networking -- A ne Tasks for k-Test-and-Set -- A Combinatorial Characterization of Self-Stabilizing Population Protocols -- Smoothed Analysis of Leader Election in Distributed Networks -- Brief Announcement: Byzantine Geoconsensus -- Brief Announcement: Veri able Data Sharing In Distributed Computing -- Fast Uniform Scattering on a Grid for Asynchronous Oblivious Robots -- Brief Announcement: Leader Election in the ADD Communication Model -- Physical Zero-Knowledge Proof for Suguru Puzzle -- Uniform deployment of mobile agents in dynamic rings -- Partial Gathering of Mobile Robots from Multiplicity-Allowed Congurations in Rings -- Efficient Dispersion of Mobile Agents without Global Knowledge -- Brief Announcement: TRIX: Low-Skew Pulse Propagation for Fault-Tolerant Hardware -- Time-Optimal Self-Stabilizing Leader Election on Rings in Population Protocols -- Brief Announcement: Effiectiveness of Code Hardening for Fault-Tolerant IoT Software. . |
520 ## - SUMMARY, ETC. | |
Summary, etc. | This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020. The 16 full papers, 7 short and 2 invited papers presented were carefully reviewed and selected from 44 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 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer networks . |
9 (RLIN) | 31572 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Operating systems (Computers). |
9 (RLIN) | 5329 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer science |
General subdivision | Mathematics. |
9 (RLIN) | 3866 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Artificial intelligence. |
9 (RLIN) | 3407 |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer Communication Networks. |
9 (RLIN) | 112594 |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Operating Systems. |
9 (RLIN) | 37074 |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Mathematics of Computing. |
9 (RLIN) | 31875 |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Artificial Intelligence. |
9 (RLIN) | 3407 |
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) | 112595 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Mittal, Neeraj. |
Relator term | editor. |
Relationship | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
9 (RLIN) | 112596 |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
9 (RLIN) | 112597 |
773 0# - HOST ITEM ENTRY | |
Title | Springer Nature eBook |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Printed edition: |
International Standard Book Number | 9783030643478 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Printed edition: |
International Standard Book Number | 9783030643492 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Theoretical Computer Science and General Issues, |
International Standard Serial Number | 2512-2029 ; |
Volume/sequential designation | 12514 |
9 (RLIN) | 112598 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-030-64348-5">https://doi.org/10.1007/978-3-030-64348-5</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.