03910nam 22007575 450 991083149870332120240322002407.03-031-52823-910.1007/978-3-031-52823-1(MiAaPQ)EBC31098157(Au-PeEL)EBL31098157(MiAaPQ)EBC31132675(Au-PeEL)EBL31132675(DE-He213)978-3-031-52823-1(CKB)30181885300041(EXLCZ)993018188530004120240131d2024 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierDistributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers /edited by Imen Jemili, Mohamed Mosbah, Sabra Mabrouk, Leo Mendiboure1st ed. 2024.Cham :Springer Nature Switzerland :Imprint: Springer,2024.1 online resource (157 pages)Communications in Computer and Information Science,1865-0937 ;2041Print version: Jemili, Imen Distributed Computing for Emerging Smart Networks Cham : Springer International Publishing AG,c2024 9783031528224 Vehicular 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. .This 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.Communications in Computer and Information Science,1865-0937 ;2041Computer networksSoftware engineeringOperating systems (Computers)Application softwareArtificial intelligenceCryptographyData encryption (Computer science)Computer Communication NetworksSoftware EngineeringOperating SystemsComputer and Information Systems ApplicationsArtificial IntelligenceCryptologyComputer networks.Software engineering.Operating systems (Computers)Application software.Artificial intelligence.Cryptography.Data encryption (Computer science)Computer Communication Networks.Software Engineering.Operating Systems.Computer and Information Systems Applications.Artificial Intelligence.Cryptology.004.6Jemili ImenMiAaPQMiAaPQMiAaPQBOOK9910831498703321Distributed Computing for Emerging Smart Networks2832811UNINA