東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Verification and evaluation of compu...

VECoS (Conference) (2024 :)

Linked to FindBook

Google Book

Amazon

博客來

Verification and evaluation of computer and communication systems = 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Verification and evaluation of computer and communication systems/ edited by Belgacem Ben Hedia, Mohamed Ghazel, Bruno Monsuez.
Reminder of title:	17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024 : proceedings /
remainder title:	VECoS 2024
other author:	Ben Hedia, Belgacem.
corporate name:	VECoS (Conference)
Published:	Cham :Springer Nature Switzerland : : 2025.,
Description:	xviii, 250 p. :ill. (chiefly color), digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer Nature eBook
Subject:	Computer networks - Congresses. - Evaluation -
Online resource:	https://doi.org/10.1007/978-3-031-85356-2
ISBN:	9783031853562

Verification and evaluation of computer and communication systems = 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024 : proceedings /
Verification and evaluation of computer and communication systems17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024 : proceedings /[electronic resource] :VECoS 2024edited by Belgacem Ben Hedia, Mohamed Ghazel, Bruno Monsuez. - Cham :Springer Nature Switzerland :2025. - xviii, 250 p. :ill. (chiefly color), digital ;24 cm. - Lecture notes in computer science,154661611-3349 ;. - Lecture notes in computer science ;15466..

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.

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.

ISBN: 9783031853562

Standard No.: 10.1007/978-3-031-85356-2doiSubjects--Topical Terms:

893011
Computer networks
--Evaluation--Congresses.

LC Class. No.: TK5105.5

Dewey Class. No.: 004.36

Verification and evaluation of computer and communication systems = 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024 : proceedings /
LDR:03033nmm a2200349 a 4500 001 2409795
003 DE-He213
005 20250417130329.0
006 m d
007 cr nn 008maaau
008 260204s2025 sz s 0 eng d
020 $a 9783031853562 $q (electronic bk.)
020 $a 9783031853555 $q (paper)
024 7 $a 10.1007/978-3-031-85356-2 $2 doi
035 $a 978-3-031-85356-2
040 $a GP $c GP
041 0 $a eng
050 4 $a TK5105.5
072 7 $a UK $2 bicssc
072 7 $a COM067000 $2 bisacsh
072 7 $a UK $2 thema
082 0 4 $a 004.36 $2 23
090 $a TK5105.5 $b .V413 2024
111 2 $a VECoS (Conference) $n (17th : $d 2024 : $c Djerba, Tunisia) $3 3783236
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.
246 3 $a VECoS 2024
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2025.
300 $a xviii, 250 p. : $b ill. (chiefly color), digital ; $c 24 cm.
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.
650 0 $a Computer networks $x Evaluation $v Congresses. $3 893011
650 0 $a Computer software $x Verification $v Congresses. $3 844546
650 1 4 $a Computer Engineering and Networks. $3 3538504
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Computer Communication Networks. $3 775497
700 1 $a Ben Hedia, Belgacem. $3 3528747
700 1 $a Ghazel, Mohamed. $3 3783237
700 1 $a Monsuez, Bruno. $3 3783238
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 15466. $3 3783239
856 4 0 $u https://doi.org/10.1007/978-3-031-85356-2
950 $a Computer Science (SpringerNature-11645)