Self-stabilizing systems : 5th international workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 : proceedings
Physicalsystemswhichrightthemselvesafterbeingdisturbedevokeourcuriosity becausewe wantto understand howsuchsystemsareableto reactto unexpected stimuli. Themechanismsareallthe morefascinatingwhensystemsarecomposed of small, simple units, and the ability of the system to self-stabilize emerges out of...
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Livre numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Σειρά: | Lecture notes in computer science
2194 |
| Θέματα: | |
| Διαθέσιμο Online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Σημείωση: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Self-stabilizing systems, 5th international workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, proceedings, Ajoy K. Datta, Ted Hermann (eds.), New York, Springer, 2001, 1 vol. (VI-228 p.), Lecture notes in computer science, 3-540-42653-1 • Self-Stabilizing Systems, Texte imprimé, 9783662176450 |
| LEADER | 05116nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 949348 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155232231 | ||
| 020 | |a 9783540454380 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International workshop on self-stabilizing systems |n (05 |d :2001 |c :Lisbonne). | |
| 245 | 1 | 0 | |a Self-stabilizing systems : |b 5th international workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 : proceedings |c [edited by] Ajoy K. Datta, Ted Herman. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2194 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Cooperating Mobile Agents and Stabilization -- Cross-Over Composition - Enforcement of Fairness under Unfair Adversary -- Easy Stabilization with an Agent -- Stabilization of Routing in Directed Networks -- Dijkstra s Self-Stabilizing Algorithm in Unsupportive Environments -- Communication Adaptive Self-Stabilizing Group Membership Service -- (Im)Possibilities of Predicate Detection in Crash-Affected Systems -- The Theory of Weak Stabilization -- On the Security and Vulnerability of PING -- A New Efficient Tool for the Design of Self-Stabilizing ?-Exclusion Algorithms: The Controller -- Self-Stabilizing Agent Traversal -- A Composite Stabilizing Data Structure -- Stabilizing Causal Deterministic Merge -- Fast Self-Stabilizing Depth-First Token Circulation -- On a Space-Optimal Distributed Traversal Algorithm. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Physicalsystemswhichrightthemselvesafterbeingdisturbedevokeourcuriosity becausewe wantto understand howsuchsystemsareableto reactto unexpected stimuli. Themechanismsareallthe morefascinatingwhensystemsarecomposed of small, simple units, and the ability of the system to self-stabilize emerges out of its components. Faithful computer simulations of such physical systems exhibit the self-stabilizing property, but in the realm of computing, particularly for distributed systems, wehavegreaterambition. We imaginethat all manner of software, ranging from basic communication protocols to high-level applications, could enjoy self-corrective properties. Self-stabilizing software o?ers a unique, non-traditional approach to the c- cial problem of transient fault tolerance. Many successful instances of modern fault-tolerant networks are based on principles of self-stabilization. Surprisingly, the most widely accepted technical de?nition of a self-stabilizing system does not refer to faults: it is the property that the system can be started in any i- tial state, possibly an illegal state, and yet the system guarantees to behave properly in ?nite time. This, and similar de?nitions, break many traditional approaches to program design, in which the programmer by habit makes - sumptions about initial conditions. The composition of self-stabilizing systems, initially seen as a daunting challenge, has been transformed into a mana- able task, thanks to an accumulation of discoveries by many investigators. - search on various topics in self-stabilization continues to supply new methods for constructing self-stabilizing systems, determines limits and applicability of the paradigm of self-stabilization, and connects self-stabilization to related areas of fault tolerance anddistributed computing. | ||
| 650 | |a Informatique | ||
| 650 | |a Traitement réparti | ||
| 650 | |a Algorithmes | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Tolérance aux fautes (informatique) | ||
| 650 | |a Logiciels |x Exactitude | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Herman, Ted, |d 1952- |4 pbd | |
| 700 | 1 | |a Datta, Ajoy K, |c informaticien. |4 pbd | |
| 776 | 0 | |0 058900284 |t Self-stabilizing systems |o 5th international workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 |o proceedings |f Ajoy K. Datta, Ted Hermann (eds.) |c New York |n Springer |d 2001 |p 1 vol. (VI-228 p.) |s Lecture notes in computer science |z 3-540-42653-1 | |
| 776 | 0 | |t Self-Stabilizing Systems |b Texte imprimé |z 9783662176450 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45438-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-50X51LV0-B |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748060162 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45438-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751511684 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45438-1 |z Accès INSA CVL | |
| 997 | |0 949348 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||