| Título : |
14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Ben Hedia, Belgacem, ; Chen, Yu-Fang, ; Liu, Gaiyun, ; Yu, Zhenhua, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2020 |
| Número de páginas: |
XII, 281 p. 107 ilustraciones, 66 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-65955-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 Informática Red de computadoras Algoritmos Informática Ingeniería de software Teoría de las máquinas Estructuras de datos (Informática) Teoría de la información Ingeniería Informática y Redes Diseño y Análisis de Algoritmos Matemáticas de la Computación Lenguajes formales y teoría de los autómatas Estructuras de datos y teoría de la información |
| Índice Dewey: |
621.39 Ciencia de los computadores (Ingenieria de computadores) |
| Resumen: |
Este libro constituye las actas de la 14.ª Conferencia Internacional sobre Verificación y Evaluación de Sistemas Informáticos y de Comunicación, VECoS 2020, que se suponía iba a celebrarse en Xi''an, China, en octubre de 2020, pero que en su lugar se celebró virtualmente. Los 19 artículos completos y 1 artículo breve presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 60 presentaciones. El objetivo de la conferencia VECoS es reunir a investigadores y profesionales en las áreas de verificación, control, desempeño y evaluación de confiabilidad para discutir el estado del arte y los desafíos en los sistemas informáticos y de comunicación modernos en los que las propiedades funcionales y extrafuncionales están fuertemente interrelacionados. Por lo tanto, la principal motivación para VECoS es fomentar la fertilización cruzada entre varios enfoques, métodos y técnicas formales de verificación y evaluación, y especialmente aquellos desarrollados para sistemas de hardware/software concurrentes y distribuidos. Los artículos están organizados en las siguientes secciones temáticas: petri-net, simulación y programación; modelado y verificación formal, pruebas; e inteligencia artificial y aprendizaje automático. |
| Nota de contenido: |
Petri-Net, Simulation, and Scheduling -- An Approach for Supervisor Reduction of Discrete-event Systems -- Multi-robot path planning using Petri nets -- Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets With Novel Colored Capacity -- The Modeling and Simulation on SRM Drive System Using Variable-proportional-desaturation PI Regulator -- Vehicle Scheduling Problem in Terminals: a Review -- Coverage Analysis of Net Inscriptions in Coloured Petri Net Models -- ON/OFF control trajectory computation for steady state reaching in batches Petri nets -- Towards efficient partial order techniques for time Petri nets -- Towards a Generic Framework for Formal Verification and Performance Analysis of Real-time Scheduling Algorithms -- Accurate Strategy for Mixed Criticality Scheduling -- Formal Modeling and Verification, Testing -- Model-based Design of Resilient Systems Using Quantitative Risk Assessment -- An Evaluation of Estimation Techniques for Probabilistic Verification -- Formal Verification of a Certified Policy Language -- Multi-path Coverage of all Final States for Model-Based Testing Theory using Spark In-memory Design -- Artificial Intelligence and Machine Learning -- A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion Detection -- Deep Reinforcement Learning for Solving AGVs Routing Problem -- Research on Vehicle Detection based on Visual Convolution Network Optimization -- A Self-Adaptive Multi-Hierarchical Modular Neural Network for Complex Problems -- Multi-Scale Risk Assessment Model of Network Security Based on LSTM -- Weighted lightweight image retrieval method based on linear regression. |
| 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 |
14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings [documento electrónico] / Ben Hedia, Belgacem, ; Chen, Yu-Fang, ; Liu, Gaiyun, ; Yu, Zhenhua, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 281 p. 107 ilustraciones, 66 ilustraciones en color. ISBN : 978-3-030-65955-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 Informática Red de computadoras Algoritmos Informática Ingeniería de software Teoría de las máquinas Estructuras de datos (Informática) Teoría de la información Ingeniería Informática y Redes Diseño y Análisis de Algoritmos Matemáticas de la Computación Lenguajes formales y teoría de los autómatas Estructuras de datos y teoría de la información |
| Índice Dewey: |
621.39 Ciencia de los computadores (Ingenieria de computadores) |
| Resumen: |
Este libro constituye las actas de la 14.ª Conferencia Internacional sobre Verificación y Evaluación de Sistemas Informáticos y de Comunicación, VECoS 2020, que se suponía iba a celebrarse en Xi''an, China, en octubre de 2020, pero que en su lugar se celebró virtualmente. Los 19 artículos completos y 1 artículo breve presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 60 presentaciones. El objetivo de la conferencia VECoS es reunir a investigadores y profesionales en las áreas de verificación, control, desempeño y evaluación de confiabilidad para discutir el estado del arte y los desafíos en los sistemas informáticos y de comunicación modernos en los que las propiedades funcionales y extrafuncionales están fuertemente interrelacionados. Por lo tanto, la principal motivación para VECoS es fomentar la fertilización cruzada entre varios enfoques, métodos y técnicas formales de verificación y evaluación, y especialmente aquellos desarrollados para sistemas de hardware/software concurrentes y distribuidos. Los artículos están organizados en las siguientes secciones temáticas: petri-net, simulación y programación; modelado y verificación formal, pruebas; e inteligencia artificial y aprendizaje automático. |
| Nota de contenido: |
Petri-Net, Simulation, and Scheduling -- An Approach for Supervisor Reduction of Discrete-event Systems -- Multi-robot path planning using Petri nets -- Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets With Novel Colored Capacity -- The Modeling and Simulation on SRM Drive System Using Variable-proportional-desaturation PI Regulator -- Vehicle Scheduling Problem in Terminals: a Review -- Coverage Analysis of Net Inscriptions in Coloured Petri Net Models -- ON/OFF control trajectory computation for steady state reaching in batches Petri nets -- Towards efficient partial order techniques for time Petri nets -- Towards a Generic Framework for Formal Verification and Performance Analysis of Real-time Scheduling Algorithms -- Accurate Strategy for Mixed Criticality Scheduling -- Formal Modeling and Verification, Testing -- Model-based Design of Resilient Systems Using Quantitative Risk Assessment -- An Evaluation of Estimation Techniques for Probabilistic Verification -- Formal Verification of a Certified Policy Language -- Multi-path Coverage of all Final States for Model-Based Testing Theory using Spark In-memory Design -- Artificial Intelligence and Machine Learning -- A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion Detection -- Deep Reinforcement Learning for Solving AGVs Routing Problem -- Research on Vehicle Detection based on Visual Convolution Network Optimization -- A Self-Adaptive Multi-Hierarchical Modular Neural Network for Complex Problems -- Multi-Scale Risk Assessment Model of Network Security Based on LSTM -- Weighted lightweight image retrieval method based on linear regression. |
| 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 |
|  |
Hacer una sugerencia Refinar búsqueda14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings / Ben Hedia, Belgacem ; Chen, Yu-Fang ; Liu, Gaiyun ; Yu, Zhenhua
