LEADER 03550nam 2200565 450 001 996465954303316 005 20220815201742.0 010 $a3-540-75211-0 024 7 $a10.1007/978-3-540-75211-0 035 $a(CKB)1000000000490579 035 $a(SSID)ssj0000317707 035 $a(PQKBManifestationID)11246703 035 $a(PQKBTitleCode)TC0000317707 035 $a(PQKBWorkID)10295531 035 $a(PQKB)10858626 035 $a(DE-He213)978-3-540-75211-0 035 $a(MiAaPQ)EBC3063291 035 $a(MiAaPQ)EBC6806068 035 $a(Au-PeEL)EBL6806068 035 $a(OCoLC)487137359 035 $a(PPN)123165342 035 $a(EXLCZ)991000000000490579 100 $a20220815d2007 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aFormal methods and stochastic models for performance evaluation $eFourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /$fedited by Katinka Wolter 205 $a1st ed. 2007. 210 1$aBerlin, Germany :$cSpringer,$d[2007] 210 4$dİ2007 215 $a1 online resource (X, 304 p.) 225 1 $aProgramming and Software Engineering ;$v4748 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-75210-2 320 $aIncludes bibliographical references and index. 327 $aKeynote -- Optimization Problems in Service Provisioning Systems -- Markov Chains -- Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won?t Tell About the Equilibrium Distribution -- Compositionality for Markov Reward Chains with Fast Transitions -- Closed Form Absorption Time Bounds -- A Canonical Representation of Order 3 Phase Type Distributions -- Process Algebras and State Machines -- SPAMR: Extending PAMR with Stochastic Time -- Faster SPDL Model Checking Through Property-Driven State Space Generation -- Testing Finite State Machines Presenting Stochastic Time and Timeouts -- Grid and Peer-to-Peer Systems -- Evaluation of P2P Search Algorithms for Discovering Trust Paths -- Building Online Performance Models of Grid Middleware with Fine-Grained Load-Balancing: A Globus Toolkit Case Study -- Performance Measuring Framework for Grid Market Middleware -- Queueing Theory and Applications of Queueing -- A Fixed-Point Algorithm for Closed Queueing Networks -- A Framework for Automated Generation of Architectural Feedback from Software Performance Analysis -- Optimal Dynamic Server Allocation in Systems with On/Off Sources -- Towards an Automatic Modeling Tool for Observed System Behavior -- Benchmarking and Bounding -- Censoring Markov Chains and Stochastic Bounds -- Workload Characterization of the SPECjms2007 Benchmark -- Resource Sharing in Performance Models -- Exploiting Commodity Hard-Disk Geometry to Efficiently Preserve Data Consistency -- Wireless Networks -- An Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks -- The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System. 410 0$aProgramming and Software Engineering ;$v4748 606 $aFormal methods (Computer science)$vCongresses 615 0$aFormal methods (Computer science) 676 $a004.24 702 $aWolter$b Katinka 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465954303316 996 $aFormal Methods and Stochastic Models for Performance Evaluation$9772045 997 $aUNISA LEADER 01054nam0-22003131i-450 001 9910670699703321 005 20230313121615.0 035 $a000972184 035 $aFED01000972184 035 $a(Aleph)000972184FED01 100 $a20130424d1952----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $aa---g---001yy 200 1 $aPompei$ei nuovi scavi, la Villa dei misteri, l'Antiquarium$fAmedeo Maiuri 205 $a6. ed. ampliata e aggiornata 210 $aRoma$cIstituto Poligrafico dello Stato$d1952 215 $a109 p.$cill.$d19 cm 225 1 $aItinerari dei musei, gallerie e monumenti d'Italia$v3 300 $aIn testa al frontespizio: Ministero della pubblica istruzione, Direzione dei musei, gallerie e monumenti d'Italia 610 0 $aCampi Flegrei$aZone archeologiche 700 1$aMaiuri,$bAmedeo$f<1886-1963>$03563 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a9910670699703321 952 $aFONDO ROSSI 4674$bROSSI 4795$fFARBC 959 $aFARBC 996 $aPompei$9266345 997 $aUNINA LEADER 01605oam 2200409 450 001 9910708060803321 005 20170926144058.0 035 $a(CKB)5470000002469970 035 $a(OCoLC)976433670 035 $a(EXLCZ)995470000002469970 100 $a20170320d2017 ua 0 101 0 $aeng 135 $aurbn||||m|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSexual assault on campus $eworking to ensure student safety : hearing of the Committee on Health, Education, Labor, and Pensions, United States Senate, One Hundred Thirteenth Congress, second session ... June 26, 2014 210 1$aWashington :$cU.S. Government Publishing Office,$d2017. 215 $a1 online resource (iii, 86 pages) 225 1 $aS. hrg. ;$v113-840 300 $aPaper version available for sale by the Superintendent of Documents, U.S. Government Publishing Office. 320 $aIncludes bibliographical references. 517 $aSexual assault on campus 606 $aRape in universities and colleges$zUnited States$xPrevention 606 $aRape victims$xServices for$zUnited States 606 $aUniversities and colleges$xSecurity measures$zUnited States 608 $aLegislative hearings.$2lcgft 615 0$aRape in universities and colleges$xPrevention. 615 0$aRape victims$xServices for 615 0$aUniversities and colleges$xSecurity measures 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910708060803321 996 $aSexual assault on campus$93435314 997 $aUNINA