Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Availability in Large Networks: Global Characteristics from Local Unreliability Properties
3. Altmetric Badge
   Chapter 2 Stochastic Analysis of a Finite Source Retrial Queue with Spares and Orbit Search
4. Altmetric Badge
   Chapter 3 Bounds for Two-Terminal Network Reliability with Dependent Basic Events
5. Altmetric Badge
   Chapter 4 Software Reliability Testing Covering Subsystem Interactions
6. Altmetric Badge
   Chapter 5 Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis
7. Altmetric Badge
   Chapter 6 A Calculus for SLA Delay Properties
8. Altmetric Badge
   Chapter 7 Verifying Worst Case Delays in Controller Area Network
9. Altmetric Badge
   Chapter 8 Lifetime Improvement by Battery Scheduling
10. Altmetric Badge
    Chapter 9 Weighted Probabilistic Equivalence Preserves ω -Regular Properties
11. Altmetric Badge
    Chapter 10 Probabilistic CSP: Preserving the Laws via Restricted Schedulers
12. Altmetric Badge
    Chapter 11 Heuristics for Probabilistic Timed Automata with Abstraction Refinement
13. Altmetric Badge
    Chapter 12 Simulative and Analytical Evaluation for ASD-Based Embedded Software
14. Altmetric Badge
    Chapter 13 Reducing Channel Zapping Delay in WiMAX-Based IPTV Systems
15. Altmetric Badge
    Chapter 14 Performance Evaluation of 10GE NICs with SR-IOV Support: I/O Virtualization and Network Stack Optimizations
16. Altmetric Badge
    Chapter 15 Business Driven BCM SLA Translation for Service Oriented Systems
17. Altmetric Badge
    Chapter 16 Boosting Design Space Explorations with Existing or Automatically Learned Knowledge
18. Altmetric Badge
    Chapter 17 IBPM: An Open-Source-Based Framework for InifiniBand Performance Monitoring
19. Altmetric Badge
    Chapter 18 A Workbench for Internet Traffic Analysis
20. Altmetric Badge
    Chapter 19 A Modelling and Analysis Environment for LARES
21. Altmetric Badge
    Chapter 20 Simulation and Statistical Model Checking for Modestly Nondeterministic Models
22. Altmetric Badge
    Chapter 21 UniLoG: A Unified Load Generation Tool
23. Altmetric Badge
    Chapter 22 Non Preemptive Static Priority with Network Calculus: Enhancement
24. Altmetric Badge
    Chapter 23 A Demand-Response Calculus with Perfect Batteries
25. Altmetric Badge
    Chapter 24 A Formal Definition and a New Security Mechanism of Physical Unclonable Functions
26. Altmetric Badge
    Chapter 25 Modeling and Analysis of a P2P-VoD System Based on Stochastic Network Calculus
27. Altmetric Badge
    Chapter 26 Using NFC Phones for Proving Credentials