Información del autor
Autor Baier, Christel |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsquedaFormal Techniques for Distributed Objects, Components, and Systems / Baier, Christel ; Caires, LuÃs
TÃtulo : Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings Tipo de documento: documento electrónico Autores: Baier, Christel, ; Caires, LuÃs, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XI, 197 p. 2095 ilustraciones, 16 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-92612-4 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: IngenierÃa de software Sistemas operativos (computadoras) Compiladores (programas informáticos) Protección de datos Red de computadoras Sistemas informáticos Sistemas operativos Compiladores e intérpretes Seguridad de datos e información Redes de comunicación informática Implementación de sistema informático Clasificación: 005.1 Resumen: Este libro constituye las actas de la 38.ª Conferencia Internacional IFIP WG 6.1 sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos, FORTE 2018, celebrada en Madrid, España, en junio de 2018, como parte de la 13.ª Conferencia Federada Internacional sobre Técnicas de Computación Distribuida. , DisCoTec 2018. Los 10 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 28 presentaciones. La conferencia está dedicada a la investigación fundamental sobre teorÃa, modelos, herramientas y aplicaciones para sistemas distribuidos. Nota de contenido: Component- and Model-Based Design.-Object Technology -- Service-Oriented Computing Systems -- Mobile Computing Systems -- Security -- Privacy -- Adaptive Distributed Systems -- Self-Stabilization -- Self-Healing -- Verification -- Formal Analysis. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings [documento electrónico] / Baier, Christel, ; Caires, LuÃs, . - 1 ed. . - [s.l.] : Springer, 2018 . - XI, 197 p. 2095 ilustraciones, 16 ilustraciones en color.
ISBN : 978-3-319-92612-4
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: IngenierÃa de software Sistemas operativos (computadoras) Compiladores (programas informáticos) Protección de datos Red de computadoras Sistemas informáticos Sistemas operativos Compiladores e intérpretes Seguridad de datos e información Redes de comunicación informática Implementación de sistema informático Clasificación: 005.1 Resumen: Este libro constituye las actas de la 38.ª Conferencia Internacional IFIP WG 6.1 sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos, FORTE 2018, celebrada en Madrid, España, en junio de 2018, como parte de la 13.ª Conferencia Federada Internacional sobre Técnicas de Computación Distribuida. , DisCoTec 2018. Los 10 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 28 presentaciones. La conferencia está dedicada a la investigación fundamental sobre teorÃa, modelos, herramientas y aplicaciones para sistemas distribuidos. Nota de contenido: Component- and Model-Based Design.-Object Technology -- Service-Oriented Computing Systems -- Mobile Computing Systems -- Security -- Privacy -- Adaptive Distributed Systems -- Self-Stabilization -- Self-Healing -- Verification -- Formal Analysis. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / Tipo de documento: documento electrónico Autores: Baier, Christel, ; Dal Lago, Ugo, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XV, 583 p. 75 ilustraciones ISBN/ISSN/DL: 978-3-319-89366-2 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 Computadoras digitales electrónicas Ordenadores Profesiones Informática Matemáticas discretas Lógica informática y fundamentos de la programación. Rendimiento y evaluación del sistema La profesión informática Matemáticas discretas en informática Clasificación: 40.151 Resumen: Este libro es de Acceso Abierto bajo licencia CC BY. Nota de contenido: Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata. Tipo de medio : Computadora Summary : This book is Open Access under a CC BY licence. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / [documento electrónico] / Baier, Christel, ; Dal Lago, Ugo, . - 1 ed. . - [s.l.] : Springer, 2018 . - XV, 583 p. 75 ilustraciones.
ISBN : 978-3-319-89366-2
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 Computadoras digitales electrónicas Ordenadores Profesiones Informática Matemáticas discretas Lógica informática y fundamentos de la programación. Rendimiento y evaluación del sistema La profesión informática Matemáticas discretas en informática Clasificación: 40.151 Resumen: Este libro es de Acceso Abierto bajo licencia CC BY. Nota de contenido: Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata. Tipo de medio : Computadora Summary : This book is Open Access under a CC BY licence. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings Tipo de documento: documento electrónico Autores: Steffen, Bernhard, ; Baier, Christel, ; van den Brand, Mark, ; Eder, Johann, ; Hinchey, Mike, ; Margaria, Tiziana, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVIII, 526 p. 109 ilustraciones ISBN/ISSN/DL: 978-3-319-51963-0 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: Algoritmos Sistemas de almacenamiento y recuperación de información. Software de la aplicacion IngenierÃa de software Red de computadoras Inteligencia artificial Almacenamiento y recuperación de información Aplicaciones informáticas y de sistemas de información Redes de comunicación informática Clasificación: 518.1 Resumen: Este libro constituye las actas arbitradas de la 43.ª Conferencia Internacional sobre Tendencias Actuales en TeorÃa y Práctica de las Ciencias de la Computación, SOFSEM 2017, celebrada en Limerick, Irlanda, en enero de 2017. Los 34 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 41 presentaciones. . Estaban organizados en secciones temáticas denominadas: fundamentos de la informática; semántica, especificación y composicionalidad; teorÃa de sistemas móviles y distribuidos; verificación y análisis de sistemas automatizados; redes de Petri, juegos y estructuras de datos relajadas; teorÃa de grafos y algoritmos de programación; algoritmos cuánticos y matriciales; gráficos planos y moleculares; cubiertas para colorear y vértices; algoritmos para cadenas y lenguajes formales; ingenierÃa de datos, información y conocimiento; e ingenierÃa de software: métodos, herramientas, aplicaciones. Nota de contenido: Dependable and Optimal Cyber-Physical Systems -- Verifying Parametric Thread Creation -- Network Constructors: A Model for Programmable Matter -- Logical characterisations and compositionality of input-output conformance simulation -- A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories -- Symbolic semantics for multiparty interactions in the link-calculus -- Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs -- Deciding structural liveness of Petri nets -- Distributed Network Generation based on Preferential Attachment in ABS -- Completeness of Hoare Logic Relative to the Standard Model -- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict -- Hardness of deriving invertible sequences from finite state machines -- A Graph-theoretical Characterisation of State Separation -- Selfish Transportation Games -- Decomposable Relaxation for Concurrent Data Structures -- Sufficient Conditions for a Connected Graph to have a Hamiltonian Path -- Enumerating Minimal Tropical Connected Sets -- Bamboo Garden Trimming Problem (Perpetual maintenance of machines with different attendance urgency factors) -- Exact quantum query complexity of EXACT_{k,l}^n -- Adjacent vertices can be hard to find by quantum walks -- Matrix semigroup freeness problems in SL(2,Z) -- Order-preserving 1-string representations of planar graphs -- How to Draw a Planarization -- Finding Largest Common Substructures of Molecules in Quadratic Time -- Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints -- Parameterized and Exact Algorithms for Class Domination Coloring -- The Approximability of Partial Vertex Covers in Trees -- Longest Common Subsequence in at Least k Length Order-isomorphic Substrings -- Computing longest single-arm-gapped palindromes in a string -- Edit-Distance between Visibly Pushdown Languages -- Trends and Challenges in Predictive Analytics -- Model-driven Development in Practice: From Requirements to Code -- Webpage Menu Detection Based on DOM -- A Hybrid Model for Linking Multiple Social Identities across Heterogeneous Online Social Networks -- Eco Data Warehouse Design Through Logical Variability -- On Featured Transition Systems -- Domain-Specific Languages: A Systematic Mapping Study -- Characterising Malicious Software with High-Level Behavioural Patterns -- AErlang at work -- Software Systems Migration towards Cloud-native Architectures for SME-sized Software Vendors -- Using n-grams for the Automated Clustering of Structural Models. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings [documento electrónico] / Steffen, Bernhard, ; Baier, Christel, ; van den Brand, Mark, ; Eder, Johann, ; Hinchey, Mike, ; Margaria, Tiziana, . - 1 ed. . - [s.l.] : Springer, 2017 . - XVIII, 526 p. 109 ilustraciones.
ISBN : 978-3-319-51963-0
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: Algoritmos Sistemas de almacenamiento y recuperación de información. Software de la aplicacion IngenierÃa de software Red de computadoras Inteligencia artificial Almacenamiento y recuperación de información Aplicaciones informáticas y de sistemas de información Redes de comunicación informática Clasificación: 518.1 Resumen: Este libro constituye las actas arbitradas de la 43.ª Conferencia Internacional sobre Tendencias Actuales en TeorÃa y Práctica de las Ciencias de la Computación, SOFSEM 2017, celebrada en Limerick, Irlanda, en enero de 2017. Los 34 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 41 presentaciones. . Estaban organizados en secciones temáticas denominadas: fundamentos de la informática; semántica, especificación y composicionalidad; teorÃa de sistemas móviles y distribuidos; verificación y análisis de sistemas automatizados; redes de Petri, juegos y estructuras de datos relajadas; teorÃa de grafos y algoritmos de programación; algoritmos cuánticos y matriciales; gráficos planos y moleculares; cubiertas para colorear y vértices; algoritmos para cadenas y lenguajes formales; ingenierÃa de datos, información y conocimiento; e ingenierÃa de software: métodos, herramientas, aplicaciones. Nota de contenido: Dependable and Optimal Cyber-Physical Systems -- Verifying Parametric Thread Creation -- Network Constructors: A Model for Programmable Matter -- Logical characterisations and compositionality of input-output conformance simulation -- A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories -- Symbolic semantics for multiparty interactions in the link-calculus -- Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs -- Deciding structural liveness of Petri nets -- Distributed Network Generation based on Preferential Attachment in ABS -- Completeness of Hoare Logic Relative to the Standard Model -- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict -- Hardness of deriving invertible sequences from finite state machines -- A Graph-theoretical Characterisation of State Separation -- Selfish Transportation Games -- Decomposable Relaxation for Concurrent Data Structures -- Sufficient Conditions for a Connected Graph to have a Hamiltonian Path -- Enumerating Minimal Tropical Connected Sets -- Bamboo Garden Trimming Problem (Perpetual maintenance of machines with different attendance urgency factors) -- Exact quantum query complexity of EXACT_{k,l}^n -- Adjacent vertices can be hard to find by quantum walks -- Matrix semigroup freeness problems in SL(2,Z) -- Order-preserving 1-string representations of planar graphs -- How to Draw a Planarization -- Finding Largest Common Substructures of Molecules in Quadratic Time -- Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints -- Parameterized and Exact Algorithms for Class Domination Coloring -- The Approximability of Partial Vertex Covers in Trees -- Longest Common Subsequence in at Least k Length Order-isomorphic Substrings -- Computing longest single-arm-gapped palindromes in a string -- Edit-Distance between Visibly Pushdown Languages -- Trends and Challenges in Predictive Analytics -- Model-driven Development in Practice: From Requirements to Code -- Webpage Menu Detection Based on DOM -- A Hybrid Model for Linking Multiple Social Identities across Heterogeneous Online Social Networks -- Eco Data Warehouse Design Through Logical Variability -- On Featured Transition Systems -- Domain-Specific Languages: A Systematic Mapping Study -- Characterising Malicious Software with High-Level Behavioural Patterns -- AErlang at work -- Software Systems Migration towards Cloud-native Architectures for SME-sized Software Vendors -- Using n-grams for the Automated Clustering of Structural Models. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
