01511nam 2200445 a 450 991069254270332120040614072221.0(CKB)5470000002354028(OCoLC)55643650ocm55643650(OCoLC)995470000002354028(EXLCZ)99547000000235402820040614d2004 ua 0engurmn||||||txtrdacontentcrdamediacrrdacarrierHealth care[electronic resource] unsustainable trends necessitate comprehensive and fundamental reforms to control spending and improve value[Washington, D.C.] :U.S. General Accounting Office,[2004]Title from title screen (viewed on June 8, 2004)."May 2004."Paper version available from: U.S. General Accounting Office, 441 G St., NW, Rm. LM, Washington, D.C. 20548."GAO-04-793SP."Includes bibliographical references.Health care Health care reformUnited StatesMedical careUnited StatesCost controlMedical care, Cost ofUnited StatesMedicareHealth care reformMedical careCost control.Medical care, Cost ofMedicare.GPOGPOBOOK9910692542703321Health care3423897UNINA06487nam 22008055 450 991014390910332120251116234302.03-540-46029-210.1007/3-540-46029-2(CKB)1000000000211720(SSID)ssj0000322110(PQKBManifestationID)11247758(PQKBTitleCode)TC0000322110(PQKBWorkID)10289098(PQKB)11277354(DE-He213)978-3-540-46029-9(MiAaPQ)EBC3071711(PPN)155199641(BIP)7609331(EXLCZ)99100000000021172020121227d2002 u| 0engurnn|008mamaatxtccrComputer Performance Evaluation: Modelling Techniques and Tools Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings /edited by Tony Field, Peter G. Harrison, Jeremy Bradley, Uli Harder1st ed. 2002.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2002.1 online resource (XII, 356 p.) Lecture Notes in Computer Science,0302-9743 ;2324Bibliographic Level Mode of Issuance: Monograph3-540-43539-5 Includes bibliographical references and index.Heavy 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.The argument for performance engineering methods to be employed in comput- communication systems has always been that such systems cannot be designed or modi'ed e'ciently without recourse to some form of predictive model, just as in other ?elds of engineering. This argument has never been more valid than it is with today's highly complex combination of communication and com- ter technologies. These have created the internet, the grid, and diverse types of parallel and distributed computer systems. To be practical, performance - gineering relies on tools to render its use accessible to the non-performance specialist, and in turn these depend on sound techniques that include analytical methods, stochastic models, and simulation. Tools and techniques also need to be parameterised and validated against real world observations, requiring - phisticated measurement techniques in the picosecond cyber-world. The series of "International Conferences on Modelling Techniques and Tools for Computer Performance Evaluation" (TOOLS) has provided a forum for this community of performance engineers with all their diverse interests. TOOLS 2002, held in London in April 2002, was the continuation of this series, which comprises: 1984 Paris 1991 Torino 1997 Saint Malo 1985 Sophia Antipolis 1992 Edinburgh 1998 Palma 1987 Paris 1994 Wien 2000 Chicago 1988 Palma 1995 Heidelberg 2002 London This year we were fortunate to have two prominent invited speakers, Onno Boxma, Eindhoven University of Technology, and Peter Key of Microsoft - search, Cambridge.Lecture Notes in Computer Science,0302-9743 ;2324Computer engineeringComputersComputer system failuresSoftware engineeringComputer simulationComputer Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I27000Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Computer engineering.Computers.Computer system failures.Software engineering.Computer simulation.Computer Engineering.Theory of Computation.System Performance and Evaluation.Software Engineering.Simulation and Modeling.004.2/4Field Tonyedthttp://id.loc.gov/vocabulary/relators/edtHarrison Peter Gedthttp://id.loc.gov/vocabulary/relators/edtBradley Jeremyedthttp://id.loc.gov/vocabulary/relators/edtHarder Uliedthttp://id.loc.gov/vocabulary/relators/edtTOOLSMiAaPQMiAaPQMiAaPQBOOK9910143909103321Computer Performance Evaluation. Modelling Techniques and Tools1945013UNINA