Abstract is missing.
- A Precedence PEPA Model for Performance and Reliability AnalysisJean-Michel Fourneau, Leïla Kloul. 1-15 [doi]
- A Function-Equivalent Components Based Simplification Technique for PEPA ModelsJane Hillston, Leïla Kloul. 16-30 [doi]
- Functional Performance Specification with Stochastic ProbesAshok Argent-Katwala, Jeremy T. Bradley. 31-46 [doi]
- Embedding Real Time in Stochastic Process AlgebrasJasen Markovski, Erik P. de Vink. 47-62 [doi]
- Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark ResultsTomás Kalibera, Petr Tuma. 63-77 [doi]
- Working Set Characterization of Applications with an Efficient LRU AlgorithmLodewijk Bonebakker, Andrew Over, Ilya Sharapov. 78-92 [doi]
- Model Checking for a Class of Performance Properties of Fluid Stochastic ModelsManuela L. Bujorianu, Marius C. Bujorianu. 93-107 [doi]
- Explicit Inverse Characterizations of Acyclic MAPs of Second OrderArmin Heindl, Gábor Horváth, Karsten Gross. 108-122 [doi]
- Implementation Relations for Stochastic Finite State MachinesMercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. 123-137 [doi]
- On the Convergence Rate of Quasi Lumpable Markov ChainsAndrás Faragó. 138-147 [doi]
- Applying the UML Class Diagram in the Performance AnalysisAhmad Alsaadi. 148-165 [doi]
- Dependability Evaluation of Web Service-Based ProcessesLászló Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha. 166-180 [doi]
- Improving the Performance of IEEE 802.11e with an Advanced Scheduling HeuristicBurak Simsek, Katinka Wolter. 181-195 [doi]
- Worst Case Analysis of Batch Arrivals with the Increasing Convex OrderingAna Busic, Jean-Michel Fourneau, Nihal Pekergin. 196-210 [doi]
- The Impact of Buffer Finiteness on the Loss Rate in a Priority Queueing SystemJeroen Van Velthoven, Benny Van Houdt, Chris Blondia. 211-225 [doi]
- Experimental Analysis of the Correlation of HTTP GET InvocationsPhilipp Reinecke, Aad P. A. van Moorsel, Katinka Wolter. 226-237 [doi]