Analytical and Stochastic Modeling Techniques and Applications

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival Process
3. Altmetric Badge
   Chapter 2 Queueing System MAP / PH / N with Propagated Failures
4. Altmetric Badge
   Chapter 3 Analysis of a Discrete-Time Queueing System with an NT-Policy
5. Altmetric Badge
   Chapter 4 Packet Loss Minimization in Load-Balancing Switch
6. Altmetric Badge
   Chapter 5 The Preemptive Repeat Hybrid Server Interruption Model
7. Altmetric Badge
   Chapter 6 Networks of Symmetric Multi-class Queues with Signals Changing Classes
8. Altmetric Badge
   Chapter 7 Product-Form Solutions for Models with Joint-State Dependent Transition Rates
9. Altmetric Badge
   Chapter 8 The qnetworks Toolbox: A Software Package for Queueing Networks Analysis
10. Altmetric Badge
    Chapter 9 Rewriting Logic Based Performance Estimation of Embedded Systems
11. Altmetric Badge
    Chapter 10 A Formal Language toward the Unification of Model Checking and Performance Evaluation
12. Altmetric Badge
    Chapter 11 Security Evaluation of Layered Intrusion Tolerant Systems
13. Altmetric Badge
    Chapter 12 Stochastic PERT and CAST Logic Approach for Computer Support of Complex Operation Planning
14. Altmetric Badge
    Chapter 13 Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems
15. Altmetric Badge
    Chapter 14 Stochastic Comparisons for Performability of Telecommunication Systems
16. Altmetric Badge
    Chapter 15 Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System
17. Altmetric Badge
    Chapter 16 Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes
18. Altmetric Badge
    Chapter 17 A Formal Approach to Investigate the Performance of Modern E-commerce Services
19. Altmetric Badge
    Chapter 18 Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption
20. Altmetric Badge
    Chapter 19 Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic
21. Altmetric Badge
    Chapter 20 Robustness of the Whittle Estimator Applied to Non-Gaussian Long-Range Dependent Processes
22. Altmetric Badge
    Chapter 21 Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm
23. Altmetric Badge
    Chapter 22 Invariant Embedding Technique and Its Applications for Improvement or Optimization of Statistical Decisions
24. Altmetric Badge
    Chapter 23 Prediction Model Selection and Spare Parts Ordering Policy for Efficient Support of Maintenance and Repair of Equipment
25. Altmetric Badge
    Chapter 24 Prediction-Based Dynamic Target Interception Using Discrete Markov Chains
26. Altmetric Badge
    Chapter 25 Neural Networks as Surrogate Models for Measurements in Optimization Algorithms
27. Altmetric Badge
    Chapter 26 Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras
28. Altmetric Badge
    Chapter 27 Analysis of an Automated Auction with Concurrent Multiple Unit Acceptance Capacity
29. Altmetric Badge
    Chapter 28 Congestive Collapse and Its Avoidance in a Dynamic Dial-a-Ride System with Time Windows