Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Verification and Evaluation of Computer and Communication Systems : 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings / / edited by Belgacem Ben Hedia, Yassine Maleh, Moez Krichen
| Verification and Evaluation of Computer and Communication Systems : 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings / / edited by Belgacem Ben Hedia, Yassine Maleh, Moez Krichen |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (192 pages) |
| Disciplina | 929.605 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer engineering
Computer networks Artificial intelligence Computer Engineering and Networks Artificial Intelligence Computer Communication Networks |
| ISBN | 9783031497377 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Factorization of the state space construction for cyclic systems with data -- Verified High Performance Computing: the Approach -- A QoE driven DRL approach for network slicing based on SFC orchestration in SDN/NFV enabled networks -- On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation -- An Enhanced Interface-based Probabilistic Compositional Verification Approach -- A sound abstraction method towards efficient neural networks verification -- Towards Formal Verification of Node RED-based IoT Applications -- Formal Verification of a Post-Quantum Signal Protocol with Tamarin -- A Comparative Study of Online Cybersecurity Training Platforms -- White-Box Mutation Testing of Smart Contracts: A Quick Review -- Blockchain-based Trust Management for IoMT Environment -- Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions In Changing Contexts. |
| Record Nr. | UNINA-9910770248103321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verification and Evaluation of Computer and Communication Systems [[electronic resource] ] : 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings / / edited by Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu
| Verification and Evaluation of Computer and Communication Systems [[electronic resource] ] : 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings / / edited by Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 281 p. 107 illus., 66 illus. in color.) |
| Disciplina | 001.64404 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer engineering
Computer networks Algorithms Computer science—Mathematics Software engineering Machine theory Data structures (Computer science) Information theory Computer Engineering and Networks Design and Analysis of Algorithms Mathematics of Computing Software Engineering Formal Languages and Automata Theory Data Structures and Information Theory |
| ISBN | 3-030-65955-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996418294903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification and Evaluation of Computer and Communication Systems : 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings / / edited by Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu
| Verification and Evaluation of Computer and Communication Systems : 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings / / edited by Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 281 p. 107 illus., 66 illus. in color.) |
| Disciplina | 001.64404 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer engineering
Computer networks Algorithms Computer science—Mathematics Software engineering Machine theory Data structures (Computer science) Information theory Computer Engineering and Networks Design and Analysis of Algorithms Mathematics of Computing Software Engineering Formal Languages and Automata Theory Data Structures and Information Theory |
| ISBN | 3-030-65955-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910447248403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||