Analytical and Stochastic Modeling Techniques and Applications : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings

by Al-begain, Khalid; Fiems, Dieter; Knottenbelt, William J.

• ISBN13: 9783642135675
• ISBN10: 3642135676
• Format: Paperback
• Copyright: 2010-06-28
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the refereed proceedings of the 17th InternationalConference on Analytical and Stochastic Modeling Techniques andApplications, ASMTA 2010, held in Cardiff, UK, in June 2010.The 28 revised full papers presented were carefully reviewed andselected from numerous submissions for inclusion in the book. The papersare organized in topical sections on queueing theory, specificationlanguages and tools, telecommunication systems, estimation, prediction,and stochastic modelling.

Table of Contents

Queueing Theory I
A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival Process	p. 1
Queueing System MAP/PH/N with Propagated Failures	p. 14
Analysis of a Discrete-Time Queueing System with an NT-Policy	p. 29
Packet Loss Minimization in Load-Balancing Switch	p. 44
Queueing Theory II
The Preemptive Repeat Hybrid Server Interruption Model	p. 59
Networks of Symmetric Multi-class Queues with Signals Changing Classes	p. 72
Product-Form Solutions for Models with Joint-State Dependent Transition Rates	p. 87
The qnetworks Toolbox: A Software Package for Queueing Networks Analysis	p. 102
Specification Languages and Tools
Rewriting Logic Based Performance Estimation of Embedded Systems	p. 117
A Formal Language toward the Unification of Model Checking and Performance Evaluation	p. 130
Security Evaluation of Layered Intrusion Tolerant Systems	p. 145
Stochastic PERT and CAST Logic Approach for Computer Support of Complex Operation Planning	p. 159
Telecommunication Systems I
Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems	p. 174
Stochastic Comparisons for Performability of Telecommunication Systems	p. 189
Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System	p. 204
Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes	p. 218
Telecommunication Systems II
A Formal Approach to Investigate the Performance of Modern E-Commerce Services	p. 233
Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption	p. 247
Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic	p. 262
Estimation
Robustness of the Whittle Estimator Applied to Non-Gaussian Long-Range Dependent Processes	p. 277
Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm	p. 291
Invariant Embedding Technique and Its Applications for Improvement or Optimization of Statistical Decisions	p. 306
Prediction
Prediction Model Selection and Spare Parts Ordering Policy for Efficient Support of Maintenance and Repair of Equipment	p. 321
Prediction-Based Dynamic Target Interception Using Discrete Markov Chains	p. 339
Neural Networks as Surrogate Models for Measurements in Optimization Algorithms	p. 351
Stochastic Modelling
Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras	p. 367
Analysis of an Automated Auction with Concurrent Multiple Unit Acceptance Capacity	p. 382
Congestive Collapse and Its Avoidance in a Dynamic Dial-a-Ride System with Time Windows	p. 397
Author Index	p. 409
Table of Contents provided by Ingram. All Rights Reserved.