Abstract is missing.
- Heavy Tails: The Effect of the Service DisciplineSem C. Borst, Onno J. Boxma, R. Núñez Queija. 1-30 [doi]
- The Möbius State-Level Abstract Functional InterfaceSalem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney. 31-50 [doi]
- The ProC/B Toolset for the Modelling and Analysis of Process ChainsFalko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker. 51-70 [doi]
- MRMSolve: Distribution Estimation of Large Markov Reward ModelsSándor Rácz, Árpád Tari, Miklós Telek. 71-81 [doi]
- PhFit: A General Phase-Type Fitting ToolAndrás Horváth, Miklós Telek. 82-91 [doi]
- Traffic Modeling of IP Networks Using the Batch Markovian Arrival ProcessAlexander Klemm, Christoph Lindemann, Marco Lohmann. 92-110 [doi]
- PEPA Nets: A Structured Performance Modelling FormalismStephen Gilmore, Jane Hillston, Marina Ribaudo. 111-130 [doi]
- Validation of GSPN and SWN Models through the PROD ToolSusanna Donatelli, Liliana Ferro. 131-140 [doi]
- Software Performance Models from System Scenarios in Use Case MapsDorina C. Petriu, C. Murray Woodside. 141-158 [doi]
- Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML SpecificationsDorina C. Petriu, Hui Shen. 159-177 [doi]
- A Passage-Time Preserving Equivalence for Semi-Markov ProcessesJeremy T. Bradley. 178-187 [doi]
- Symbolic Methods for the State Space Exploration of GSPN ModelsIan Davies, William J. Knottenbelt, Pieter S. Kritzinger. 188-199 [doi]
- PRISM: Probabilistic Symbolic Model CheckerMarta Z. Kwiatkowska, Gethin J. Norman, David Parker. 200-204 [doi]
- MAMSolver: A Matrix Analytic Methods ToolAlma Riska, Evgenia Smirni. 205-211 [doi]
- The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility SupportAndreas Festag, Lars Westerhoff, Adam Wolisz. 212-219 [doi]
- GILK: A Dynamic Instrumentation Tool for the Linux KernelDavid J. Pearce, Paul H. J. Kelly, Tony Field, Uli Harder. 220-226 [doi]
- Geist: A Web Traffic Generation ToolKrishna Kant, Vijay Tewari, Ravishankar K. Iyer. 227-232 [doi]
- DrawNET++: Model Objects to Support Performance Analysis and Simulation of SystemsGiuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini. 233-238 [doi]
- A Visual Formalism for the Composition of Stochastic Petri NetsRichard P. Hopkins, Peter J. B. King. 239-258 [doi]
- Symbolic Performance Prediction of Data-Dependent Parallel ProgramsHasyim Gautama, Arjan J. C. van Gemund. 259-278 [doi]
- Analysis of a Transaction System with Checkpointing, Failures, and RollbackL. Kumar, Manoj Misra, Isi Mitrani. 279-288 [doi]
- Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and ToolAdrian E. Conway, Yali Zhu. 289-308 [doi]
- Hierarchical Workload Characterization for a Busy Web ServerAdeniyi Oke, Richard B. Bunt. 309-328 [doi]
- Enabling Network Caching of Dynamic Web ObjectsPankaj K. Garg, Kave Eshghi, Thomas Gschwind, Boudewijn R. Haverkort, Katinka Wolter. 329-338 [doi]
- A Tool for Controlling Response Time in Real-Time SystemsPascal Richard. 339-348 [doi]