000			03659nam a22005295i 4500
001			978-3-540-46029-9
003			DE-He213
005			20160624102011.0
007			cr nn 008mamaa
008			121227s2002 gw | s |||| 0|eng d
020			_a9783540460299 _9978-3-540-46029-9
024	7		_a10.1007/3-540-46029-2 _2doi
050		4	_aQA76.9.E94
072		7	_aUYD _2bicssc
072		7	_aCOM074000 _2bisacsh
082	0	4	_a004.24 _223
245	1	0	_aComputer Performance Evaluation: Modelling Techniques and Tools _h[electronic resource] : _b12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings / _cedited by Tony Field, Peter G. Harrison, Jeremy Bradley, Uli Harder.
260		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2002.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2002.
300			_aXII, 356 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v2324
505	0		_aHeavy Tails: The Effect of the Service Discipline -- The Möbius State-Level Abstract Functional Interface -- The ProC/BToolset for the Modelling and Analysis of Process Chains -- MRMSolve: Distribution Estimation of Large Markov Reward Models -- PhFit: A General Phase-Type Fitting Tool -- Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process -- PEPA Nets: A Structured Performance Modelling Formalism -- Validation of GSPN and SWN Models through the PROD Tool -- Software Performance Models from System Scenarios in Use Case Maps -- Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications -- A Passage-Time Preserving Equivalence for Semi-Markov Processes -- Symbolic Methods for the State Space Exploration of GSPN Models -- PRISM: Probabilistic Symbolic Model Checker -- MAMSolver: A Matrix Analytic Methods Tool -- The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support -- GILK: A Dynamic Instrumentation Tool for the Linux Kernel -- Geist: A Web Traffic Generation Tool -- DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems -- A Visual Formalism for the Composition of Stochastic Petri Nets -- Symbolic Performance Prediction of Data-Dependent Parallel Programs -- Analysis of a Transaction System with Checkpointing, Failures, and Rollback -- Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool -- Hierarchical Workload Characterization for a Busy Web Server -- Enabling Network Caching of Dynamic Web Objects -- A Tool for Controlling Response Time in Real-Time Systems.
650		0	_aComputer science.
650		0	_aComputer system performance.
650		0	_aSoftware engineering.
650		0	_aComputer simulation.
650	1	4	_aComputer Science.
650	2	4	_aSystem Performance and Evaluation.
650	2	4	_aSoftware Engineering.
650	2	4	_aSimulation and Modeling.
700	1		_aField, Tony. _eeditor.
700	1		_aHarrison, Peter G. _eeditor.
700	1		_aBradley, Jeremy. _eeditor.
700	1		_aHarder, Uli. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783540435396
786			_dSpringer
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v2324
856	4	0	_uhttp://dx.doi.org/10.1007/3-540-46029-2
942			_2EBK5671 _cEBK
999			_c34965 _d34965