39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / Pérez, Jorge A. ; Yoshida, Nobuko  

Público ISBD Ningún comentario para este registro. Título : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings Tipo de documento: documento electrónico Autores: Pérez, Jorge A., ; Yoshida, Nobuko, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIV, 299 p. 1287 ilustraciones, 38 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-21759-4 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: Ingeniería de software  Compiladores (programas informáticos)  Computadoras digitales electrónicas  Ciencias de la Computación  Ordenadores  Profesiones  Compiladores e intérpretes  Rendimiento y evaluación del sistema  Lógica informática y fundamentos de la programación  La profesión informática Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas de la 39.a Conferencia Internacional IFIP WG 6.1 sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos, FORTE 2019, celebrada en Copenhague, Dinamarca, en junio de 2019, como parte de la 14.a Conferencia Federada Internacional sobre Técnicas de Computación Distribuida. , DisCoTec 2019. Los 15 artículos completos y 3 artículos breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 42 presentaciones. La conferencia está dedicada a la investigación fundamental sobre teoría, modelos, herramientas y aplicaciones para sistemas distribuidos. Nota de contenido: Psi-Calculi Revisited: Connectivity and Compositionality -- Squeezing Streams and Composition of Self-Stabilizing Algorithms -- Parametric Updates in Parametric Timed Automata -- Parametric Statistical Model Checking of UAV Flight plan -- Only Connect, Securely -- Output-sensitive Information Flow Analysis -- Component-aware Input-Output Conformance -- Declarative Choreographies and Liveness -- Model checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes -- Causal-Consistent Replay Debugging for Message Passing Programs -- Correct and Efficient Antichain Algorithms for Refinement Checking -- Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification -- Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs -- Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework -- Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems -- On Certifying DistributedAlgorithms: Problem of Local Correctness -- On a Higher-order Calculus of Computational Fields -- Semantically Sound Analysis of Content Security Policies. . 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 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings [documento electrónico] / Pérez, Jorge A., ; Yoshida, Nobuko,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XIV, 299 p. 1287 ilustraciones, 38 ilustraciones en color. ISBN : 978-3-030-21759-4 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software  Compiladores (programas informáticos)  Computadoras digitales electrónicas  Ciencias de la Computación  Ordenadores  Profesiones  Compiladores e intérpretes  Rendimiento y evaluación del sistema  Lógica informática y fundamentos de la programación  La profesión informática Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas de la 39.a Conferencia Internacional IFIP WG 6.1 sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos, FORTE 2019, celebrada en Copenhague, Dinamarca, en junio de 2019, como parte de la 14.a Conferencia Federada Internacional sobre Técnicas de Computación Distribuida. , DisCoTec 2019. Los 15 artículos completos y 3 artículos breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 42 presentaciones. La conferencia está dedicada a la investigación fundamental sobre teoría, modelos, herramientas y aplicaciones para sistemas distribuidos. Nota de contenido: Psi-Calculi Revisited: Connectivity and Compositionality -- Squeezing Streams and Composition of Self-Stabilizing Algorithms -- Parametric Updates in Parametric Timed Automata -- Parametric Statistical Model Checking of UAV Flight plan -- Only Connect, Securely -- Output-sensitive Information Flow Analysis -- Component-aware Input-Output Conformance -- Declarative Choreographies and Liveness -- Model checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes -- Causal-Consistent Replay Debugging for Message Passing Programs -- Correct and Efficient Antichain Algorithms for Refinement Checking -- Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification -- Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs -- Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework -- Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems -- On Certifying DistributedAlgorithms: Problem of Local Correctness -- On a Higher-order Calculus of Computational Fields -- Semantically Sound Analysis of Content Security Policies. . 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

---

1 (1 - 1 / 1) Par page : 25 50 100 200