Autor Kordon, Fabrice
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers / Zhang, Lin ; Ren, Lei ; Kordon, Fabrice
TÃtulo : 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers Tipo de documento: documento electrónico Autores: Zhang, Lin, ; Ren, Lei, ; Kordon, Fabrice, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: VIII, 209 p. 121 ilustraciones ISBN/ISSN/DL: 978-3-319-61994-1 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 Inteligencia artificial Red de computadoras Computadoras digitales electrónicas Computadoras Propósitos especiales Algoritmos Redes de comunicación informática Rendimiento y evaluación del sistema Sistemas de propósito especial y basados ​​en aplicaciones Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro presenta las actas posteriores al taller, exhaustivamente revisadas y revisadas, del 19º Taller de Monterey, celebrado en Beijing, China, en octubre de 2016. El taller exploró los desafÃos asociados con el desarrollo, la operación y la gestión de sistemas de TI complejos a gran escala. Los 18 artÃculos completos revisados ​​presentados se ampliaron y mejoraron significativamente gracias a los conocimientos adquiridos en las productivas y animadas discusiones del taller y a la retroalimentación de las revisiones por pares posteriores al taller. 2016 marca el 23.º aniversario de la serie de Talleres de Monterey que comenzó en 1993. Durante casi un cuarto de siglo, los Talleres de Monterey se han establecido como un importante foro internacional para fomentar, entre la academia, la industria y las agencias gubernamentales, la discusión y el intercambio de ideas. , resultados de investigación y experiencia en el desarrollo de sistemas intensivos en software, y han avanzado significativamente en el campo. La comunidad de participantes del taller ha crecido hasta convertirse en una fuente influyente de ideas e innovaciones y su impacto en la economÃa del conocimiento se ha sentido en todo el mundo. Nota de contenido: A Hybrid M&S Methodology for Knowledge Discovery -- A Model-driven Visualization System Based on DVDL -- A Practical Energy Modeling Method for Industrial -- An Optimization Method for User Interface Components Based on Big Data -- Clustering-based Data Aggregation and Routing for Real-time Wireless HART Communication -- Constrained Semantic Grammar Enabled Question Answering System0.3 -- Information Composition Analysis and Adaptation Access of CNC Lathes in Cloud Manufacturing -- Interactive Animation Editing Based on Sketch Interaction -- Manufacturing Service Reconfiguration Optimization using Hybrid Bees Algorithm in Cloud Manufacturing -- Mobile Phone-based tourist Spatial-Temporal Behavior Record and Analysis System -- Multi-Source Information Intelligent Collection and Monitoring of CNC Machine Tools Based on Multi-Agent Ontology Management and Ontology Reuse in Web Environment -- Research on the shortest path of two places in urban based on improved ant colony algorithm -- RUL Prediction of Bearings based on Mixture of Gaussians Bayesian Belief Network and Support Vector Data Description -- Social Recommendation Terms:Probabilistic Explanation and Optimization -- Towards a Holistic Method for Business Process - Traffic Flow Prediction with improved SOPIO-SVR algorithm -- Workshop Multi-source Information IntelliSense Method based on IPv6 Intelligent Terminal. 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 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers [documento electrónico] / Zhang, Lin, ; Ren, Lei, ; Kordon, Fabrice, . - 1 ed. . - [s.l.] : Springer, 2017 . - VIII, 209 p. 121 ilustraciones.
ISBN : 978-3-319-61994-1
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 Inteligencia artificial Red de computadoras Computadoras digitales electrónicas Computadoras Propósitos especiales Algoritmos Redes de comunicación informática Rendimiento y evaluación del sistema Sistemas de propósito especial y basados ​​en aplicaciones Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro presenta las actas posteriores al taller, exhaustivamente revisadas y revisadas, del 19º Taller de Monterey, celebrado en Beijing, China, en octubre de 2016. El taller exploró los desafÃos asociados con el desarrollo, la operación y la gestión de sistemas de TI complejos a gran escala. Los 18 artÃculos completos revisados ​​presentados se ampliaron y mejoraron significativamente gracias a los conocimientos adquiridos en las productivas y animadas discusiones del taller y a la retroalimentación de las revisiones por pares posteriores al taller. 2016 marca el 23.º aniversario de la serie de Talleres de Monterey que comenzó en 1993. Durante casi un cuarto de siglo, los Talleres de Monterey se han establecido como un importante foro internacional para fomentar, entre la academia, la industria y las agencias gubernamentales, la discusión y el intercambio de ideas. , resultados de investigación y experiencia en el desarrollo de sistemas intensivos en software, y han avanzado significativamente en el campo. La comunidad de participantes del taller ha crecido hasta convertirse en una fuente influyente de ideas e innovaciones y su impacto en la economÃa del conocimiento se ha sentido en todo el mundo. Nota de contenido: A Hybrid M&S Methodology for Knowledge Discovery -- A Model-driven Visualization System Based on DVDL -- A Practical Energy Modeling Method for Industrial -- An Optimization Method for User Interface Components Based on Big Data -- Clustering-based Data Aggregation and Routing for Real-time Wireless HART Communication -- Constrained Semantic Grammar Enabled Question Answering System0.3 -- Information Composition Analysis and Adaptation Access of CNC Lathes in Cloud Manufacturing -- Interactive Animation Editing Based on Sketch Interaction -- Manufacturing Service Reconfiguration Optimization using Hybrid Bees Algorithm in Cloud Manufacturing -- Mobile Phone-based tourist Spatial-Temporal Behavior Record and Analysis System -- Multi-Source Information Intelligent Collection and Monitoring of CNC Machine Tools Based on Multi-Agent Ontology Management and Ontology Reuse in Web Environment -- Research on the shortest path of two places in urban based on improved ant colony algorithm -- RUL Prediction of Bearings based on Mixture of Gaussians Bayesian Belief Network and Support Vector Data Description -- Social Recommendation Terms:Probabilistic Explanation and Optimization -- Towards a Holistic Method for Business Process - Traffic Flow Prediction with improved SOPIO-SVR algorithm -- Workshop Multi-source Information IntelliSense Method based on IPv6 Intelligent Terminal. 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 : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III Tipo de documento: documento electrónico Autores: Beyer, Dirk, ; Huisman, Marieke, ; Kordon, Fabrice, ; Steffen, Bernhard, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXVII, 258 p. 449 ilustraciones, 25 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-17502-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: Ciencias de la Computación IngenierÃa de software TeorÃa de las máquinas Ordenadores Profesiones Computadoras digitales electrónicas Simulación por ordenador Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas La profesión informática Rendimiento y evaluación del sistema Modelado por computadora Ãndice Dewey: 40.151 Resumen: Este libro es de Acceso Abierto bajo licencia CC BY. . Nota de contenido: TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution). 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 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III [documento electrónico] / Beyer, Dirk, ; Huisman, Marieke, ; Kordon, Fabrice, ; Steffen, Bernhard, . - 1 ed. . - [s.l.] : Springer, 2019 . - XXVII, 258 p. 449 ilustraciones, 25 ilustraciones en color.
ISBN : 978-3-030-17502-3
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 TeorÃa de las máquinas Ordenadores Profesiones Computadoras digitales electrónicas Simulación por ordenador Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas La profesión informática Rendimiento y evaluación del sistema Modelado por computadora Ãndice Dewey: 40.151 Resumen: Este libro es de Acceso Abierto bajo licencia CC BY. . Nota de contenido: TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution). 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 : Transactions on Petri Nets and Other Models of Concurrency XV Tipo de documento: documento electrónico Autores: Koutny, Maciej, ; Kordon, Fabrice, ; Pomello, Lucia, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2021 Número de páginas: XVII, 185 p. 91 ilustraciones, 48 ilustraciones en color. ISBN/ISSN/DL: 978-3-662-63079-2 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 Estructuras de datos (Informática) TeorÃa de la información Informática Matemáticas discretas IngenierÃa de software IngenierÃa Informática Red de computadoras TeorÃa de la Computación Estructuras de datos y teorÃa de la información Matemáticas discretas en informática IngenierÃa Informática y Redes Ãndice Dewey: 40.151 Resumen: Estas Transacciones publican artÃculos de archivo en el área amplia de las redes de Petri y otros modelos de concurrencia, que van desde trabajos teóricos hasta soporte de herramientas y aplicaciones industriales. Los números de ToPNoC se publican como volúmenes LNCS y, por lo tanto, están ampliamente distribuidos e indexados. Esta Revista cuenta con su propio Consejo Editorial que selecciona los artÃculos basándose en un riguroso proceso de arbitraje en dos etapas. ToPNoC contiene: Versiones revisadas de una selección de los mejores artÃculos de talleres y tutoriales en las conferencias anuales de Petri Net. Secciones/temas especiales dentro de subáreas particulares (similares a los publicados en la serie Avances en Petri Nets). Otros artÃculos invitados para publicación en ToPNoC Papers. enviado directamente a ToPNoC por sus autores El volumen 15 de ToPNoC contiene versiones revisadas y ampliadas de una selección de los mejores talleres y artÃculos tutoriales presentados en la 40.a Conferencia Internacional sobre Aplicación y TeorÃa de las Redes de Petri y la Concurrencia, Petri Nets 2019 y la 19.a Conferencia internacional sobre la aplicación de la concurrencia al diseño de sistemas, ACSD 2019. Los artÃculos cubren una amplia gama de temas que incluyen verificación de modelos y verificación, refinamiento y sÃntesis de sistemas; trabajo fundamental sobre clases especÃficas de redes de Petri; y aplicaciones innovadoras de redes de Petri y otros modelos de concurrencia. Las áreas de aplicación cubiertas en este volumen son: minerÃa de procesos, verificación, semántica formal, protocolos de comunicación, procesos comerciales, sistemas distribuidos y sÃntesis de red. Por lo tanto, este volumen ofrece una buena visión general de la investigación en curso sobre sistemas concurrentes y redes de Petri. Nota de contenido: A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement -- Extensible Structural Analysis of Petri Net Product Lines -- Stability of Regional Orthomodular Posets under Synchronisation and Refinement -- Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond -- The Complexity of Synthesizing nop-Equipped Boolean Petri Nets from g-Bounded Inputs -- A Two-Player Asynchronous Game on Fully Observable Petri Nets -- Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach -- Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. 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 Transactions on Petri Nets and Other Models of Concurrency XV [documento electrónico] / Koutny, Maciej, ; Kordon, Fabrice, ; Pomello, Lucia, . - 1 ed. . - Berlin [Alemania] : Springer, 2021 . - XVII, 185 p. 91 ilustraciones, 48 ilustraciones en color.
ISBN : 978-3-662-63079-2
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 Estructuras de datos (Informática) TeorÃa de la información Informática Matemáticas discretas IngenierÃa de software IngenierÃa Informática Red de computadoras TeorÃa de la Computación Estructuras de datos y teorÃa de la información Matemáticas discretas en informática IngenierÃa Informática y Redes Ãndice Dewey: 40.151 Resumen: Estas Transacciones publican artÃculos de archivo en el área amplia de las redes de Petri y otros modelos de concurrencia, que van desde trabajos teóricos hasta soporte de herramientas y aplicaciones industriales. Los números de ToPNoC se publican como volúmenes LNCS y, por lo tanto, están ampliamente distribuidos e indexados. Esta Revista cuenta con su propio Consejo Editorial que selecciona los artÃculos basándose en un riguroso proceso de arbitraje en dos etapas. ToPNoC contiene: Versiones revisadas de una selección de los mejores artÃculos de talleres y tutoriales en las conferencias anuales de Petri Net. Secciones/temas especiales dentro de subáreas particulares (similares a los publicados en la serie Avances en Petri Nets). Otros artÃculos invitados para publicación en ToPNoC Papers. enviado directamente a ToPNoC por sus autores El volumen 15 de ToPNoC contiene versiones revisadas y ampliadas de una selección de los mejores talleres y artÃculos tutoriales presentados en la 40.a Conferencia Internacional sobre Aplicación y TeorÃa de las Redes de Petri y la Concurrencia, Petri Nets 2019 y la 19.a Conferencia internacional sobre la aplicación de la concurrencia al diseño de sistemas, ACSD 2019. Los artÃculos cubren una amplia gama de temas que incluyen verificación de modelos y verificación, refinamiento y sÃntesis de sistemas; trabajo fundamental sobre clases especÃficas de redes de Petri; y aplicaciones innovadoras de redes de Petri y otros modelos de concurrencia. Las áreas de aplicación cubiertas en este volumen son: minerÃa de procesos, verificación, semántica formal, protocolos de comunicación, procesos comerciales, sistemas distribuidos y sÃntesis de red. Por lo tanto, este volumen ofrece una buena visión general de la investigación en curso sobre sistemas concurrentes y redes de Petri. Nota de contenido: A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement -- Extensible Structural Analysis of Petri Net Product Lines -- Stability of Regional Orthomodular Posets under Synchronisation and Refinement -- Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond -- The Complexity of Synthesizing nop-Equipped Boolean Petri Nets from g-Bounded Inputs -- A Two-Player Asynchronous Game on Fully Observable Petri Nets -- Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach -- Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. 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
