Front matter
73-102
Heavy Tails: The Effect of the Service Discipline
S. C. Borst, O. J. Boxma and R. Núñez-Queija
293-324
The Möbius State-Level Abstract Functional Interface
Salem Derisavi, Peter Kemper, William H. Sanders and Tod Courtney
25-30
The
ProC/B
Toolset for the Modelling and Analysis of Process Chains
F. Bause, H. Beilner, M. Fischer, P. Kemper and M. Völker
141-158
MRMSolve: Distribution Estimation of Large Markov Reward Models
Sándor Rácz, Árpád Tari and Miklós Telek
1-14
PhFit: A General Phase-Type Fitting Tool
András Horváth and Miklós Telek
129-182
Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process
Alexander Klemm, Christoph Lindemann and Marco Lohmann
111-130
PEPA Nets: A Structured Performance Modelling Formalism
Stephen Gilmore, Jane Hillston and Marina Ribaudo
379-415
Validation of GSPN and SWN Models through the PROD Tool
Susanna Donatelli and Liliana Ferro
1-8
Software Performance Models from System Scenarios in Use Case Maps
Dorin C. Petriu and Murray Woodside
183-204
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications
Dorina C. Petriu and Hui Shen
159-168
A Passage-Time Preserving Equivalence for Semi-Markov Processes
J. T. Bradley
103-128
Symbolic Methods for the State Space Exploration of GSPN Models
Ian Davies, William J. Knottenbelt and Pieter S. Kritzinger
113-140
PRISM: Probabilistic Symbolic Model Checker
Marta Kwiatkowska, Gethin Norman and David Parker
41-72
MAMSolver: A Matrix Analytic Methods Tool
Alma Riska and Evgenia Smirni
231-291
The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support
Andreas Festag, Lars Westerhoff and Adam Wolisz
220-226
GILK: A Dynamic Instrumentation Tool for the Linux Kernel
David J. Pearce, Paul H. J. Kelly, Tony Field and Uli Harder
325-352
Geist: A Web Traffic Generation Tool
Krishna Kant, Vijay Tewari and Ravishankar Iyer
55-60
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems
Giuliana Franceschinis, M. Gribaudo, M. Iacono, N. Mazzocca and V. Vittorini
353-377
A Visual Formalism for the Composition of Stochastic Petri Nets
Richard Hopkins and Peter King
61-112
Symbolic Performance Prediction of Data-Dependent Parallel Programs
Hasyim Gautama and Arjan J. C. van Gemund
49-54
Analysis of a Transaction System with Checkpointing, Failures, and Rollback
L. Kumar, M. Misra and I. Mitrani
289-308
Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool
Adrian E. Conway and Yali Zhu
309-328
Hierarchical Workload Characterization for a Busy Web Server
Adeniyi Oke and Rick Bunt
15-40
Enabling Network Caching of Dynamic Web Objects
Pankaj K. Garg, Kave Eshghi, Thomas Gschwind, Boudewijn Haverkort and Katinka Wolter
205-230
A Tool for Controlling Response Time in Real-Time Systems
Pascal Richard
Back matter