Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Self-Stabilizing Systems [[electronic resource] ] : 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings / / edited by Ajoy K. Datta, Ted Herman
| Self-Stabilizing Systems [[electronic resource] ] : 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings / / edited by Ajoy K. Datta, Ted Herman |
| Autore | WSS 2001 (2001 : , Lisbon, Portugal) |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (VIII, 236 p.) |
| Disciplina | 005.1/4 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Software engineering Electrical engineering Special purpose computers Computers Algorithms Computer Communication Networks Software Engineering/Programming and Operating Systems Communications Engineering, Networks Special Purpose and Application-Based Systems Computation by Abstract Devices Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-45438-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996465816403316 |
WSS 2001 (2001 : , Lisbon, Portugal)
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Self-Stabilizing Systems [[electronic resource] ] : 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings / / edited by Ajoy K. Datta, Ted Herman
| Self-Stabilizing Systems [[electronic resource] ] : 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings / / edited by Ajoy K. Datta, Ted Herman |
| Autore | WSS 2001 (2001 : , Lisbon, Portugal) |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (VIII, 236 p.) |
| Disciplina | 005.1/4 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Software engineering Electrical engineering Special purpose computers Computers Algorithms Computer Communication Networks Software Engineering/Programming and Operating Systems Communications Engineering, Networks Special Purpose and Application-Based Systems Computation by Abstract Devices Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-45438-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910143619403321 |
|
WSS 2001 (2001 : , Lisbon, Portugal)
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Self-Stabilizing Systems [[electronic resource] ] : 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 / / edited by Sébastien Tixeuil, Ted Herman
| Self-Stabilizing Systems [[electronic resource] ] : 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 / / edited by Sébastien Tixeuil, Ted Herman |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 229 p.) |
| Disciplina | 004.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Software engineering Computers, Special purpose Computer science Algorithms Electronic data processing—Management Computer Communication Networks Software Engineering Special Purpose and Application-Based Systems Theory of Computation IT Operations |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Snap-Stabilizing Optimal Binary Search Tree -- Synchronous vs. Asynchronous Unison -- A Snap-Stabilizing DFS with a Lower Space Requirement -- Self-stabilization of Byzantine Protocols -- Self-stabilization with r-Operators Revisited -- Self-stabilization Preserving Compiler -- Self-stabilizing Mobile Node Location Management and Message Routing -- Memory Management for Self-stabilizing Operating Systems -- Code Stabilization -- Stabilizing Certificate Dispersal -- On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection -- Approximation of Self-stabilizing Vertex Cover Less Than 2 -- Self-stabilization in Spite of Frequent Changes of Networks: Case Study of Mutual Exclusion on Dynamic Rings -- Towards Automatic Convergence Verification of Self-stabilizing Algorithms -- About the Self-stabilization of a Virtual Topology for Self-organization in Ad Hoc Networks. |
| Record Nr. | UNISA-996465729303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Self-Stabilizing Systems [[electronic resource] ] : 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 / / edited by Sébastien Tixeuil, Ted Herman
| Self-Stabilizing Systems [[electronic resource] ] : 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 / / edited by Sébastien Tixeuil, Ted Herman |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 229 p.) |
| Disciplina | 004.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Software engineering Computers, Special purpose Computer science Algorithms Electronic data processing—Management Computer Communication Networks Software Engineering Special Purpose and Application-Based Systems Theory of Computation IT Operations |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Snap-Stabilizing Optimal Binary Search Tree -- Synchronous vs. Asynchronous Unison -- A Snap-Stabilizing DFS with a Lower Space Requirement -- Self-stabilization of Byzantine Protocols -- Self-stabilization with r-Operators Revisited -- Self-stabilization Preserving Compiler -- Self-stabilizing Mobile Node Location Management and Message Routing -- Memory Management for Self-stabilizing Operating Systems -- Code Stabilization -- Stabilizing Certificate Dispersal -- On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection -- Approximation of Self-stabilizing Vertex Cover Less Than 2 -- Self-stabilization in Spite of Frequent Changes of Networks: Case Study of Mutual Exclusion on Dynamic Rings -- Towards Automatic Convergence Verification of Self-stabilizing Algorithms -- About the Self-stabilization of a Virtual Topology for Self-organization in Ad Hoc Networks. |
| Record Nr. | UNINA-9910484055203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||