Analytical and Stochastic Modeling Techniques and Applications: 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings

Front Matter....Pages -
Departure Process in Finite-Buffer Queue with Batch Arrivals....Pages 1-13
A Two-Class Continuous-Time Queueing Model with Dedicated Servers and Global FCFS Service Discipline....Pages 14-27
 M / G /1 Queue with Exponential Working Vacation and Gated Service....Pages 28-42
The Application of FSP Models in Automatic Optimization of Software Deployment....Pages 43-54
Model-Based Decision Framework for Autonomous Application Migration....Pages 55-69
Optimisation of Virtual Machine Garbage Collection Policies....Pages 70-84
Performance Evaluation of a Single Node with General Arrivals and Service....Pages 85-98
Tandem Queueing System with Different Types of Customers....Pages 99-112
Fast Evaluation of Appointment Schedules for Outpatients in Health Care....Pages 113-131
Technique of Statistical Validation of Rival Models for Fatigue Crack Growth Process and Its Identification....Pages 132-148
Suitability of the M/G/∞ Process for Modeling Scalable H.264 Video Traffic....Pages 149-158
Reconstructing Model Parameters in Partially-Observable Discrete Stochastic Systems....Pages 159-174
Performance Evaluation of a Kitting Process....Pages 175-188
Perfect Sampling of Phase-Type Servers Using Bounding Envelopes....Pages 189-203
Monotone Queuing Networks and Time Parallel Simulation....Pages 204-218
Traffic-Centric Modelling by IEEE 802.11 DCF Example....Pages 219-233
Flexible Traffic Engineering in Full Mesh Networks: Analysis of the Gain in Throughput and Cost Savings....Pages 234-248
Investigation of the Reliability of Multiserver Computer Networks....Pages 249-256
Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools....Pages 257-272
The Impact of Input Error on the Scheduling of Task Graphs with Imprecise Computations in Heterogeneous Distributed Real-Time Systems....Pages 273-287
Simple Correlated Flow and Its Application....Pages 288-300
A Practical Tree Algorithm with Successive Interference Cancellation for Delay Reduction in IEEE 802.16 Networks....Pages 301-315
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks....Pages 316-330
Size-Based Flow-Scheduling Using Spike-Detection....Pages 331-345
Back Matter....Pages -