Información del autor
Autor Tian, Cong |
Documentos disponibles escritos por este autor (5)
Crear una solicitud de compra Refinar búsqueda25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings / Du, Ding-Zhu ; Duan, Zhenhua ; Tian, Cong
TÃtulo : 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings Tipo de documento: documento electrónico Autores: Du, Ding-Zhu, ; Duan, Zhenhua, ; Tian, Cong, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIII, 678 p. 493 ilustraciones, 35 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-26176-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: Algoritmos Informática Matemáticas discretas Inteligencia artificial Análisis numérico Gráficos de computadora Matemáticas discretas en informática Ciencia de los datos Clasificación: Resumen: Este libro constituye las actas de la 25.ª Conferencia Internacional sobre Computación y Combinatoria, COCOON 2019, celebrada en Xi''an, China, en julio de 2019. Los 55 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 124 presentaciones. Los artÃculos cubren varios temas, incluido el diseño de algoritmos, algoritmo de aproximación, teorÃa de grafos, teorÃa de la complejidad, resolución de problemas, optimización, biologÃa computacional, aprendizaje computacional, redes de comunicación, lógica y teorÃa de juegos. Nota de contenido: Algorithm design -- Approximation algorithm -- Graph theory -- Complexity theory -- Problem solving -- Optimization -- Computational biology -- Computational learning -- Communication network -- Logic -- Game theory. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings [documento electrónico] / Du, Ding-Zhu, ; Duan, Zhenhua, ; Tian, Cong, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIII, 678 p. 493 ilustraciones, 35 ilustraciones en color.
ISBN : 978-3-030-26176-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Algoritmos Informática Matemáticas discretas Inteligencia artificial Análisis numérico Gráficos de computadora Matemáticas discretas en informática Ciencia de los datos Clasificación: Resumen: Este libro constituye las actas de la 25.ª Conferencia Internacional sobre Computación y Combinatoria, COCOON 2019, celebrada en Xi''an, China, en julio de 2019. Los 55 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 124 presentaciones. Los artÃculos cubren varios temas, incluido el diseño de algoritmos, algoritmo de aproximación, teorÃa de grafos, teorÃa de la complejidad, resolución de problemas, optimización, biologÃa computacional, aprendizaje computacional, redes de comunicación, lógica y teorÃa de juegos. Nota de contenido: Algorithm design -- Approximation algorithm -- Graph theory -- Complexity theory -- Problem solving -- Optimization -- Computational biology -- Computational learning -- Communication network -- Logic -- Game theory. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers Tipo de documento: documento electrónico Autores: Liu, Shaoying, ; Duan, Zhenhua, ; Tian, Cong, ; Nagoya, Fumiko, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: X, 239 p. 71 ilustraciones ISBN/ISSN/DL: 978-3-319-57708-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 Ciencias de la Computación Inteligencia artificial IngenierÃa Informática Red de computadoras Ordenadores TeorÃa de la Computación IngenierÃa Informática y Redes Hardware de la computadora Clasificación: Resumen: Este libro constituye artÃculos revisados ​​seleccionados del 6º Taller Internacional sobre Estructuras, Lenguaje y Método Formal Orientado a Objetos, SOFL+MSVL 2016, celebrado en Tokio, Japón, en noviembre de 2016. Los 13 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. Están organizados en secciones temáticas denominadas: modelado y especificación; animación y creación de prototipos; verificación y validación; y verificación de modelos. . Nota de contenido: Modeling and Specification -- Orchestration Combinators in Apla+ Language -- On Termination and Boundedness of Nested Updatable Timed Automata -- Instant-based and State-based Analysis of Infinite Logical Clock -- Animation and Prototyping -- Automated Safety Analysis on Scenario-based Requirements for Train Control System -- A Case Study of a GUI-Aided Approach to Constructing Formal Specifications -- Formal Development of Linear Structure Reusable Components in PAR Platform -- Verification and Validation -- E-SSL:An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet -- A Proof System for MSVL Programs in Coq -- Runtime Verification Monitor Construction for Three-valued PPTL -- Applying SOFL to a Railway Interlocking System in Industry. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers [documento electrónico] / Liu, Shaoying, ; Duan, Zhenhua, ; Tian, Cong, ; Nagoya, Fumiko, . - 1 ed. . - [s.l.] : Springer, 2017 . - X, 239 p. 71 ilustraciones.
ISBN : 978-3-319-57708-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 Ciencias de la Computación Inteligencia artificial IngenierÃa Informática Red de computadoras Ordenadores TeorÃa de la Computación IngenierÃa Informática y Redes Hardware de la computadora Clasificación: Resumen: Este libro constituye artÃculos revisados ​​seleccionados del 6º Taller Internacional sobre Estructuras, Lenguaje y Método Formal Orientado a Objetos, SOFL+MSVL 2016, celebrado en Tokio, Japón, en noviembre de 2016. Los 13 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. Están organizados en secciones temáticas denominadas: modelado y especificación; animación y creación de prototipos; verificación y validación; y verificación de modelos. . Nota de contenido: Modeling and Specification -- Orchestration Combinators in Apla+ Language -- On Termination and Boundedness of Nested Updatable Timed Automata -- Instant-based and State-based Analysis of Infinite Logical Clock -- Animation and Prototyping -- Automated Safety Analysis on Scenario-based Requirements for Train Control System -- A Case Study of a GUI-Aided Approach to Constructing Formal Specifications -- Formal Development of Linear Structure Reusable Components in PAR Platform -- Verification and Validation -- E-SSL:An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet -- A Proof System for MSVL Programs in Coq -- Runtime Verification Monitor Construction for Three-valued PPTL -- Applying SOFL to a Railway Interlocking System in Industry. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Tian, Cong, ; Nagoya, Fumiko, ; Liu, Shaoying, ; Duan, Zhenhua, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: X, 219 p. 66 ilustraciones ISBN/ISSN/DL: 978-3-319-90104-6 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 Algoritmos Ciencias de la Computación Inteligencia artificial Lógica informática y fundamentos de la programación Clasificación: Resumen: Este libro constituye las actas del taller, exhaustivamente arbitrado, del Séptimo Taller Internacional sobre Método y Lenguaje Formal Estructurado Orientado a Objetos, SOFL+MSVL 2017, celebrado en Xi''an, China, en noviembre de 2017. Los 13 artÃculos completos revisados ​​incluidos en el volumen fueron cuidadosamente revisado y seleccionado entre 21 presentaciones. Están organizados en las siguientes secciones temáticas: animación y creación de prototipos; TeorÃa de grafos; verificación de modelos; modelado y especificación; y verificación y validación. Nota de contenido: Animation and prototyping -- Graph theory -- Model checking -- Modeling and specification -- Verification and validation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers [documento electrónico] / Tian, Cong, ; Nagoya, Fumiko, ; Liu, Shaoying, ; Duan, Zhenhua, . - 1 ed. . - [s.l.] : Springer, 2018 . - X, 219 p. 66 ilustraciones.
ISBN : 978-3-319-90104-6
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 Algoritmos Ciencias de la Computación Inteligencia artificial Lógica informática y fundamentos de la programación Clasificación: Resumen: Este libro constituye las actas del taller, exhaustivamente arbitrado, del Séptimo Taller Internacional sobre Método y Lenguaje Formal Estructurado Orientado a Objetos, SOFL+MSVL 2017, celebrado en Xi''an, China, en noviembre de 2017. Los 13 artÃculos completos revisados ​​incluidos en el volumen fueron cuidadosamente revisado y seleccionado entre 21 presentaciones. Están organizados en las siguientes secciones temáticas: animación y creación de prototipos; TeorÃa de grafos; verificación de modelos; modelado y especificación; y verificación y validación. Nota de contenido: Animation and prototyping -- Graph theory -- Model checking -- Modeling and specification -- Verification and validation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Structured Object-Oriented Formal Language and Method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Duan, Zhenhua, ; Liu, Shaoying, ; Tian, Cong, ; Nagoya, Fumiko, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: VIII, 197 p. 107 ilustraciones, 33 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-13651-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: IngenierÃa de software Inteligencia artificial Computadoras digitales electrónicas Ciencias de la Computación Simulación por ordenador Ordenadores Rendimiento y evaluación del sistema TeorÃa de la Computación Modelado por computadora Entornos informáticos Clasificación: Resumen: Este libro constituye las actas del taller, exhaustivamente arbitrado, del 8.º Taller Internacional sobre Método y Lenguaje Formal Estructurado Orientado a Objetos, SOFL+MSVL 2018, celebrado en Gold Coast, QLD, Australia, en noviembre de 2018. Los 11 artÃculos completos revisados ​​incluidos en el volumen fueron cuidadosamente revisados ​​y seleccionados entre 21 presentaciones. Están organizados en las siguientes secciones temáticas: programación y pruebas; verificación y validación; semántica; y cadena de bloques. Nota de contenido: Programming and testing -- Verification and validation -- Semantics -- Blockchain. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Structured Object-Oriented Formal Language and Method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers [documento electrónico] / Duan, Zhenhua, ; Liu, Shaoying, ; Tian, Cong, ; Nagoya, Fumiko, . - 1 ed. . - [s.l.] : Springer, 2019 . - VIII, 197 p. 107 ilustraciones, 33 ilustraciones en color.
ISBN : 978-3-030-13651-2
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 Computadoras digitales electrónicas Ciencias de la Computación Simulación por ordenador Ordenadores Rendimiento y evaluación del sistema TeorÃa de la Computación Modelado por computadora Entornos informáticos Clasificación: Resumen: Este libro constituye las actas del taller, exhaustivamente arbitrado, del 8.º Taller Internacional sobre Método y Lenguaje Formal Estructurado Orientado a Objetos, SOFL+MSVL 2018, celebrado en Gold Coast, QLD, Australia, en noviembre de 2018. Los 11 artÃculos completos revisados ​​incluidos en el volumen fueron cuidadosamente revisados ​​y seleccionados entre 21 presentaciones. Están organizados en las siguientes secciones temáticas: programación y pruebas; verificación y validación; semántica; y cadena de bloques. Nota de contenido: Programming and testing -- Verification and validation -- Semantics -- Blockchain. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers Tipo de documento: documento electrónico Autores: Miao, Huaikou, ; Tian, Cong, ; Liu, Shaoying, ; Duan, Zhenhua, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: IX, 364 p. 174 ilustraciones, 64 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-41418-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 IngenierÃa Informática Red de computadoras Inteligencia artificial Ciencias de la Computación IngenierÃa Informática y Redes Redes de comunicación informática TeorÃa de la Computación Clasificación: Resumen: Este libro constituye las actas del taller minuciosamente arbitrado del 9º Taller Internacional sobre Lenguaje y Método Formal Estructurado Orientado a Objetos, SOFL+MSVL 2019, celebrado en Shenzhen, China, en noviembre de 2019. Los 23 artÃculos completos revisados ​​incluidos en el volumen fueron revisados ​​cuidadosamente. y seleccionado entre 43 presentaciones. Están organizados en las siguientes secciones temáticas: pruebas y depuración, verificación formal, resolución de problemas, análisis y evolución de software, y análisis y pruebas de software. Nota de contenido: Testing and Debugging -- Analysis and remodeling of the DirtyCOW vulnerability by debugging and abstraction -- A Formal Technique for Concurrent Generation of Software Functional and Security Requirements in SOFL Specifications -- Distortion and Faults in Machine Learning Software -- A divide & conquer approach to testing concurrent Java programs with JPF and Maude -- Formal Verification -- An approach to modeling and verifying multi-level interrupt systems with TMSVL -- Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework -- UMC4M: a Verification Tool via Program Execution -- Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads -- A Planning Approach based on APTL -- Solving Constraint optimization Problems Based on Mathematica and Abstraction -- A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge -- Formal Development and Verification of Reusable Component in PAR Platform -- Formal Specification & Modeling -- A New Mutant Generation Algorithm based on Basic Path Coverage for Mutant Reduction -- Formal Specification and Model Checking of a Ride-sharing System in Maude -- Model Checking Python Programs with MSVL -- Software Analysis and Evolution -- Prediction of Function Removal Propagation in Linux Evolution -- Regression Models for Performance Ranking of Configurable Systems: A Comparative Study -- Combining Model Learning and Model Checking to Analyze Java Libraries -- Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning -- Software Analysis and Testing -- Metamorphic Testing in Fault Localization of Model Transformations -- A Fault Localization Method Based on Dynamic Failed Execution Blocks -- Adaptive Random Testing by Bisection and Comprehensive Distance -- CMM: A Combination-based Mutation Method For SQL Injection. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers [documento electrónico] / Miao, Huaikou, ; Tian, Cong, ; Liu, Shaoying, ; Duan, Zhenhua, . - 1 ed. . - [s.l.] : Springer, 2020 . - IX, 364 p. 174 ilustraciones, 64 ilustraciones en color.
ISBN : 978-3-030-41418-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 IngenierÃa Informática Red de computadoras Inteligencia artificial Ciencias de la Computación IngenierÃa Informática y Redes Redes de comunicación informática TeorÃa de la Computación Clasificación: Resumen: Este libro constituye las actas del taller minuciosamente arbitrado del 9º Taller Internacional sobre Lenguaje y Método Formal Estructurado Orientado a Objetos, SOFL+MSVL 2019, celebrado en Shenzhen, China, en noviembre de 2019. Los 23 artÃculos completos revisados ​​incluidos en el volumen fueron revisados ​​cuidadosamente. y seleccionado entre 43 presentaciones. Están organizados en las siguientes secciones temáticas: pruebas y depuración, verificación formal, resolución de problemas, análisis y evolución de software, y análisis y pruebas de software. Nota de contenido: Testing and Debugging -- Analysis and remodeling of the DirtyCOW vulnerability by debugging and abstraction -- A Formal Technique for Concurrent Generation of Software Functional and Security Requirements in SOFL Specifications -- Distortion and Faults in Machine Learning Software -- A divide & conquer approach to testing concurrent Java programs with JPF and Maude -- Formal Verification -- An approach to modeling and verifying multi-level interrupt systems with TMSVL -- Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework -- UMC4M: a Verification Tool via Program Execution -- Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads -- A Planning Approach based on APTL -- Solving Constraint optimization Problems Based on Mathematica and Abstraction -- A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge -- Formal Development and Verification of Reusable Component in PAR Platform -- Formal Specification & Modeling -- A New Mutant Generation Algorithm based on Basic Path Coverage for Mutant Reduction -- Formal Specification and Model Checking of a Ride-sharing System in Maude -- Model Checking Python Programs with MSVL -- Software Analysis and Evolution -- Prediction of Function Removal Propagation in Linux Evolution -- Regression Models for Performance Ranking of Configurable Systems: A Comparative Study -- Combining Model Learning and Model Checking to Analyze Java Libraries -- Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning -- Software Analysis and Testing -- Metamorphic Testing in Fault Localization of Model Transformations -- A Fault Localization Method Based on Dynamic Failed Execution Blocks -- Adaptive Random Testing by Bisection and Comprehensive Distance -- CMM: A Combination-based Mutation Method For SQL Injection. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
