Computer performance evaluation. Modelling techniques and tools. 12th international conference, TOOLS 2002, London, GB, April 14--17, 2002. Proceedings (Q1611713)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Borst, S. C.; Boxma, O. J.; Núñez-Queija, R.}, Heavy tails: The effect of the service discipline, 1-30 [Zbl 1047.68023] \textit{Derisavi, Salem; Kemper, Peter; Sanders, William H.; Courtney, Tod}, The Möbius state-level abstract functional interface, 31-50 [Zbl 1047.68518] \textit{Bause, F.; Beilner, H.; Fischer, M.; Kemper, P.; Völker, M.}, The ProC/B toolset for the modelling and analysis of process chains, 51-70 [Zbl 1047.68512] \textit{Rácz, Sándor; Tari, Árpád; Telek, Miklós}, MRMSolve: Distribution estimation of large Markov reward models, 71-81 [Zbl 1047.68539] \textit{Horváth, András; Telek, Miklós}, PhFit: A general phase-type fitting tool, 82-91 [Zbl 1047.68528] \textit{Klemm, Alexander; Lindemann, Christoph; Lohmann, Marco}, Traffic modeling of IP networks using the batch Markovian arrival process, 92-110 [Zbl 1047.68532] \textit{Gilmore, Stephen; Hillston, Jane; Ribaudo, Marina}, PEPA nets: A structured performance modelling formalism, 111-130 [Zbl 1047.68527] \textit{Donatelli, Susanna; Ferro, Liliana}, Validation of GSPN and SWN models through the PROD tool, 131-140 [Zbl 1047.68519] \textit{Petriu, Dorin; Woodside, Murray}, Software performance models from system scenarios in use case maps, 141-158 [Zbl 1047.68537] \textit{Petriu, Dorina C.; Shen, Hui}, Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications, 159-177 [Zbl 1047.68538] \textit{Bradley, J. T.}, A passage-time preserving equivalence for semi-Markov processes, 178-187 [Zbl 1047.68024] \textit{Davies, Ian; Knottenbelt, William J.; Kritzinger, Pieter S.}, Symbolic methods for the state space exploration of GSPN models, 188-199 [Zbl 1047.68517] \textit{Kwiatkowska, Marta; Norman, Gethin; Parker, David}, PRISM: Probabilistic symbolic model checker, 200-204 [Zbl 1047.68533] \textit{Riska, Alma; Smirni, Evgenia}, MAMSolver: A matrix analytic methods tool, 205-211 [Zbl 1047.68541] \textit{Festag, Andreas; Westerhoff, Lars; Wolisz, Adam}, The MOMBASA software environment -- a toolkit for performance evaluation of multicast-based mobility support, 212-219 [Zbl 1047.68522] \textit{Pearce, David J.; Kelly, Paul H. J.; Field, Tony; Harder, Uli}, GILK: A dynamic instrumentation tool for the Linux kernel, 220-226 [Zbl 1047.68536] \textit{Kant, Krishna; Tewari, Vijay; Iyer, Ravishankar}, Geist: A web traffic generation tool, 227-232 [Zbl 1047.68531] \textit{Franceschinis, Giuliana; Gribaudo, M.; Iacono, M.; Mazzocca, N.; Vittorini, V.}, DrawNET++: Model objects to support performance analysis and simulation of systems, 233-238 [Zbl 1047.68523] \textit{Hopkins, Richard; King, Peter}, A visual formalism for the composition of stochastic Petri nets, 239-258 [Zbl 1047.68085] \textit{Gautama, Hasyim; van Gemund, Arjan J. C.}, Symbolic performance prediction of data-dependent parallel programs, 259-278 [Zbl 1047.68525] \textit{Kumar, L.; Misra, M.; Mitrani, I.}, Analysis of a transaction system with checkpointing, failures, and rollback, 279-288 [Zbl 1047.68025] \textit{Conway, Adrian E.; Zhu, Yali}, Analyzing voice-over-IP subjective quality as a function of network QoS: A simulation-based methodology and tool, 289-308 [Zbl 1047.68515] \textit{Oke, Adeniyi; Bunt, Rick}, Hierarchical workload characterization for a busy web server, 309-328 [Zbl 1047.68535] \textit{Garg, Pankaj K.; Eshghi, Kave; Gschwind, Thomas; Haverkort, Boudewijn; Wolter, Katinka}, Enabling network caching of dynamic web objects, 329-338 [Zbl 1047.68524] \textit{Richard, Pascal}, A tool for controlling response time in real-time systems, 339-348 [Zbl 1047.68540]