Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008872469/catalog> ?p ?o. }

• catalog abstract "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 and distributed computing.".
• catalog alternative "WSS 2001".
• catalog contributor b12452745.
• catalog contributor b12452746.
• catalog contributor b12452747.
• catalog created "c2001.".
• catalog date "2001".
• catalog date "c2001.".
• catalog dateCopyrighted "c2001.".
• catalog description "Cooperating Mobile Agents and Stabilization / Sukumar Ghosh -- Cross-Over Composition -- Enforcement of Fairness under Unfair Adversary / Joffroy Beauquier, Maria Gradinariu and Colette Johnen -- Easy Stabilization with an Agent / Joffroy Beauquier, Thomas Herault and Elad Schiller -- Stabilization of Routing in Directed Networks / Jorge A. Cobb and Mohamed G. Gouda -- Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments / Shlomi Dolev and Ted Herman -- Communication Adaptive Self-Stabilizing Group Membership Service / Shlomi Dolev and Elad Schiller -- (Im)Possibilities of Predicate Detection in Crash-Affected Systems / Felix C. Gartner and Stefan Pleisch -- The Theory of Weak Stabilization / Mohamed G. Gouda.".
• catalog description "Includes bibliographical references and index.".
• catalog description "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 and distributed computing.".
• catalog extent "vi, 228 p. :".
• catalog identifier "3540426531 (pbk. : alk. paper)".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2194".
• catalog issued "2001".
• catalog issued "c2001.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.1/4 21".
• catalog subject "Computer Communication Networks.".
• catalog subject "Computer science.".
• catalog subject "Computer software.".
• catalog subject "Information Systems.".
• catalog subject "QA76.9.S54 W77 2001".
• catalog subject "Self-stabilization (Computer science) Congresses.".
• catalog subject "Software engineering.".
• catalog tableOfContents "Cooperating Mobile Agents and Stabilization / Sukumar Ghosh -- Cross-Over Composition -- Enforcement of Fairness under Unfair Adversary / Joffroy Beauquier, Maria Gradinariu and Colette Johnen -- Easy Stabilization with an Agent / Joffroy Beauquier, Thomas Herault and Elad Schiller -- Stabilization of Routing in Directed Networks / Jorge A. Cobb and Mohamed G. Gouda -- Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments / Shlomi Dolev and Ted Herman -- Communication Adaptive Self-Stabilizing Group Membership Service / Shlomi Dolev and Elad Schiller -- (Im)Possibilities of Predicate Detection in Crash-Affected Systems / Felix C. Gartner and Stefan Pleisch -- The Theory of Weak Stabilization / Mohamed G. Gouda.".
• catalog title "Self-stabilizing systems : 5th international workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 : proceedings / Ajoy K. Datta, Ted Hermann (eds.).".
• catalog title "WSS 2001".
• catalog type "Conference proceedings. fast".
• catalog type "Lissabon (2001) swd".
• catalog type "text".