Verification and Evaluation of Computer and Communication Systems 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16–18, 2024, Proceedings /
This book constitutes the refereed proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, held in Djerba, Tunisia, during October 16–18, 2024. The 16 full papers included in this book were carefully reviewed and selected fro...
Збережено в:
| Співавтор: | |
|---|---|
| Інші автори: | , , |
| Формат: | Електронний ресурс eКнига |
| Мова: | Англійська |
| Опубліковано: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Редагування: | 1st ed. 2025. |
| Серія: | Lecture Notes in Computer Science,
15466 |
| Предмети: | |
| Онлайн доступ: | https://doi.org/10.1007/978-3-031-85356-2 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-85356-2 | ||
| 003 | DE-He213 | ||
| 005 | 20260706115821.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 250417s2025 sz | s |||| 0|eng d | ||
| 020 | |a 9783031853562 |9 978-3-031-85356-2 | ||
| 024 | 7 | |a 10.1007/978-3-031-85356-2 |2 doi | |
| 050 | 4 | |a TK7885-7895 | |
| 050 | 4 | |a TK5105.5-5105.9 | |
| 072 | 7 | |a UK |2 bicssc | |
| 072 | 7 | |a COM067000 |2 bisacsh | |
| 072 | 7 | |a UK |2 thema | |
| 082 | 0 | 4 | |a 621.39 |2 23 |
| 082 | 0 | 4 | |a 004.6 |2 23 |
| 245 | 1 | 0 | |a Verification and Evaluation of Computer and Communication Systems |h [electronic resource] : |b 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16–18, 2024, Proceedings / |c edited by Belgacem Ben Hedia, Mohamed Ghazel, Bruno Monsuez. |
| 250 | |a 1st ed. 2025. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2025. | |
| 300 | |a XVIII, 250 p. 108 illus., 88 illus. in color. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 341 | 0 | |b Table of contents navigation |2 onix | |
| 341 | 0 | |b Single logical reading order |2 onix | |
| 341 | 0 | |b Short alternative textual descriptions |2 onix | |
| 341 | 0 | |b Use of color is not sole means of conveying information |2 onix | |
| 341 | 0 | |b Use of high contrast between text and background color |2 onix | |
| 341 | 0 | |b Next / Previous structural navigation |2 onix | |
| 341 | 0 | |b All non-decorative content supports reading without sight |2 onix | |
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 15466 | |
| 505 | 0 | |a -- Formal Verification of Coupled Transmission Lines using Theorem Proving. -- Optimizing Label Coverage using Regular Expression-Based Linear Programming. -- Formal Verification of Declarative Specifications of BPs: DCR2CPN based Approach. -- Toward Green Data Lake Management and Analysis through a CTMC Model. -- A High Parallelization Method for Automated Formal Verification of Deep Neural Networks. -- Monitoring of Neural Network Classifiers using Neuron Activation Paths. -- Formal Security Analysis of Deep Neural Network Architecture. -- Intrusion Detection using an enhancement Bi-LSTM Recurrent Neural Network model. -- A Formal Approach for Verifying and Validating Security Objectives in Software Architecture. -- Supervisory Control of Cyber-Physical Systems Using Labeled Petri Nets Under Sensor and Actuator Attacks. -- ERTMS/ETCS L3: Usable Formal Models for the “Loss of Train Integrity” Operation Scenario. -- Towards a Model for Energy-Efficient and Flexible IoT Systems. -- Integrating SysML and Timed Reo to Model and Verify Cyber-Physical Systems Interactions with Timing Constraints. -- A Reliable and Resource-Aware Federated Learning Solution by Decentralizing Client Selection for IoT Devices. -- DRL based SFC Orchestration in SDN/NFV Environments subject to Transient Unavailability. | |
| 520 | |a This book constitutes the refereed proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, held in Djerba, Tunisia, during October 16–18, 2024. The 16 full papers included in this book were carefully reviewed and selected from 42 submissions. They deal with the state of the art and challenges in modern computer and communication systems in the areas of verification, control, performance, and dependability evaluation. . | ||
| 532 | 8 | |a Accessibility summary: This PDF does not fully comply with PDF/UA standards, but does feature limited screen reader support, described non-text content (images, graphs), bookmarks for easy navigation and searchable, selectable text. Users of assistive technologies may experience difficulty navigating or interpreting content in this document. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. | |
| 532 | 8 | |a No reading system accessibility options actively disabled | |
| 532 | 8 | |a Publisher contact for further accessibility information: accessibilitysupport@springernature.com | |
| 650 | 0 | |a Computer engineering. | |
| 650 | 0 | |a Computer networks . | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 1 | 4 | |a Computer Engineering and Networks. |
| 650 | 2 | 4 | |a Artificial Intelligence. |
| 650 | 2 | 4 | |a Computer Communication Networks. |
| 700 | 1 | |a Ben Hedia, Belgacem. |e editor. |0 (orcid)0000-0003-1367-8542 |1 https://orcid.org/0000-0003-1367-8542 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Ghazel, Mohamed. |e editor. |0 (orcid)0000-0002-1160-7997 |1 https://orcid.org/0000-0002-1160-7997 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Monsuez, Bruno. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031853555 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031853579 |
| 830 | 0 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 15466 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-85356-2 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-SXPS | ||
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-239 | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||
| 950 | |a Springer Nature Proceedings Computer Science (SpringerNature-85344) | ||
| 950 | |a Focus Bundle Software and Systems (SpringerNature-85409) | ||