國立高雄大學圖資館 |

Language: English

Back

Quantitative evaluation of systems17...

(1998 :)

Quantitative evaluation of systems17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Quantitative evaluation of systemsedited by Marco Gribaudo, David N. Jansen, Anne Remke.
Reminder of title:	17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings /
remainder title:	QEST 2020
other author:	Gribaudo, Marco.
corporate name:
Published:	Cham :Springer International Publishing :2020.
Description:	xi, 298 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer systemsCongresses.Evaluation
Online resource:	https://doi.org/10.1007/978-3-030-59854-9
ISBN:	9783030598549$q(electronic bk.)

Quantitative evaluation of systems17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings /
Quantitative evaluation of systems17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings /[electronic resource] :QEST 2020edited by Marco Gribaudo, David N. Jansen, Anne Remke. - Cham :Springer International Publishing :2020. - xi, 298 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,122890302-9743 ;. - Lecture notes in computer science ;4891..

Machine Learning for Reliability Analysis of Large Scale Distributed Systems -- Tracking the Race Between Deep Reinforcement Learning and Imitation Learning -- SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis -- StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks -- Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism -- Probabilistic Model Checking of AODV -- Multi-player Equilibria Verification for Concurrent Stochastic Games -- Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers -- Bayesian Inference by Symbolic Model Checking -- CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-based Systems -- A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues -- M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis -- Bounding Mean First Passage Times in Population Continuous-Time Markov Chains -- Markovian Arrival Processes in Multi-Dimensions -- Automatic Pre- and Postconditions for Partial Differential Equations -- Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study -- The Dynamic Fault Tree Rare Event Simulator -- Entropy Measurement of Concurrent Disorder -- Hardening Critical Infrastructure Networks Against Attacker Reconnaissance -- Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels -- Flexible Nets -- Verifying Probabilistic Programs.

This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies.

ISBN: 9783030598549$q(electronic bk.)

Standard No.: 10.1007/978-3-030-59854-9doiSubjects--Topical Terms:

443720
Computer systems
--Evaluation--Congresses.

LC Class. No.: QA76.9.E94 / I57 2020

Dewey Class. No.: 004.24

Quantitative evaluation of systems17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings /
LDR:03517nmm a2200373 a 4500 001 589400
003 DE-He213
005 20201102232109.0
006 m d
007 cr nn 008maaau
008 210601s2020 sz s 0 eng d
020 $a 9783030598549$q(electronic bk.)
020 $a 9783030598532$q(paper)
024 7 $a 10.1007/978-3-030-59854-9 $2 doi
035 $a 978-3-030-59854-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.E94 $b I57 2020
072 7 $a UY $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UY $2 thema
072 7 $a UYA $2 thema
082 0 4 $a 004.24 $2 23
090 $a QA76.9.E94 $b I61 2020
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Quantitative evaluation of systems $h [electronic resource] : $b 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings / $c edited by Marco Gribaudo, David N. Jansen, Anne Remke.
246 3 $a QEST 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xi, 298 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12289
490 1 $a Theoretical computer science and general issues
505 0 $a Machine Learning for Reliability Analysis of Large Scale Distributed Systems -- Tracking the Race Between Deep Reinforcement Learning and Imitation Learning -- SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis -- StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks -- Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism -- Probabilistic Model Checking of AODV -- Multi-player Equilibria Verification for Concurrent Stochastic Games -- Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers -- Bayesian Inference by Symbolic Model Checking -- CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-based Systems -- A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues -- M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis -- Bounding Mean First Passage Times in Population Continuous-Time Markov Chains -- Markovian Arrival Processes in Multi-Dimensions -- Automatic Pre- and Postconditions for Partial Differential Equations -- Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study -- The Dynamic Fault Tree Rare Event Simulator -- Entropy Measurement of Concurrent Disorder -- Hardening Critical Infrastructure Networks Against Attacker Reconnaissance -- Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels -- Flexible Nets -- Verifying Probabilistic Programs.
520 $a This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies.
650 0 $a Computer systems $x Evaluation $v Congresses. $3 443720
650 0 $a Computer networks $x Evaluation $v Congresses. $3 446478
650 0 $a Reliability (Engineering) $3 182677
650 0 $a Stochastic processes $3 281628
650 1 4 $a Theory of Computation. $3 274475
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 273711
650 2 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Probability and Statistics in Computer Science. $3 274053
650 2 4 $a Computer Communication Networks. $3 218087
650 2 4 $a Mathematics of Computing. $3 273710
700 1 $a Gribaudo, Marco. $3 724754
700 1 $a Jansen, David N. $3 822004
700 1 $a Remke, Anne. $3 702767
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Theoretical computer science and general issues. $3 822018
856 4 0 $u https://doi.org/10.1007/978-3-030-59854-9
950 $a Computer Science (SpringerNature-11645)