2003 International Conference on Dependable Systems and Networks, 2003. Proceedings.
June 22 2003 to June 25 2003
San Francisco, California
ISBN: 0-7695-1952-0
Table of Contents
Session 1A: Safety and Security
Session 1A: Safety and Security
Session 1B: Broadcast and Publish/Subscribe
Session 1B: Broadcast and Publish/Subscribe
Session 2A: Practical Experience and Demonstrations — 1
Session 2A: Practical Experience and Demonstrations — 1
Session 2A: Practical Experience and Demonstrations — 1
Session 2A: Practical Experience and Demonstrations — 1
Session 2B: Dependability Evaluation
Session 2B: Dependability Evaluation
Session 4A: Dependability Algorithms
Session 4A: Dependability Algorithms
Session 5A: Network Fault Tolerance
Session 5A: Network Fault Tolerance
Session 6A: Services for Distributed Computing
Session 6A: Services for Distributed Computing
Session 6A: Services for Distributed Computing
Session 7A: Modeling and Formal Methods
Session 7A: Modeling and Formal Methods
Session 7A: Modeling and Formal Methods
Session 9A: Practical Experiences and Demonstrations — 2
Session 9A: Practical Experiences and Demonstrations — 2
Session 9A: Practical Experiences and Demonstrations — 2
Session 9B: Distributed Systems and Services
Session 9B: Distributed Systems and Services
Session 9B: Distributed Systems and Services
Session 10A: TCP Connection Management
Session 10A: TCP Connection Management
Session 10A: TCP Connection Management
Session 10B: Robust Software
Session 10B: Robust Software
Session 1C: Measurement-Based System Dependability Evaluation
Session 1C: Measurement-Based System Dependability Evaluation
Session 1C: Measurement-Based System Dependability Evaluation
Session 2C: Techniques to Improve System and Network Dependability
Session 2C: Techniques to Improve System and Network Dependability
Session 2C: Techniques to Improve System and Network Dependability
Session 2C: Techniques to Improve System and Network Dependability
Session 3C: Analysis of Fault-Tolerant Protocols
Session 3C: Analysis of Fault-Tolerant Protocols
Session 3C: Analysis of Fault-Tolerant Protocols
Session 4C: Analytical Methods
Session 4C: Analytical Methods
Session 5C: Validation of System Security and Timing
Session 5C: Validation of System Security and Timing
Session 5C: Validation of System Security and Timing
Session 5C: Validation of System Security and Timing
Session 6C: Analysis of Fault-Tolerant Mechanisms
Session 6C: Analysis of Fault-Tolerant Mechanisms
Session 6C: Analysis of Fault-Tolerant Mechanisms
Session 7C: Tool Demonstrations
Session 7C: Tool Demonstrations
Session 7C: Tool Demonstrations
Session 9C: Dependability and Performance Analysis
Session 9C: Dependability and Performance Analysis
Session 9C: Dependability and Performance Analysis
Session 9C: Dependability and Performance Analysis
Session 10C: Techniques for Improving Software Dependability
Session 10C: Techniques for Improving Software Dependability
Session 10C: Techniques for Improving Software Dependability
Session 10C: Techniques for Improving Software Dependability