Info
Dependable Systems: Software, Computing, Networks [[electronic resource] ] : Research Results of the DICS Program / / edited by Juerg Kohlas, Bertrand Meyer, André Schiper
| Dependable Systems: Software, Computing, Networks [[electronic resource] ] : Research Results of the DICS Program / / edited by Juerg Kohlas, Bertrand Meyer, André Schiper |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 295 p.) |
| Disciplina | 005.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Operating systems (Computers) Special purpose computers Computer system failures Software Engineering/Programming and Operating Systems Software Engineering Operating Systems Special Purpose and Application-Based Systems System Performance and Evaluation |
| ISBN | 3-540-36823-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Surveys -- Dependable Software -- Dependable Systems -- Survey on Dependable IP over Fiber Networks -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models -- Dependable Computing -- Advances in the Design and Implementation of Group Communication Middleware -- Fault-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer’s Perspective -- Autonomic Computing for Virtual Laboratories -- Dependable Networks -- Algorithms for Failure Protection in Large IP-over-fiber and Wireless Ad Hoc Networks -- Robustness of the Internet at the Topology and Routing Level -- Dependable Peer-to-Peer Systems Withstanding Dynamic Adversarial Churn. |
| Record Nr. | UNISA-996465987203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Future Directions in Distributed Computing [[electronic resource] ] : Research and Position Papers / / edited by André Schiper, Alex A. Shvartsman, Hakim Weatherspoon, Ben Y. Zhao
| Future Directions in Distributed Computing [[electronic resource] ] : Research and Position Papers / / edited by André Schiper, Alex A. Shvartsman, Hakim Weatherspoon, Ben Y. Zhao |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 226 p.) |
| Disciplina | 004/.36 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Computer communication systems Computer science Computer programming Software engineering Operating systems (Computers) Computer System Implementation Computer Communication Networks Computer Science, general Programming Techniques Software Engineering Operating Systems |
| ISBN | 3-540-37795-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Practical Impact of Group Communication Theory -- On the Impact of Academic Distributed Systems Research on Industrial Practice -- Using Error-Correcting Codes to Solve Distributed Agreement Problems: A Future Direction in Distributed Computing? -- Lower Bounds for Asynchronous Consensus -- Designing Algorithms for Dependent Process Failures -- Comparing the Atomic Commitment and Consensus Problems -- Open Questions on Consensus Performance inWell-Behaved Runs -- Challenges in Evaluating Distributed Algorithms -- Towards Robust Optimistic Approaches -- Towards a Practical Approach to Confidential Byzantine Fault Tolerance -- Modeling Complexity in Secure Distributed Computing -- Communication and Data Sharing for Dynamic Distributed Systems -- Dissecting Distributed Computations -- Ordering vs Timeliness: Two Facets of Consistency? -- WAIF:Web of Asynchronous Information Filters -- The Importance of Aggregation -- Dynamic Lookup Networks -- The Surprising Power of Epidemic Communication -- Topology-Aware Routing in Structured Peer-to-Peer Overlay Networks -- Uncertainty and Predictability: Can They Be Reconciled? -- Fuzzy Group Membership -- Toward Self-Organizing, Self-Repairing and Resilient Distributed Systems -- Dynamically Provisioning Distributed Systems to Meet Target Levels of Performance, Availability, and Data Quality -- Database Replication Based on Group Communication: Implementation Issues -- The Evolution of Publish/Subscribe Communication Systems -- Naming and Integrity: Self-Verifying Data in Peer-to-Peer Systems -- Spread Spectrum Storage with Mnemosyne -- Replication Strategies for Highly Available Peer-to-Peer Storage -- A Data-Centric Approach for Scalable State Machine Replication -- Scaling Optimistic Replication -- Building a Bridge between Distributed Systems Theory and Commercial Practice -- Holistic Operations in Large-Scale Sensor Network Systems: A Probabilistic Peer-to-Peer Approach -- Challenges in Making Pervasive Systems Dependable -- Towards Dependable Networks of Mobile Arbitrary Devices - Diagnosis and Scalability -- Technology Challenges for the Global Real-Time Enterprise -- Middleware for Supporting Inter-organizational Interactions -- Hosting of Libre Software Projects: A Distributed Peer-to-Peer Approach -- System Support for Pervasive Applications -- Technology Challenges for the Global Real-Time Enterprise -- Middleware for Supporting Inter-organizational Interactions -- Hosting of Libre Software Projects: A Distributed Peer-to-Peer Approach -- System Support for Pervasive Applications. |
| Record Nr. | UNISA-996465273503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Future Directions in Distributed Computing : Research and Position Papers / / edited by André Schiper, Alex A. Shvartsman, Hakim Weatherspoon, Ben Y. Zhao
| Future Directions in Distributed Computing : Research and Position Papers / / edited by André Schiper, Alex A. Shvartsman, Hakim Weatherspoon, Ben Y. Zhao |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 226 p.) |
| Disciplina | 004/.36 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Computer communication systems Computer science Computer programming Software engineering Operating systems (Computers) Computer System Implementation Computer Communication Networks Computer Science, general Programming Techniques Software Engineering Operating Systems |
| ISBN | 3-540-37795-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Practical Impact of Group Communication Theory -- On the Impact of Academic Distributed Systems Research on Industrial Practice -- Using Error-Correcting Codes to Solve Distributed Agreement Problems: A Future Direction in Distributed Computing? -- Lower Bounds for Asynchronous Consensus -- Designing Algorithms for Dependent Process Failures -- Comparing the Atomic Commitment and Consensus Problems -- Open Questions on Consensus Performance inWell-Behaved Runs -- Challenges in Evaluating Distributed Algorithms -- Towards Robust Optimistic Approaches -- Towards a Practical Approach to Confidential Byzantine Fault Tolerance -- Modeling Complexity in Secure Distributed Computing -- Communication and Data Sharing for Dynamic Distributed Systems -- Dissecting Distributed Computations -- Ordering vs Timeliness: Two Facets of Consistency? -- WAIF:Web of Asynchronous Information Filters -- The Importance of Aggregation -- Dynamic Lookup Networks -- The Surprising Power of Epidemic Communication -- Topology-Aware Routing in Structured Peer-to-Peer Overlay Networks -- Uncertainty and Predictability: Can They Be Reconciled? -- Fuzzy Group Membership -- Toward Self-Organizing, Self-Repairing and Resilient Distributed Systems -- Dynamically Provisioning Distributed Systems to Meet Target Levels of Performance, Availability, and Data Quality -- Database Replication Based on Group Communication: Implementation Issues -- The Evolution of Publish/Subscribe Communication Systems -- Naming and Integrity: Self-Verifying Data in Peer-to-Peer Systems -- Spread Spectrum Storage with Mnemosyne -- Replication Strategies for Highly Available Peer-to-Peer Storage -- A Data-Centric Approach for Scalable State Machine Replication -- Scaling Optimistic Replication -- Building a Bridge between Distributed Systems Theory and Commercial Practice -- Holistic Operations in Large-Scale Sensor Network Systems: A Probabilistic Peer-to-Peer Approach -- Challenges in Making Pervasive Systems Dependable -- Towards Dependable Networks of Mobile Arbitrary Devices - Diagnosis and Scalability -- Technology Challenges for the Global Real-Time Enterprise -- Middleware for Supporting Inter-organizational Interactions -- Hosting of Libre Software Projects: A Distributed Peer-to-Peer Approach -- System Support for Pervasive Applications -- Technology Challenges for the Global Real-Time Enterprise -- Middleware for Supporting Inter-organizational Interactions -- Hosting of Libre Software Projects: A Distributed Peer-to-Peer Approach -- System Support for Pervasive Applications. |
| Record Nr. | UNINA-9910143882903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||