This book constitutes the refereed proceedings of the 17th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2010, held in Cardiff, UK, in June 2010. The 28 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers are organized in topical sections on queueing theory, specification languages and tools, telecommunication systems, estimation, prediction, and stochastic modelling.
Author(s): Dieter Claeys, Joris Walraevens, Koenraad Laevens, Bart Steyaert, Herwig Bruneel (auth.), Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.)
Series: Lecture Notes in Computer Science 6148 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010
Language: English
Pages: 409
Tags: Software Engineering; Computer Communication Networks; System Performance and Evaluation; Information Systems Applications (incl.Internet); Probability and Statistics in Computer Science; Algorithm Analysis and Problem Complexity
Front Matter....Pages -
A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival Process....Pages 1-13
Queueing System MAP / PH / N with Propagated Failures....Pages 14-28
Analysis of a Discrete-Time Queueing System with an NT -Policy....Pages 29-43
Packet Loss Minimization in Load-Balancing Switch....Pages 44-58
The Preemptive Repeat Hybrid Server Interruption Model....Pages 59-71
Networks of Symmetric Multi-class Queues with Signals Changing Classes....Pages 72-86
Product-Form Solutions for Models with Joint-State Dependent Transition Rates....Pages 87-101
The qnetworks Toolbox: A Software Package for Queueing Networks Analysis....Pages 102-116
Rewriting Logic Based Performance Estimation of Embedded Systems....Pages 117-129
A Formal Language toward the Unification of Model Checking and Performance Evaluation....Pages 130-144
Security Evaluation of Layered Intrusion Tolerant Systems....Pages 145-158
Stochastic PERT and CAST Logic Approach for Computer Support of Complex Operation Planning....Pages 159-173
Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems....Pages 174-188
Stochastic Comparisons for Performability of Telecommunication Systems....Pages 189-203
Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System....Pages 204-217
Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes....Pages 218-232
A Formal Approach to Investigate the Performance of Modern E-commerce Services....Pages 233-246
Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption....Pages 247-261
Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic....Pages 262-276
Robustness of the Whittle Estimator Applied to Non-Gaussian Long-Range Dependent Processes....Pages 277-290
Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm....Pages 291-305
Invariant Embedding Technique and Its Applications for Improvement or Optimization of Statistical Decisions....Pages 306-320
Prediction Model Selection and Spare Parts Ordering Policy for Efficient Support of Maintenance and Repair of Equipment....Pages 321-338
Prediction-Based Dynamic Target Interception Using Discrete Markov Chains....Pages 339-350
Neural Networks as Surrogate Models for Measurements in Optimization Algorithms....Pages 351-366
Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras....Pages 367-381
Analysis of an Automated Auction with Concurrent Multiple Unit Acceptance Capacity....Pages 382-396
Congestive Collapse and Its Avoidance in a Dynamic Dial-a-Ride System with Time Windows....Pages 397-408
Back Matter....Pages -
