{"entities":{"Q1611713":{"pageid":1622453,"ns":120,"title":"Item:Q1611713","lastrevid":71444202,"modified":"2026-04-13T22:18:20Z","type":"item","id":"Q1611713","labels":{"en":{"language":"en","value":"Computer performance evaluation. Modelling techniques and tools. 12th international conference, TOOLS 2002, London, GB, April 14--17, 2002. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1788985"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611713$4BA1A868-74DF-4739-9D13-1CFFC910617C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10c363ab7dcc7567c3ea9d2af887d8105f7fc29d","datavalue":{"value":{"text":"Computer performance evaluation. Modelling techniques and tools. 12th international conference, TOOLS 2002, London, GB, April 14--17, 2002. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1611713$7EB40D12-BB56-4256-B8F3-97D25282E105","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aaefde61102ac3c4a98be492e55b13fbc7bd0869","datavalue":{"value":"0992.00046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611713$6F33BAFE-874B-44BA-835C-E4D221C194AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611713$553BCC16-7A21-410E-9C68-E2892380C418","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"811f56d1f4ef4db69481bdd8a11f0dcd5f700d16","datavalue":{"value":{"time":"+2002-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1611713$594B2294-B1CD-4097-9A03-2AD539FD24CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bcae5a34064a096bbed5c01bf5a4965e6510b515","datavalue":{"value":"The articles of mathematical interest will be reviewed individually.  Indexed articles:  \\textit{Borst, S. C.; Boxma, O. J.; N\u00fa\u00f1ez-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\u00f6bius state-level abstract functional interface, 31-50 [Zbl 1047.68518]  \\textit{Bause, F.; Beilner, H.; Fischer, M.; Kemper, P.; V\u00f6lker, M.}, The ProC/B toolset for the modelling and analysis of process chains, 51-70 [Zbl 1047.68512]  \\textit{R\u00e1cz, S\u00e1ndor; Tari, \u00c1rp\u00e1d; Telek, Mikl\u00f3s}, MRMSolve: Distribution estimation of large Markov reward models, 71-81 [Zbl 1047.68539]  \\textit{Horv\u00e1th, Andr\u00e1s; Telek, Mikl\u00f3s}, 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]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611713$EA37CACB-C7AC-4704-A44B-2D2039599642","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611713$18738D48-694D-4A2B-9EE3-38FBDB2DCEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611713$11995280-9B9F-4C03-9D9B-B2FE7948E03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611713$599CF6B3-D026-45D3-88E9-82A1C79B4D9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"059545ced6e596542c23e1ae3eb6e5517e4bb325","datavalue":{"value":"1788985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611713$AC4CB7F7-E330-41A1-9289-A0AB342AC43F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df707bf1283baf8ab531c486d41cf8325e70bbbb","datavalue":{"value":"London (GB)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611713$75D5A476-011E-481F-8029-4D0278A628B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611713$4F999421-CEAB-4F1F-9B68-7B836B451533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611713$18B01765-046D-4965-8247-7F0436F1F19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aae3402e6b9aa4d02db9cf7ce80735851c12bfe7","datavalue":{"value":"TOOLS 2002","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611713$DE0053BF-6DA4-4A20-95B0-213518C047BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4328ea1316a04848a2ba94bc69238fbcde41c0b","datavalue":{"value":"Computer performance evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611713$AA0ACC5C-A074-4921-B7BA-E9842A1B6A5A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611713$E79C1E4B-6F6A-49AC-865F-C04461ABCA46","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611713$5D99E807-B175-4C2B-AA85-CDB1607B60B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer performance evaluation. Modelling techniques and tools. 12th international conference, TOOLS 2002, London, GB, April 14--17, 2002. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_performance_evaluation._Modelling_techniques_and_tools._12th_international_conference,_TOOLS_2002,_London,_GB,_April_14--17,_2002._Proceedings"}}}}}