東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Quantitative evaluation of systems =...

International Conference on the Quantitative Evaluation of Systems (2020 :)

FindBook

Google Book

Amazon

博客來

Quantitative evaluation of systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Quantitative evaluation of systems/ edited by Marco Gribaudo, David N. Jansen, Anne Remke.
其他題名:	17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings /
其他題名:	QEST 2020
其他作者:	Gribaudo, Marco.
團體作者:	International Conference on the Quantitative Evaluation of Systems
出版者:	Cham :Springer International Publishing : : 2020.,
面頁冊數:	xi, 298 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Computer systems - Congresses. - Evaluation -
電子資源:	https://doi.org/10.1007/978-3-030-59854-9
ISBN:	9783030598549

Quantitative evaluation of systems = 17th 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 ;12289..

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

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

893300
Computer systems
--Evaluation--Congresses.

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

Dewey Class. No.: 004.24

Quantitative evaluation of systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings /
LDR:03517nmm a2200373 a 4500 001 2256916
003 DE-He213
005 20201102232109.0
006 m d
007 cr nn 008maaau
008 220420s2020 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 $a International Conference on the Quantitative Evaluation of Systems $n (17th : $d 2020 : $c Online) $3 3527629
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 893300
650 0 $a Computer networks $x Evaluation $v Congresses. $3 893011
650 0 $a Reliability (Engineering) $x Congresses. $3 658439
650 0 $a Stochastic processes $x Congresses. $3 664186
650 1 4 $a Theory of Computation. $3 892514
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 891214
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Probability and Statistics in Computer Science. $3 891072
650 2 4 $a Computer Communication Networks. $3 775497
650 2 4 $a Mathematics of Computing. $3 891213
700 1 $a Gribaudo, Marco. $3 2153157
700 1 $a Jansen, David N. $3 3527630
700 1 $a Remke, Anne. $3 2111599
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 12289. $3 3527631
830 0 $a Theoretical computer science and general issues. $3 3382501
856 4 0 $u https://doi.org/10.1007/978-3-030-59854-9
950 $a Computer Science (SpringerNature-11645)