| Queueing Theory I |
| A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival Process / Dieter Claeys ; Joris Walraevens ; Koenraad Laevens ; Bart Steyaert ; Herwig Bruneel |
| Queueing System MAP/PH/N with Propagated Failures / Khalid Al-Begain ; Alexander Dudin ; Valentina Klimenok |
| Analysis of a Discrete-Time Queueing System with an NT-Policy / Bart Feyaerts ; Stijn De Vuyst ; Sabine Wittevrongel |
| Packet Loss Minimization in Load-Balancing Switch / Yury Audzevich ; Levente Bodrog ; Yoram Ofek ; Miklós Telek |
| Queueing Theory II |
| The Preemptive Repeat Hybrid Server Interruption Model / Thomas Demoor ; Dieter Fiems |
| Networks of Symmetric Multi-class Queues with Signals Changing Classes / Thu-Ha Dao-Thi ; Jean-Michel Fourneau ; Minh-Anh Tran |
| Product-Form Solutions for Models with Joint-State Dependent Transition Rates / Simonetta Balsamo ; Andrea Marin |
| The qnetworks Toolbox: A Software Package for Queueing Networks Analysis / Moreno Marzolla |
| Specification Languages and Tools |
| Rewriting Logic Based Performance Estimation of Embedded Systems / Fateh Boutekkouk |
| A Formal Language toward the Unification of Model Checking and Performance Evaluation / Andrew S. Miner ; Yaping Jing |
| Security Evaluation of Layered Intrusion Tolerant Systems / Sanaz Hafezian Razavi ; Olivia Das |
| Stochastic PERT and CAST Logic Approach for Computer Support of Complex Operation Planning / Ryszard Antkiewicz ; Arkadiusz Gasecki ; Andrzej Najgebauer ; Dariusz Pierzchala ; Zbigniew Tarapata |
| Telecommunication Systems I |
| Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems / Gaël Gorgo ; Jean-Marc Vincent |
| Stochastic Comparisons for Performability of Telecommunication Systems / Hind Castel-Taleb ; Idriss Ismael-Aouled ; Nihal Pekergin |
| Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System / Ajab Khan ; Reiko Heckel ; Paolo Torrini ; István Ráth |
| Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes / Pietro Piazzolla ; Marco Gribaudo ; Roberto Borgotallo ; Alberto Messina |
| Telecommunication Systems II |
| A Formal Approach to Investigate the Performance of Modern E-Commerce Services / Ibtehal Nafea ; D.R.W. Holton ; Muhammad Younas ; Irfan Awan |
| Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption / Haidi Yue ; Joost-Pieter Katoen |
| Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic / Sergey Andreev ; Zsolt Saffer ; Andrey Turlikov ; Alexey Vinel |
| Estimation |
| Robustness of the Whittle Estimator Applied to Non-Gaussian Long-Range Dependent Processes / Maria-Estrella Sousa-Vieira |
| Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm / Paolo Cremonesi ; Kanika Dhyani ; Andrea Sansottera |
| Invariant Embedding Technique and Its Applications for Improvement or Optimization of Statistical Decisions / Nicholas Nechval ; Maris Purgailis ; Gundars Berzins ; Kaspars Cikste ; Juris Krasts ; Konstantin Nechval |
| Prediction |
| Prediction Model Selection and Spare Parts Ordering Policy for Efficient Support of Maintenance and Repair of Equipment / Uldis Rozevskis |
| Prediction-Based Dynamic Target Interception Using Discrete Markov Chains / Ayesha M. Sheikh ; Tony J. Dodd |
| Neural Networks as Surrogate Models for Measurements in Optimization Algorithms / Martin Holena ; David Linke ; Uwe Rodemerck ; Lukáš Bajer |
| Stochastic Modelling |
| Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras / Luca Bortolussi |
| Analysis of an Automated Auction with Concurrent Multiple Unit Acceptance Capacity / Gunhwan Kim ; Erol Gelenbe |
| Congestive Collapse and Its Avoidance in a Dynamic Dial-a-Ride System with Time Windows / Esa Hyytiä ; Aleksi Penttinen ; Reijo Sulonen |
| Author Index |
| Queueing Theory I |
| A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival Process / Dieter Claeys ; Joris Walraevens ; Koenraad Laevens ; Bart Steyaert ; Herwig Bruneel |
| Queueing System MAP/PH/N with Propagated Failures / Khalid Al-Begain ; Alexander Dudin ; Valentina Klimenok |
ＥＢ
