| TÃtulo : |
17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Gribaudo, Marco, ; Jansen, David N., ; Remke, Anne, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2020 |
| Número de páginas: |
XI, 298 p. 97 ilustraciones, 44 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-59854-9 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Idioma : |
Inglés (eng) |
| Palabras clave: |
Ciencias de la Computación IngenierÃa de software Inteligencia artificial Informática Estadistica matematica Red de computadoras TeorÃa de la Computación Probabilidad y EstadÃstica en Informática Redes de comunicación informática Matemáticas de la Computación |
| Clasificación: |
40.151 |
| Resumen: |
Este libro constituye las actas de la 17.ª Conferencia Internacional sobre Sistemas de Evaluación Cuantitativa, QEST 2020, celebrada en Viena, Austria, en agosto/septiembre de 2020. Los 12 artÃculos completos presentados junto con 7 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados entre 42 presentaciones. Los artÃculos cubren temas tales como medidas clásicas que involucran desempeño y confiabilidad, cuantificación de propiedades que son clásicamente cualitativas, como seguridad, corrección y protección, asà como estudios analÃticos, diversidad en los formalismos modelo y metodologÃas empleadas, y el desarrollo de nuevos formalismos y metodologÃas. |
| Nota de contenido: |
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. . |
| Tipo de medio : |
Computadora |
| Summary : |
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. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings [documento electrónico] / Gribaudo, Marco, ; Jansen, David N., ; Remke, Anne, . - 1 ed. . - [s.l.] : Springer, 2020 . - XI, 298 p. 97 ilustraciones, 44 ilustraciones en color. ISBN : 978-3-030-59854-9 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés ( eng)
| Palabras clave: |
Ciencias de la Computación IngenierÃa de software Inteligencia artificial Informática Estadistica matematica Red de computadoras TeorÃa de la Computación Probabilidad y EstadÃstica en Informática Redes de comunicación informática Matemáticas de la Computación |
| Clasificación: |
40.151 |
| Resumen: |
Este libro constituye las actas de la 17.ª Conferencia Internacional sobre Sistemas de Evaluación Cuantitativa, QEST 2020, celebrada en Viena, Austria, en agosto/septiembre de 2020. Los 12 artÃculos completos presentados junto con 7 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados entre 42 presentaciones. Los artÃculos cubren temas tales como medidas clásicas que involucran desempeño y confiabilidad, cuantificación de propiedades que son clásicamente cualitativas, como seguridad, corrección y protección, asà como estudios analÃticos, diversidad en los formalismos modelo y metodologÃas empleadas, y el desarrollo de nuevos formalismos y metodologÃas. |
| Nota de contenido: |
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. . |
| Tipo de medio : |
Computadora |
| Summary : |
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. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsqueda16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings / Jansen, David N. ; Prabhakar, Pavithra
