000745193 000__ 05426cam\a2200577Mi\4500
000745193 001__ 745193
000745193 005__ 20230306141258.0
000745193 006__ m\\\\\o\\d\\\\\\\\
000745193 007__ cr\un\nnnunnun
000745193 008__ 140902s2014\\\\sz\a\\\\o\\\\\101\0\eng\d
000745193 020__ $$a9783319106960$$qelectronic book
000745193 020__ $$a3319106961$$qelectronic book
000745193 020__ $$z9783319106953
000745193 020__ $$z3319106953
000745193 0247_ $$a10.1007/978-3-319-10696-0$$2doi
000745193 035__ $$aSP(OCoLC)ocn889751970
000745193 035__ $$aSP(OCoLC)889751970
000745193 040__ $$aNLGGC$$beng$$erda$$epn$$cNLGGC$$dOCLCO$$dGW5XE$$dYDXCP$$dUPM$$dCOO$$dOCLCF$$dOCLCO$$dOCL$$dOCLCO$$dOCLCQ
000745193 049__ $$aISEA
000745193 050_4 $$aQA76.9.E94
000745193 08204 $$a004.2/5$$223
000745193 1112_ $$aInternational Conference on the Quantitative Evaluation of Systems$$n(11th :$$d2014 :$$cFlorence, Italy)
000745193 24510 $$aQuantitative evaluation of systems$$h[electronic resource] :$$b11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings /$$cGethin Norman, William Sanders (Eds.).
000745193 2463_ $$aQEST 2014
000745193 264_1 $$aCham :$$bSpringer,$$c[2014]
000745193 264_4 $$c©2014
000745193 300__ $$a1 online resource (xiv, 422 pages) :$$billustrations.
000745193 336__ $$atext$$btxt$$2rdacontent
000745193 337__ $$acomputer$$bc$$2rdamedia
000745193 338__ $$aonline resource$$bcr$$2rdacarrier
000745193 4901_ $$aLecture notes in computer science ;$$v8657
000745193 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000745193 500__ $$aInternational conference proceedings.
000745193 504__ $$aIncludes author index.
000745193 5050_ $$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.
000745193 506__ $$aAccess limited to authorized users.
000745193 520__ $$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.
000745193 650_0 $$aComputer systems$$xEvaluation$$vCongresses.
000745193 650_0 $$aComputer networks$$xEvaluation$$vCongresses.
000745193 650_0 $$aReliability (Engineering)$$vCongresses.
000745193 650_0 $$aPetri nets$$vCongresses.
000745193 650_0 $$aMachine theory$$vCongresses.
000745193 7001_ $$aNorman, Gethin,$$eeditor.
000745193 7001_ $$aSanders, William,$$eeditor.
000745193 77608 $$iPrint version:$$z9783319106953
000745193 830_0 $$aLecture notes in computer science ;$$v8657.
000745193 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000745193 85280 $$bebk$$hSpringerLink
000745193 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-10696-0$$zOnline Access$$91397441.1
000745193 909CO $$ooai:library.usi.edu:745193$$pGLOBAL_SET
000745193 980__ $$aEBOOK
000745193 980__ $$aBIB
000745193 982__ $$aEbook
000745193 983__ $$aOnline
000745193 994__ $$a92$$bISE