Computer performance evaluation. Modelling techniques and tools. 12th international conference, TOOLS 2002, London, GB, April 14--17, 2002. Proceedings
type: Item
instance of: scholarly article
title: Computer performance evaluation. Modelling techniques and tools. 12th international conference, TOOLS 2002, London, GB, April 14--17, 2002. Proceedings
zbMATH Open document ID: 0992.00046
published in: Lecture Notes in Computer Science
publication date: 2002-08-26T00:00:00Z
review text: 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 too…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68M20
zbMATH DE Number: 1788985
zbMATH Keywords: London (GB)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: TOOLS 2002
zbMATH Keywords: Computer performance evaluation
describes a project that uses: PRISM
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1788985