04021nam a22006495i 4500 978-3-031-52823-1 DE-He213 20251030111409.0 cr nn 008mamaa 240131s2024 sz | s |||| 0|eng d 9783031528231 978-3-031-52823-1 10.1007/978-3-031-52823-1 doi TK5105.5-5105.9 UKN bicssc COM043000 bisacsh UKN thema Distributed Computing for Emerging Smart Networks [electronic resource] : 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers / edited by Imen Jemili, Mohamed Mosbah, Sabra Mabrouk, Leo Mendiboure. 1st ed. 2024. Cham : Springer Nature Switzerland : Imprint: Springer, 2024. XIII, 147 p. 75 illus., 58 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Communications in Computer and Information Science, 1865-0937 ; 2041 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. Computer networks . 60157 Software engineering. 33953 Operating systems (Computers). 65514 Application software. Artificial intelligence. 58441 Cryptography. 64299 Data encryption (Computer science). 58243 Computer Communication Networks. 65689 Software Engineering. 33953 Operating Systems. 65516 Computer and Information Systems Applications. Artificial Intelligence. 58441 Cryptology. 66491 Jemili, Imen. editor. (orcid)0000-0002-3701-1251 https://orcid.org/0000-0002-3701-1251 edt http://id.loc.gov/vocabulary/relators/edt 70272 Mosbah, Mohamed. editor. edt http://id.loc.gov/vocabulary/relators/edt 68421 Mabrouk, Sabra. editor. edt http://id.loc.gov/vocabulary/relators/edt 70273 Mendiboure, Leo. editor. edt http://id.loc.gov/vocabulary/relators/edt 70274 SpringerLink (Online service) Springer Nature eBook Printed edition: 9783031528224 Printed edition: 9783031528248 Communications in Computer and Information Science, 1865-0937 ; 2041 66508 https://doi.org/10.1007/978-3-031-52823-1 ZDB-2-SCS ZDB-2-SXCS 57399 57399