LEADER 04915nam 22007815 450 001 996465383903316 005 20200702114846.0 010 $a3-540-46029-2 024 7 $a10.1007/3-540-46029-2 035 $a(CKB)1000000000211720 035 $a(SSID)ssj0000322110 035 $a(PQKBManifestationID)11247758 035 $a(PQKBTitleCode)TC0000322110 035 $a(PQKBWorkID)10289098 035 $a(PQKB)11277354 035 $a(DE-He213)978-3-540-46029-9 035 $a(MiAaPQ)EBC3071711 035 $a(PPN)155199641 035 $a(EXLCZ)991000000000211720 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Performance Evaluation: Modelling Techniques and Tools$b[electronic resource] $eModelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings /$fedited by Tony Field, Peter G. Harrison, Jeremy Bradley, Uli Harder 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (XII, 356 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2324 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-43539-5 320 $aIncludes bibliographical references and index. 327 $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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2324 606 $aComputer engineering 606 $aComputers 606 $aComputer system failures 606 $aSoftware engineering 606 $aComputer simulation 606 $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 615 0$aComputer engineering. 615 0$aComputers. 615 0$aComputer system failures. 615 0$aSoftware engineering. 615 0$aComputer simulation. 615 14$aComputer Engineering. 615 24$aTheory of Computation. 615 24$aSystem Performance and Evaluation. 615 24$aSoftware Engineering. 615 24$aSimulation and Modeling. 676 $a004.2/4 702 $aField$b Tony$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHarrison$b Peter G$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBradley$b Jeremy$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHarder$b Uli$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTOOLS 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465383903316 996 $aComputer Performance Evaluation. Modelling Techniques and Tools$91945013 997 $aUNISA LEADER 03284nam 2200697I 450 001 9910955931603321 005 20170710094154.0 010 $a9786612735776 010 $a9781282735774 010 $a1282735772 010 $a9781613449370 010 $a1613449372 010 $a9780857245168 010 $a0857245163 035 $a(CKB)2670000000037765 035 $a(EBL)573367 035 $a(OCoLC)659500697 035 $a(SSID)ssj0000413299 035 $a(PQKBManifestationID)11299766 035 $a(PQKBTitleCode)TC0000413299 035 $a(PQKBWorkID)10383826 035 $a(PQKB)11096935 035 $a(Au-PeEL)EBL573367 035 $a(CaPaEBR)ebr10409265 035 $a(CaONFJC)MIL273577 035 $a(UtOrBLW)9780857245168 035 $a(Perlego)387065 035 $a(MiAaPQ)EBC573367 035 $a(EXLCZ)992670000000037765 100 $a20170712d2007 uy 101 0 $aeng 135 $aurun||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aBuilding blocks for sustainable transport $eobstacles, trends, solutions /$fedited by Adriaan Perrels, Veli Himanen, Martin Lee-Gosselin 205 $a1st ed. 210 $aBingley $cEmerald$dc2008 215 $a1 online resource (288 p.) 300 $aIncludes index. 311 08$a9780080447094 311 08$a0080447090 320 $aIncludes bibliographical references. 327 $aPrelims -- Introduction -- How to cast the future? -- How to cast the future? -- Looking over the horizon: visioning and backcasting -- Lessons from prospective research on sustainable transport carried out through the OECD EST and French PREDIT programs -- Drivers of freight transport demand and their policy implications -- Spatial economic interactions in sustainable settings -- Space - Economy interactions in the context of sustainability -- The metropolitan field: an emerging form that may condition the sustainability of transport -- Sustainable mobility and urbanity -- Movement of goods, services and people: entanglements with sustainability implications -- Effectiveness and acceptability -- Effectiveness and acceptability: the keys to implementation -- Sustainable transport and quality of life -- Transport policies: actions, intentions and perceived effectiveness -- Policy analysis of sustainable transport and mobility: the SUMMA project -- About the Authors. 330 $aArgues that the issues surrounding sustainable transport constitute a new - post-modern - phase in transport policy and management. This book is organized into three sections that discuss a major set of challenges to the transition to a sustainable transport system. 606 $aTransportation$xEnvironmental aspects 606 $aTransportation$xPublic Transportation$2bisacsh 606 $aTransport industries$2bicssc 615 0$aTransportation$xEnvironmental aspects. 615 7$aTransportation$xPublic Transportation. 615 7$aTransport industries. 676 $a388 702 $aPerrels$b A. H. 702 $aHimanen$b Veli 702 $aLee-Gosselin$b Martin 801 0$bUtOrBLW 801 1$bUtOrBLW 906 $aBOOK 912 $a9910955931603321 996 $aBuilding blocks for sustainable transport$91762588 997 $aUNINA