Abstract is missing.
- A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival ProcessDieter Claeys, Joris Walraevens, Koenraad Laevens, Bart Steyaert, Herwig Bruneel. 1-13 [doi]
- Queueing System ::::MAP::::/::::PH::::/::::N:::: with Propagated FailuresKhalid Al-Begain, Alexander N. Dudin, Valentina I. Klimenok. 14-28 [doi]
- Analysis of a Discrete-Time Queueing System with an ::::NT::::-PolicyBart Feyaerts, Stijn De Vuyst, Sabine Wittevrongel, Herwig Bruneel. 29-43 [doi]
- Packet Loss Minimization in Load-Balancing SwitchYury Audzevich, Levente Bodrog, Yoram Ofek, Miklós Telek. 44-58 [doi]
- The Preemptive Repeat Hybrid Server Interruption ModelThomas Demoor, Dieter Fiems, Joris Walraevens, Herwig Bruneel. 59-71 [doi]
- Networks of Symmetric Multi-class Queues with Signals Changing ClassesThu-Ha Dao-Thi, Jean-Michel Fourneau, Minh-Anh Tran. 72-86 [doi]
- Product-Form Solutions for Models with Joint-State Dependent Transition RatesSimonetta Balsamo, Andrea Marin. 87-101 [doi]
- The qnetworks Toolbox: A Software Package for Queueing Networks AnalysisMoreno Marzolla. 102-116 [doi]
- Rewriting Logic Based Performance Estimation of Embedded SystemsFateh Boutekkouk. 117-129 [doi]
- A Formal Language toward the Unification of Model Checking and Performance EvaluationAndrew S. Miner, Yaping Jing. 130-144 [doi]
- Security Evaluation of Layered Intrusion Tolerant SystemsSanaz Hafezian Razavi, Olivia Das. 145-158 [doi]
- Stochastic PERT and CAST Logic Approach for Computer Support of Complex Operation PlanningRyszard Antkiewicz, Arkadiusz Gasecki, Andrzej Najgebauer, Dariusz Pierzchala, Zbigniew Tarapata. 159-173 [doi]
- Perfect Sampling of Load Sharing Policies in Large Scale Distributed SystemsGaël Gorgo, Jean-Marc Vincent. 174-188 [doi]
- Stochastic Comparisons for Performability of Telecommunication SystemsHind Castel-Taleb, Idriss Ismael-Aouled, Nihal Pekergin. 189-203 [doi]
- Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation SystemAjab Khan, Reiko Heckel, Paolo Torrini, István Ráth. 204-217 [doi]
- Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival ProcessesPietro Piazzolla, Marco Gribaudo, Roberto Borgotallo, Alberto Messina. 218-232 [doi]
- A Formal Approach to Investigate the Performance of Modern E-commerce ServicesIbtehal Nafea, D. R. W. Holton, Muhammad Younas, Irfan Awan. 233-246 [doi]
- Leader Election in Anonymous Radio Networks: Model Checking Energy ConsumptionHaidi Yue, Joost-Pieter Katoen. 247-261 [doi]
- Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time TrafficSergey D. Andreev, Zsolt Saffer, Andrey M. Turlikov, Alexey V. Vinel. 262-276 [doi]
- Robustness of the Whittle Estimator Applied to Non-Gaussian Long-Range Dependent ProcessesMaria Estrella Sousa Vieira. 277-290 [doi]
- Service Time Estimation with a Refinement Enhanced Hybrid Clustering AlgorithmPaolo Cremonesi, Kanika Dhyani, Andrea Sansottera. 291-305 [doi]
- Invariant Embedding Technique and Its Applications for Improvement or Optimization of Statistical DecisionsNicholas A. Nechval, Maris Purgailis, Gundars Berzinsh, Kaspars Cikste, Juris Krasts, Konstantin N. Nechval. 306-320 [doi]
- Prediction Model Selection and Spare Parts Ordering Policy for Efficient Support of Maintenance and Repair of EquipmentNicholas A. Nechval, Maris Purgailis, Kaspars Cikste, Gundars Berzinsh, Uldis Rozevskis, Konstantin N. Nechval. 321-338 [doi]
- Prediction-Based Dynamic Target Interception Using Discrete Markov ChainsAyesha M. Sheikh, Tony J. Dodd. 339-350 [doi]
- Neural Networks as Surrogate Models for Measurements in Optimization AlgorithmsMartin Holena, David Linke, Uwe Rodemerck, Lukás Bajer. 351-366 [doi]
- Limit Behavior of the Hybrid Approximation of Stochastic Process AlgebrasLuca Bortolussi. 367-381 [doi]
- Analysis of an Automated Auction with Concurrent Multiple Unit Acceptance CapacityGunhwan Kim, Erol Gelenbe. 382-396 [doi]
- Congestive Collapse and Its Avoidance in a Dynamic Dial-a-Ride System with Time WindowsEsa Hyytiä, Aleksi Penttinen, Reijo Sulonen. 397-408 [doi]