Stabilization, Safety, and Security of Distributed Systems (Record no. 93439)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 07189nam a22006375i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-540-49823-0 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240730190756.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 | 100301s2006 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540498230 |
| -- | 978-3-540-49823-0 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-540-49823-0 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | Q334-342 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | TA347.A78 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYQ |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM004000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYQ |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 006.3 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Stabilization, Safety, and Security of Distributed Systems |
| Medium | [electronic resource] : |
| Remainder of title | 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings / |
| Statement of responsibility, etc. | edited by Ajoy K. Datta, Maria Gradinariu. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2006. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Berlin, Heidelberg : |
| Name of producer, publisher, distributor, manufacturer | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2006. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XVIII, 590 p. |
| 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 | 4280 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Invited Talks -- Stabilization Enabling Technology -- A General Characterization of Indulgence -- Regular Papers -- Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks -- A Case Study on Prototyping Power Management Protocols for Sensor Networks -- Unconscious Eventual Consistency with Gossips -- All k-Bounded Policies Are Equivalent for Self-stabilization -- A 1-Strong Self-stabilizing Transformer -- Optimal Message-Driven Implementation of Omega with Mute Processes -- Incremental Synthesis of Fault-Tolerant Real-Time Programs -- Toward a Time-Optimal Odd Phase Clock Unison in Trees -- Recovery Oriented Programming -- Evaluation of a Tracking Architecture in Wireless Sensor Networks -- Self-protection for Distributed Component-Based Applications -- From Self- to Snap- Stabilization -- Self-stabilizing Philosophers with Generic Conflicts -- Selfish Stabilization -- Reliability and Availability Analysis of Self-stabilizing Systems -- Circle Formation of Weak Mobile Robots -- Self-stabilizing Device Drivers -- Secure Communication for RFIDs Proactive Information Security Within Computational Security -- Fault Masking in Tri-redundant Systems -- Logarithmic Keying of Communication Networks -- Safe Peer-to-Peer Self-downloading -- Best Paper: Stabilizing Clock Synchronization for Wireless Sensor Networks -- Self-stabilizing Byzantine Digital Clock Synchronization -- Distributed Edge Coloration for Bipartite Networks -- A Dependable Intrusion Detection Architecture Based on Agreement Services -- Stabilizing Health Monitoring for Wireless Sensor Networks -- A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems -- A Memory Efficient Self-stabilizing Algorithm for Maximal k-Packing -- Bounding the Impact of Unbounded Attacks in Stabilization -- On Bootstrapping Topology Knowledge in Anonymous Networks -- Self-adaptive Disk Arrays -- Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility -- Self-stabilizing Asynchronous Phase Synchronization in General Graphs -- Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework -- Energy-Efficient and Non-interactive Self-certification in MANETs -- Self-adaptive Worms and Countermeasures -- Brief Announcement -- Brief Announcement: Self-healing Algorithms for Reconfigurable Networks -- Brief Announcement: Distributed Synthesis of Fault-Tolerance -- Brief Announcement: Exploration and Mitigation of Deafness Problems in Directional Antennas Based Wireless Ad-Hoc Networks -- Brief Announcement: A Synthetic Public Key Management Scheme for Large-Scale MANET -- Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures -- Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems -- Brief Announcement: Chasing the Weakest System Model for Implementing and Consensus -- Brief Announcement: Wait-Free Dining for Eventual Weak Exclusion -- Brief Announcement: An Efficient and Self-stabilizing Link Formation Algorithm -- Brief Announcement: Analyzing the Interactions of Self-propagating Codes in Multi-hop Networks -- Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems -- Brief Announcement: An Adaptive Randomised Searching Protocol in Peer-to-Peer Systems Based on Probabilistic Weak Quorum System. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This symposium has been the main forum for presentation of research results in the area of self-* for 17 years. It started as The Workshop on Self-Stabilizing Systems (WSS), and met in 1989 in Austin, 1995 in Las Vegas, 1997 in Santa Barbara, 1999 in Austin, and 2001 in Lisbon. It was then renamed The S- posium on Self-Stabilizing Systems (SSS), and has since met in 2003 in San Francisco, and in 2005 in Barcelona, Spain. This year,we extended the scope of the symposium to cover all safety and - curity related aspects of self-* systems. The title of the symposium was changed to the International Symposium on Stabilization, Safety, and Security of D- tributed Systems (SSS) to re?ect this expansion. The decision by Mohamed Gouda, the General Chair, to expand the scope of the symposium was timely and successful. From 33 papers submitted for SSS 2005, the number of submissions increased to 155. Reviewing this surge of s- missions to select the ?nal set of papers for the symposium was a monumental taskfor the ProgramCommittee. The 61 ProgramCommittee membersdevoted countless hours reading and evaluating the papers. But even this e?ort was not enough; we recruited 143 external reviewers, whose work was also very subst- tial. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Artificial intelligence. |
| 9 (RLIN) | 3407 |
| 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 | Computers, Special purpose. |
| 9 (RLIN) | 46653 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer science. |
| 9 (RLIN) | 9832 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Algorithms. |
| 9 (RLIN) | 3390 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Electronic data processing |
| General subdivision | Management. |
| 9 (RLIN) | 143833 |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Artificial Intelligence. |
| 9 (RLIN) | 3407 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer Communication Networks. |
| 9 (RLIN) | 143834 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Special Purpose and Application-Based Systems. |
| 9 (RLIN) | 46654 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Theory of Computation. |
| 9 (RLIN) | 143835 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Algorithms. |
| 9 (RLIN) | 3390 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | IT Operations. |
| 9 (RLIN) | 31703 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Datta, Ajoy K. |
| Relator term | editor. |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 143836 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Gradinariu, Maria. |
| Relator term | editor. |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 143837 |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 9 (RLIN) | 143838 |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783540490180 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783540832744 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Theoretical Computer Science and General Issues, |
| International Standard Serial Number | 2512-2029 ; |
| Volume/sequential designation | 4280 |
| 9 (RLIN) | 143839 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-540-49823-0">https://doi.org/10.1007/978-3-540-49823-0</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.