Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings
This 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 or...
Uloženo v:
Další autoři: | |
---|---|
Korporace: | |
Médium: | E-kniha |
Jazyk: | angličtina |
Vydáno: |
Cham :
Springer International Publishing,
2014
|
Edice: | Lecture Notes in Computer Science
|
Žánr/forma: | elektronické knihy |
ISBN: | 978-3-319-10696-0 9783319106953 |
Témata: | |
On-line přístup: | Plný text |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
LEADER | 05311nam a22005535i 4500 | ||
---|---|---|---|
001 | 001819684 | ||
003 | CZ PrSTK | ||
005 | 20151204162915.0 | ||
006 | m f d | ||
007 | cr nn 008mamaa | ||
008 | 140827s2014 gw | s |||| 0|eng d | ||
020 | |a 978-3-319-10696-0 |9 9783319106960 | ||
024 | 7 | |a 10.1007/978-3-319-10696-0 |2 doi | |
040 | |a DE-He213 |b cze |d ABA013 | ||
072 | 7 | |a 004 |x Počítačová věda. Výpočetní technika. Informační technologie |2 Konspekt |9 23 | |
080 | |a 004 |2 MRF | ||
245 | 1 | 0 | |a Quantitative Evaluation of Systems : |b 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings / |c edited by Gethin Norman, William Sanders |
264 | 1 | |a Cham : |b Springer International Publishing, |c 2014 | |
300 | |a 1 online zdroj (XIV, 422 stran) : |b 111 ilustrací | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a počítač |b c |2 rdamedia | ||
338 | |a online zdroj |b cr |2 rdacarrier | ||
490 | 1 | |a Lecture Notes in Computer Science, |x 0302-9743 ; |v 8657 | |
505 | 0 | |a Keynote 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 --- | |
505 | 0 | |9 ^^ |a 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 --- | |
505 | 0 | |9 ^^ |a 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 | |
520 | |a This 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 | ||
655 | 7 | |a elektronické knihy |7 fd186907 |2 czenas | |
659 | 0 | |a Computer science | |
659 | 0 | |a Computer system failures | |
659 | 0 | |a Computers | |
659 | 0 | |a Computer logic | |
659 | 0 | |a Mathematical statistics | |
659 | 1 | 4 | |a Computer Science |
659 | 2 | 4 | |a Logics and Meanings of Programs |
659 | 2 | 4 | |a System Performance and Evaluation |
659 | 2 | 4 | |a Probability and Statistics in Computer Science |
659 | 2 | 4 | |a Computation by Abstract Devices |
650 | 0 | 7 | |a informatika |x if |7 psh6548 |2 psh |
650 | 0 | 7 | |a počítače |x vt |7 psh12315 |2 psh |
650 | 0 | 7 | |a matematická statistika |x ma |7 psh7718 |2 psh |
700 | 1 | |a Norman, Gethin |4 edt | |
700 | 1 | |a Sanders, William |4 edt | |
710 | 2 | |a SpringerLink (online služba) |7 ntk2018999494 | |
776 | 0 | 8 | |i Tištěné vydání: |t Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings |z 9783319106953 |
830 | 0 | |a Lecture Notes in Computer Science | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-10696-0 |y Plný text |
910 | |a ABA013 | ||
950 | |a Springer |b Lecture Notes in Computer Science 2017 |