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

Itis ourpleasureto presenttheproceedingsofthe17thInternationalConference on Analytical and Stochastic Modelling and Applications (ASMTA 2010). The conferencewasheldintheIconicWalesMillenniumCentreinCardi?,thevibrant capital city of Wales. ASMTA conferences have become established quality events in the calendar of analytical,numerical and even simulation experts in Europe and well beyond. In addition to regular participants from the main centers of expertise from the UK,Belgium,Germany,Russia,France,Italy,Latvia,Spain,Hungaryandmany other countries, we receive newcomers with interesting contributions from other countries such as Algeria, Canada and the USA. Although the conference has become a well-established event, every year ASMTAfeaturessomethingnew.Thisyear,andforthe ?rsttime,the conference was held completely independently and standalone. The decision was not easy as it has always been co-located with the European Conference on Modelling and Simulation. There were some who questioned its chances, but the outcome proved to be excellent. The quality of this year's program was exceptionally high. The conference started with a keynote talk on process algebra by a distinguished speaker in the person of Jane Hillston from the Department of Computer Science of the University of Edinburgh. In addition, 28 papers were accepted for presentation. As ever, the International Program Committee reviewed the submissions cr- ically and in detail, thereby helping in making the ?nal decision and also in providing the authors with useful comments to improve their papers. We would therefore like to thank every member of the International Program Committee for their time and e?orts. We thank everyone for their contribution to ASMTA 2010 and hope readers will enjoy the conference proceedings.

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