LEADER 03910nam  22007575  450 
001 9910831498703321
005 20240322002407.0
010   $a3-031-52823-9
024 7 $a10.1007/978-3-031-52823-1
035   $a(MiAaPQ)EBC31098157
035   $a(Au-PeEL)EBL31098157
035   $a(MiAaPQ)EBC31132675
035   $a(Au-PeEL)EBL31132675
035   $a(DE-He213)978-3-031-52823-1
035   $a(CKB)30181885300041
035   $a(EXLCZ)9930181885300041
100   $a20240131d2024      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aDistributed Computing for Emerging Smart Networks $e4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers /$fedited by Imen Jemili, Mohamed Mosbah, Sabra Mabrouk, Leo Mendiboure
205   $a1st ed. 2024.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024.
215   $a1 online resource (157 pages)
225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v2041
311 08$aPrint version: Jemili, Imen Distributed Computing for Emerging Smart Networks Cham : Springer International Publishing AG,c2024 9783031528224 
327   $aVehicular networks and emerging technologies Survey on Lidar sensing technology for vehicular networks -- Real-time prediction of o -street parking spaces based on dynamic resource allocation and pricing -- Shared Micro-mobility: Technologies, Challenges and Prospects of Using Collected Data -- Cyber safety and security of Intelligent Transportation Systems -- Enhancing Autonomous System Security: A Formal Framework for Assessing and Strengthening Autonomous Vehicle Defenses -- Intruder vehicle detection during a platoon joining maneuver -- Securing Level Crossings with Edge Infrastructure and V2X Communications: A High-Performance Solution -- A Formal Approach for a Railway Level Crossing using the Event-B Method. .
330   $aThis book constitutes revised selected papers from the 4th International Workshop on Distributed Computing for Emerging Smart Networks, DiCES-N 2023, which took place in Bizerte, Tunisia, on May 27, 2023. The 6 full papers included in this book were carefully reviewed and selected from 13 submissions. The book also contains one invited talk. The contributions focus on vehicular networks and emerging technologies and cyber safety and security of intelligent transportation systems.
410  0$aCommunications in Computer and Information Science,$x1865-0937 ;$v2041
606   $aComputer networks
606   $aSoftware engineering
606   $aOperating systems (Computers)
606   $aApplication software
606   $aArtificial intelligence
606   $aCryptography
606   $aData encryption (Computer science)
606   $aComputer Communication Networks
606   $aSoftware Engineering
606   $aOperating Systems
606   $aComputer and Information Systems Applications
606   $aArtificial Intelligence
606   $aCryptology
615  0$aComputer networks.
615  0$aSoftware engineering.
615  0$aOperating systems (Computers)
615  0$aApplication software.
615  0$aArtificial intelligence.
615  0$aCryptography.
615  0$aData encryption (Computer science)
615 14$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aOperating Systems.
615 24$aComputer and Information Systems Applications.
615 24$aArtificial Intelligence.
615 24$aCryptology.
676   $a004.6
702   $aJemili$b Imen
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910831498703321
996   $aDistributed Computing for Emerging Smart Networks$92832811
997   $aUNINA