Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Kohlas, Jürg (Επιμελητής έκδοσης), Meyer, Bertrand (Επιμελητής έκδοσης), Schiper, André (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4028
• Θέματα: Computer science.; Special purpose computers.; Computer system failures.; Software engineering.; Operating systems (Computers).; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Operating Systems.; Special Purpose and Application-Based Systems.; System Performance and Evaluation.

Modern civilization relies on a functioning information infrastructure. As a result, dependability has become a central issue in all disciplines of systems engineering and software architecture.Theories, methods and tools that help to master the problems encountered in the design process and the man...

Πίνακας περιεχομένων:

• 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.