Provably Correct Systems / Hinchey, Mike ; Bowen, Jonathan P. ; Olderog, Ernst-Rüdiger  

Público ISBD Ningún comentario para este registro. Título : Provably Correct Systems Tipo de documento: documento electrónico Autores: Hinchey, Mike, ; Bowen, Jonathan P., ; Olderog, Ernst-Rüdiger, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XV, 328 p. 84 ilustraciones, 48 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-48628-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: Teoría de las máquinas  Ciencias de la Computación  Programación de computadoras  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación.  Modelos de Computación  Técnicas de programación Clasificación: 5.131 Resumen: A medida que las computadoras controlan cada vez más los sistemas y servicios de los que dependemos en nuestra vida diaria, como el transporte, las comunicaciones y los medios, garantizar que estos sistemas funcionen correctamente es de suma importancia. Este libro consta de doce capítulos y un relato histórico que se presentaron en un taller celebrado en Londres en 2015, con motivo del 25.º aniversario del proyecto europeo de investigación básica ESPRIT ''ProCoS'' (Provably Correct Systems). Los proyectos ProCoS I y II fueron pioneros y aceleraron la automatización de técnicas de verificación, lo que dio como resultado una amplia gama de aplicaciones en muchos oficios y sectores como el aeroespacial, la electrónica, las comunicaciones y el comercio minorista. Se tratan los siguientes temas: Un relato histórico del proyecto ProCoS Sistemas híbridos Corrección de interfaces de algoritmos concurrentes y vinculación Verificación automática Afirmaciones en tiempo de ejecución Verificación de métodos formales y semiformales Nota de contenido: Foreword -- Preface -- Part I: Historic Account -- ProCoS: How It All Began – As Seen from Denmark -- Part II: Hybrid Systems -- Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems -- MARS: A Tool chain for Modelling, Analysis and Verification of Hybrid Systems -- Part III: Correctness of Concurrent Algorithms -- A Proof Method for Linearizability on TSO Architectures -- Part IV: Interfaces and Linking -- Linking Discrete and Continuous Models, Applied to Traffic Manoeuvres -- Towards Interface-Driven Design of Evolving Component-Based Architectures -- Part V: Automatic Verification -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal, Executable x86 ISA Simulator for Software Verification -- Advances in Connection-Based Automated Theorem Proving -- Part VI: Run-Time Assertion Checking -- Run-Time Deadlock Detection -- In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design -- Part VII: Formal and Semi-Formal Methods -- From ProCoS to Space and Mental Models – a Survey of Combing Formal and Semi-Formal Methods -- Part VIII: Web-Supported Communities in Science -- Provably Correct Systems: Community, Connections and Citations. Tipo de medio : Computadora Summary : As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail. The following topics are covered: An historical account of the ProCoS project Hybrid Systems Correctness of Concurrent Algorithms Interfaces and Linking Automatic Verification Run-time Assertions Checking Formal and Semi-Formal Methods <web-supported scientific="" communities Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Provably Correct Systems [documento electrónico] / Hinchey, Mike, ; Bowen, Jonathan P., ; Olderog, Ernst-Rüdiger,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XV, 328 p. 84 ilustraciones, 48 ilustraciones en color. ISBN : 978-3-319-48628-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: Teoría de las máquinas  Ciencias de la Computación  Programación de computadoras  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación.  Modelos de Computación  Técnicas de programación Clasificación: 5.131 Resumen: A medida que las computadoras controlan cada vez más los sistemas y servicios de los que dependemos en nuestra vida diaria, como el transporte, las comunicaciones y los medios, garantizar que estos sistemas funcionen correctamente es de suma importancia. Este libro consta de doce capítulos y un relato histórico que se presentaron en un taller celebrado en Londres en 2015, con motivo del 25.º aniversario del proyecto europeo de investigación básica ESPRIT ''ProCoS'' (Provably Correct Systems). Los proyectos ProCoS I y II fueron pioneros y aceleraron la automatización de técnicas de verificación, lo que dio como resultado una amplia gama de aplicaciones en muchos oficios y sectores como el aeroespacial, la electrónica, las comunicaciones y el comercio minorista. Se tratan los siguientes temas: Un relato histórico del proyecto ProCoS Sistemas híbridos Corrección de interfaces de algoritmos concurrentes y vinculación Verificación automática Afirmaciones en tiempo de ejecución Verificación de métodos formales y semiformales Nota de contenido: Foreword -- Preface -- Part I: Historic Account -- ProCoS: How It All Began – As Seen from Denmark -- Part II: Hybrid Systems -- Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems -- MARS: A Tool chain for Modelling, Analysis and Verification of Hybrid Systems -- Part III: Correctness of Concurrent Algorithms -- A Proof Method for Linearizability on TSO Architectures -- Part IV: Interfaces and Linking -- Linking Discrete and Continuous Models, Applied to Traffic Manoeuvres -- Towards Interface-Driven Design of Evolving Component-Based Architectures -- Part V: Automatic Verification -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal, Executable x86 ISA Simulator for Software Verification -- Advances in Connection-Based Automated Theorem Proving -- Part VI: Run-Time Assertion Checking -- Run-Time Deadlock Detection -- In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design -- Part VII: Formal and Semi-Formal Methods -- From ProCoS to Space and Mental Models – a Survey of Combing Formal and Semi-Formal Methods -- Part VIII: Web-Supported Communities in Science -- Provably Correct Systems: Community, Connections and Citations. Tipo de medio : Computadora Summary : As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail. The following topics are covered: An historical account of the ProCoS project Hybrid Systems Correctness of Concurrent Algorithms Interfaces and Linking Automatic Verification Run-time Assertions Checking Formal and Semi-Formal Methods <web-supported scientific="" communities Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

SOFSEM 2017: Theory and Practice of Computer Science / Steffen, Bernhard ; Baier, Christel ; van den Brand, Mark ; Eder, Johann ; Hinchey, Mike ; Margaria, Tiziana  

Público ISBD Ningún comentario para este registro. 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 [...]

---

1 (1 - 2 / 2) Ver por página : 25 50 100 200