Información del autor
Autor Remke, Anne |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsqueda17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings / Gribaudo, Marco ; Jansen, David N. ; Remke, Anne
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 [...]
TÃtulo : 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings Tipo de documento: documento electrónico Autores: Remke, Anne, ; Schiavoni, Valerio, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XII, 205 p. 104 ilustraciones, 48 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-50323-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: Red de computadoras IngenierÃa de software Computadoras Propósitos especiales Ordenadores Estructuras de datos (Informática) TeorÃa de la información Redes de comunicación informática Sistemas de propósito especial y basados ​​en aplicaciones Entornos informáticos Estructuras de datos y teorÃa de la información Clasificación: 004.6 Ciencia de los computadores (Interfaces y comunicaciones) Resumen: Este libro constituye las actas de la 20.ª Conferencia Internacional IFIP sobre Aplicaciones Distribuidas y Sistemas Interoperables, DAIS 2020, que se suponÃa que se celebrarÃa en La Valeta, Malta, en junio de 2020, como parte de la 15.ª Conferencia Federada Internacional sobre Técnicas de Computación Distribuida, DisCoTec. 2020. La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Los 10 artÃculos completos presentados junto con 1 artÃculo breve y 1 artÃculo invitado fueron cuidadosamente revisados ​​y seleccionados entre 17 presentaciones. Los artÃculos abordaron desafÃos en múltiples áreas de aplicaciones, como privacidad y seguridad, nube y sistemas, tolerancia a fallas y reproducibilidad, aprendizaje automático para sistemas y algoritmos distribuidos. Nota de contenido: Privacy and Security -- On the trade-offs of Combining Multiple Secure Processing Primitives for Data Analytics -- Capturing Privacy-preserving User Contexts with IndoorHash -- Cloud and Systems -- Towards Hypervisor Support for Enhancing the Performance of Virtual Machine Introspection -- Fed-DIC: Diagonally Interleaved Coding in a Federated Cloud Environment -- TailX: Scheduling Heterogeneous Multiget Queries to Improve Tail Latencies in Key-Value Stores -- Fault-tolerance and Reproducibility -- Towards a Polyglot Data Access Layer for a Low-Code Application Development Platform (Experience Report) -- A Comparison of Message Exchange Patterns in BFT Protocols (Experience Report) -- Kollaps/Thunderstorm: Reproducible Evaluation of Distributed Systems -- Machine Learning for Systems -- Self-Tunable DBMS Replication with Reinforcement Learning) -- DroidAutoML: A Microservice Architecture to Automate the Evaluation of Android Machine Learning Detection Systems -- Distributed Algorithms -- A Resource Usage Efficient Distributed Allocation Algorithm for 5G Service Function Chains -- A Stabilizing One-To-Many Node-Disjoint paths Routing Algorithm in Star Networks. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 20th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, which was supposed to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic. The 10 full papers presented together with 1 short paper and 1 invited paper were carefully reviewed and selected from 17 submissions. The papers addressed challenges in multiple application areas, such as privacy and security, cloud and systems, fault-tolerance and reproducibility, machine learning for systems, and distributed algorithms. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings [documento electrónico] / Remke, Anne, ; Schiavoni, Valerio, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 205 p. 104 ilustraciones, 48 ilustraciones en color.
ISBN : 978-3-030-50323-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: Red de computadoras IngenierÃa de software Computadoras Propósitos especiales Ordenadores Estructuras de datos (Informática) TeorÃa de la información Redes de comunicación informática Sistemas de propósito especial y basados ​​en aplicaciones Entornos informáticos Estructuras de datos y teorÃa de la información Clasificación: 004.6 Ciencia de los computadores (Interfaces y comunicaciones) Resumen: Este libro constituye las actas de la 20.ª Conferencia Internacional IFIP sobre Aplicaciones Distribuidas y Sistemas Interoperables, DAIS 2020, que se suponÃa que se celebrarÃa en La Valeta, Malta, en junio de 2020, como parte de la 15.ª Conferencia Federada Internacional sobre Técnicas de Computación Distribuida, DisCoTec. 2020. La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Los 10 artÃculos completos presentados junto con 1 artÃculo breve y 1 artÃculo invitado fueron cuidadosamente revisados ​​y seleccionados entre 17 presentaciones. Los artÃculos abordaron desafÃos en múltiples áreas de aplicaciones, como privacidad y seguridad, nube y sistemas, tolerancia a fallas y reproducibilidad, aprendizaje automático para sistemas y algoritmos distribuidos. Nota de contenido: Privacy and Security -- On the trade-offs of Combining Multiple Secure Processing Primitives for Data Analytics -- Capturing Privacy-preserving User Contexts with IndoorHash -- Cloud and Systems -- Towards Hypervisor Support for Enhancing the Performance of Virtual Machine Introspection -- Fed-DIC: Diagonally Interleaved Coding in a Federated Cloud Environment -- TailX: Scheduling Heterogeneous Multiget Queries to Improve Tail Latencies in Key-Value Stores -- Fault-tolerance and Reproducibility -- Towards a Polyglot Data Access Layer for a Low-Code Application Development Platform (Experience Report) -- A Comparison of Message Exchange Patterns in BFT Protocols (Experience Report) -- Kollaps/Thunderstorm: Reproducible Evaluation of Distributed Systems -- Machine Learning for Systems -- Self-Tunable DBMS Replication with Reinforcement Learning) -- DroidAutoML: A Microservice Architecture to Automate the Evaluation of Android Machine Learning Detection Systems -- Distributed Algorithms -- A Resource Usage Efficient Distributed Allocation Algorithm for 5G Service Function Chains -- A Stabilizing One-To-Many Node-Disjoint paths Routing Algorithm in Star Networks. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 20th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, which was supposed to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic. The 10 full papers presented together with 1 short paper and 1 invited paper were carefully reviewed and selected from 17 submissions. The papers addressed challenges in multiple application areas, such as privacy and security, cloud and systems, fault-tolerance and reproducibility, machine learning for systems, and distributed algorithms. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings Tipo de documento: documento electrónico Autores: Bakhshi, Rena, ; Ballarini, Paolo, ; Barbot, Benoît, ; Castel-Taleb, Hind, ; Remke, Anne, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XVI, 265 p. 92 ilustraciones ISBN/ISSN/DL: 978-3-030-02227-3 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: Computadoras digitales electrónicas Inteligencia artificial Algoritmos IngenierÃa de software Protección de datos Rendimiento y evaluación del sistema Seguridad de datos e información Clasificación: 004.24 Resumen: Este libro constituye las actas arbitradas del 15º Taller Europeo sobre IngenierÃa del Rendimiento Informático, EPEW 2018, celebrado en ParÃs, Francia, en octubre de 2018. Los 17 artÃculos presentados junto con los resúmenes de dos charlas invitadas en este volumen fueron cuidadosamente revisados ​​y seleccionados de 27 presentaciones. Los artÃculos presentados en el taller reflejan la diversidad de la ingenierÃa de rendimiento moderna, con temas que van desde avances en el ámbito de la ingenierÃa de rendimiento, incluidos modelos de confiabilidad y seguridad, verificación y prueba de modelos orientados al rendimiento, estudios de casos de sistemas de hardware y software, aplicaciones/extensiones de colas. TeorÃa y diseño de redes. Nota de contenido: Performance Evaluation Targeting Quality of Experience -- Mean Field Models for (Large-Scale) Load Balancing Systems -- On the Degradation of Distributed Graph Databases with Eventual Consistency -- To What Extent Does Performance Awareness Support Developers in Fixing Performance Bugs -- Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding -- Mean Value Analysis of Closed G-Networks with Signals -- Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions -- Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance -- Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification Approach -- Modeling Smart Buildings Using Fault Maintenance Trees -- Performance Impact of Misbehaving Voters -- Information Flow Security for Stochastic Models -- Towards Probabilistic Modeling and Analysis of Real-Time Systems -- An Ontology Framework for Generating Discrete-Event Stochastic Models -- A Mixed Strategy for a Competitive Game in Delay Tolerant Network -- Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming -- Modeling the Effect of Parallel Execution on Multi-site Computation Offloading in Mobile Cloud Computing -- An OpenFlow Controller Performance Evaluation Tool -- Product-form Queuing Networks with Batches. . Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 15th European Workshop on Computer Performance Engineering, EPEW 2018, held in Paris, France, in October 2018. The 17 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 27 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ranging from advances in performanceengineering realm, including, dependability and security modeling, performance oriented model verification and testing, hardware and software systems case-studies, applications/extensions of queuing theory and network design. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings [documento electrónico] / Bakhshi, Rena, ; Ballarini, Paolo, ; Barbot, Benoît, ; Castel-Taleb, Hind, ; Remke, Anne, . - 1 ed. . - [s.l.] : Springer, 2018 . - XVI, 265 p. 92 ilustraciones.
ISBN : 978-3-030-02227-3
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: Computadoras digitales electrónicas Inteligencia artificial Algoritmos IngenierÃa de software Protección de datos Rendimiento y evaluación del sistema Seguridad de datos e información Clasificación: 004.24 Resumen: Este libro constituye las actas arbitradas del 15º Taller Europeo sobre IngenierÃa del Rendimiento Informático, EPEW 2018, celebrado en ParÃs, Francia, en octubre de 2018. Los 17 artÃculos presentados junto con los resúmenes de dos charlas invitadas en este volumen fueron cuidadosamente revisados ​​y seleccionados de 27 presentaciones. Los artÃculos presentados en el taller reflejan la diversidad de la ingenierÃa de rendimiento moderna, con temas que van desde avances en el ámbito de la ingenierÃa de rendimiento, incluidos modelos de confiabilidad y seguridad, verificación y prueba de modelos orientados al rendimiento, estudios de casos de sistemas de hardware y software, aplicaciones/extensiones de colas. TeorÃa y diseño de redes. Nota de contenido: Performance Evaluation Targeting Quality of Experience -- Mean Field Models for (Large-Scale) Load Balancing Systems -- On the Degradation of Distributed Graph Databases with Eventual Consistency -- To What Extent Does Performance Awareness Support Developers in Fixing Performance Bugs -- Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding -- Mean Value Analysis of Closed G-Networks with Signals -- Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions -- Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance -- Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification Approach -- Modeling Smart Buildings Using Fault Maintenance Trees -- Performance Impact of Misbehaving Voters -- Information Flow Security for Stochastic Models -- Towards Probabilistic Modeling and Analysis of Real-Time Systems -- An Ontology Framework for Generating Discrete-Event Stochastic Models -- A Mixed Strategy for a Competitive Game in Delay Tolerant Network -- Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming -- Modeling the Effect of Parallel Execution on Multi-site Computation Offloading in Mobile Cloud Computing -- An OpenFlow Controller Performance Evaluation Tool -- Product-form Queuing Networks with Batches. . Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 15th European Workshop on Computer Performance Engineering, EPEW 2018, held in Paris, France, in October 2018. The 17 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 27 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ranging from advances in performanceengineering realm, including, dependability and security modeling, performance oriented model verification and testing, hardware and software systems case-studies, applications/extensions of queuing theory and network design. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
