LEADER 05756nam 22007095 450 001 996202530103316 005 20230329162318.0 010 $a3-319-10696-1 024 7 $a10.1007/978-3-319-10696-0 035 $a(CKB)3710000000227389 035 $a(SSID)ssj0001338830 035 $a(PQKBManifestationID)11734512 035 $a(PQKBTitleCode)TC0001338830 035 $a(PQKBWorkID)11339062 035 $a(PQKB)11367527 035 $a(DE-He213)978-3-319-10696-0 035 $a(MiAaPQ)EBC5610897 035 $a(PPN)180626388 035 $a(EXLCZ)993710000000227389 100 $a20140827d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aQuantitative Evaluation of Systems$b[electronic resource] $e11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings /$fedited by Gethin Norman, William Sanders 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XIV, 422 p. 111 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8657 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-10695-3 320 $aIncludes bibliographical references and index. 327 $aKeynote Presentations -- Quantitative Evaluation of Service Dependability in Shared Execution Environments -- Multi-agent Networked Systems with Adversarial Elements -- Kronecker and Product Form Methods -- A Structured Solution Approach for Markov Regenerative Processes -- Low-Rank Tensor Methods for Communicating Markov Processes -- Hybrid Systems -- A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems -- Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads -- Finite Abstractions of Stochastic Max-Plus-Linear Systems -- Mean Field/Population Analysis -- Mean Field for Performance Models with Generally-Distributed Timed Transitions -- Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models -- On Performance of Gossip Communication in a Crowd-Sensing Scenario -- Models and Tools -- Probabilistic Model Checking of DTMC Models of User Activity Patterns -- Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks -- A New Great SPN GUI for GSPN Editing and CSLTA Model Checking -- The Octave Queueing -- Package -- Simulation -- A Perfect Sampling Algorithm of Random Walks with Forbidden Arcs -- Modelling Replication in No SQL Datastores -- Queueing, Debugging and Tools -- On Queues with General Service Demands and Constant Service Capacity -- Simulation Debugging and Visualization in the Mobius Modeling Framework -- Scalar: A Distributed Scalability Analysis Framework -- Non-intrusive Scalable Memory Access Tracer -- Process Algebra and Equivalences -- Probabilistic Programming Process Algebra -- PALOMA: A Process Algebra for Located Markovian Agents -- On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems -- Automata and Markov Process Theory -- Continuity Properties of Distances for Markov Processes -- Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata -- Decidable Problems for Unary PFAs -- Applications, Theory and Tools -- A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids -- Compositionality Results for Quantitative Information Flow -- CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems -- Probabilistic Model Checking -- Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains -- Accelerating Parametric Probabilistic Verification. 330 $aThis book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. They are organized in topical sections named: Kronecker and product form methods; hybrid systems; mean field/population analysis; models and tools; simulation; queueing, debugging and tools; process algebra and equivalences; automata and Markov process theory; applications, theory and tools; and probabilistic model checking. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8657 606 $aComputer science 606 $aElectronic digital computers?Evaluation 606 $aComputer science?Mathematics 606 $aMathematical statistics 606 $aComputer Science Logic and Foundations of Programming 606 $aSystem Performance and Evaluation 606 $aProbability and Statistics in Computer Science 606 $aTheory of Computation 615 0$aComputer science. 615 0$aElectronic digital computers?Evaluation. 615 0$aComputer science?Mathematics. 615 0$aMathematical statistics. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSystem Performance and Evaluation. 615 24$aProbability and Statistics in Computer Science. 615 24$aTheory of Computation. 676 $a004.25 702 $aNorman$b Gethin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSanders$b William$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996202530103316 996 $aQuantitative Evaluation of Systems$92914390 997 $aUNISA