Información del autor
Autor Miao, Huaikou |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsquedaStructured Object-Oriented Formal Language and Method / Miao, Huaikou ; Tian, Cong ; Liu, Shaoying ; Duan, Zhenhua
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 [...]
TÃtulo : Testbeds and Research Infrastructures for the Development of Networks and Communities : 13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings Tipo de documento: documento electrónico Autores: Gao, Honghao, ; Yin, Yuyu, ; Yang, Xiaoxian, ; Miao, Huaikou, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: X, 169 p. 115 ilustraciones, 75 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-12971-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: Red de computadoras Protección de datos Inteligencia artificial Redes de comunicación informática Seguridad de datos e información Clasificación: 004.6 Ciencia de los computadores (Interfaces y comunicaciones) Resumen: Este libro constituye las actas posteriores a la conferencia arbitradas de la 13.ª Conferencia Internacional de EAI sobre Bancos de Pruebas e Infraestructuras de Investigación para el Desarrollo de Redes y Comunicaciones, TridentCom 2018, celebrada en noviembre de 2018 en Shanghai, China. Los 10 artÃculos completos fueron seleccionados entre 29 presentaciones y están agrupados en tres sesiones: aplicación inalámbrica y de banco de pruebas; análisis de incertidumbre y verificación formal; gráfico de conocimiento. Nota de contenido: Big Data Science and Applications -- Big Data and Cloud Computing -- Big Data Outsourcing -- Security and privacy in Big Data -- Big Data Testbeds and Applications in Industries -- Cyber Physical Systems and Applications: Smart Homes, Smart Health, Smart Grids and Green Cities -- Connected Vehicles, Internet of Things, and Industrial Control Systems -- Security and privacy in IoT & CPS -- Next Generation Service Oriented Architectures & Web 2.0 Services -- Emerging Technology in networking and Communications -- Emerging Wired, Wireless and Optical Communication technology -- Virtualized Network and Data Center Network -- Software-Defined Network Testbeds -- Crowd Sourcing, Crowd Sensing and IoT -- Testbeds for Big data, CPS or Emerging Networking technology -- Testbed Development, Operations and Management -- Testbed Experiences in Big data, CPS or Emerging Networking Technology -- Experimental Facilities for Big data Testbeds -- Methodologies and Tools of Testbeds Performance Evaluation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Testbeds and Research Infrastructures for the Development of Networks and Communities : 13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings [documento electrónico] / Gao, Honghao, ; Yin, Yuyu, ; Yang, Xiaoxian, ; Miao, Huaikou, . - 1 ed. . - [s.l.] : Springer, 2019 . - X, 169 p. 115 ilustraciones, 75 ilustraciones en color.
ISBN : 978-3-030-12971-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Red de computadoras Protección de datos Inteligencia artificial Redes de comunicación informática Seguridad de datos e información Clasificación: 004.6 Ciencia de los computadores (Interfaces y comunicaciones) Resumen: Este libro constituye las actas posteriores a la conferencia arbitradas de la 13.ª Conferencia Internacional de EAI sobre Bancos de Pruebas e Infraestructuras de Investigación para el Desarrollo de Redes y Comunicaciones, TridentCom 2018, celebrada en noviembre de 2018 en Shanghai, China. Los 10 artÃculos completos fueron seleccionados entre 29 presentaciones y están agrupados en tres sesiones: aplicación inalámbrica y de banco de pruebas; análisis de incertidumbre y verificación formal; gráfico de conocimiento. Nota de contenido: Big Data Science and Applications -- Big Data and Cloud Computing -- Big Data Outsourcing -- Security and privacy in Big Data -- Big Data Testbeds and Applications in Industries -- Cyber Physical Systems and Applications: Smart Homes, Smart Health, Smart Grids and Green Cities -- Connected Vehicles, Internet of Things, and Industrial Control Systems -- Security and privacy in IoT & CPS -- Next Generation Service Oriented Architectures & Web 2.0 Services -- Emerging Technology in networking and Communications -- Emerging Wired, Wireless and Optical Communication technology -- Virtualized Network and Data Center Network -- Software-Defined Network Testbeds -- Crowd Sourcing, Crowd Sensing and IoT -- Testbeds for Big data, CPS or Emerging Networking technology -- Testbed Development, Operations and Management -- Testbed Experiences in Big data, CPS or Emerging Networking Technology -- Experimental Facilities for Big data Testbeds -- Methodologies and Tools of Testbeds Performance Evaluation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
