Autor Remke, Anne
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia 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. 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 Índice Dewey: 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. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 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. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
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. 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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
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. 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 Índice Dewey: 004.24 Análisis de rendimiento 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. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 004.24 Análisis de rendimiento 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. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
