This book constitutes the refereed proceedings of Workshops held at the 19th European Dependable Computing Conference, EDCC 2024: First Workshop on Safe Autonomous Systems, SafeAutonomy 2024, and the First Workshop on the Role of TRUST in the implementation of Digital Technologies: Blockchain Technology and Artificial Intelligence in Smart Cities, TRUST IN BLOCKCHAIN 2024.The 13 workshop papers presented in this book were thoroughly reviewed and selected from 14 submissions. The TRU...

This book constitutes refereed proceedings of the Workshops of the 18th European Dependable Computing Conference, EDCC: 13th Workshop on Software Engineering for Resilient Systems, SERENE 2022; Third Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2022, Third Workshop on Artificial Intelligence for Railways, AI4RAILS, held in Zaragoza, Spain, in September 2022.The 11 workshop papers presented were thoroughly reviewed and selected from 22 submissions. The workshop...

This book constitutes refereed proceedings of the Workshops of the 16th European Dependable Computing Conference, EDCC: 1st Workshop on Articial Intelligence for Railways, AI4RAILS 2020, 1st Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2020, 2nd Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2020, 12th Workshop on Software Engineering for Resilient Systems, SERENE 2020, held in September 2020. Due to the COVID-19 pandemic the w...

The two-volume set LNICST 150 and 151 constitutes the thoroughly refereed post-conference proceedings of the First International Internet of Things Summit, IoT360 2014, held in Rome, Italy, in October 2014.This volume contains 30 revised full papers carefully reviewed and selected from 51 submissions at the following three conferences: the First International Conference on Mobility and Smart Cities, Mobility IoT 2014; the First International Conference on Software-Defined and Virtu...

This book constitutes the refereed proceedings of the 9th International Conference on Data-Driven Innovation, ICT Innovations 2017, held in Skopje, Macedonia, in September 2017.The 26 full papers presented were carefully reviewed and selected from 90 submissions. They cover the following topics: big data analytics, cloud computing, data mining, digital signal processing, e-health, embedded systems, emerging mobile technologies, multimedia, Internet of Things (IoT), machine learning...

This book constitutes revised selected papers from the 10th International Conference on Critical Information Infrastructures Security, CRITIS 2015, held in Berlin, Germany, in October 2015.The 18 full and 6 short papers presented in this volume were carefully reviewed and selected from 54 submissions. They are organized in topical sections named: critical information infrastructure protection; critical infrastructure resilience assessment; emergency management: critical infrastruct...

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and vali...

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023.The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions.- 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023)- 18th International Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023)-...

This book contains the contributions presented at the ninth international KES conference on Intelligent Interactive Multimedia: Systems and Services, which took place in Puerto de la Cruz, Tenerife, Spain, June 15-17, 2016. It contains 65 peer-reviewed book chapters that focus on issues ranging from intelligent image or video storage, retrieval, transmission and analysis to knowledge-based technologies, from advanced information technology architectures for video processing and transmissio...

This book constitutes the refereed proceedings of six International Workshops held as parallel events of the 17th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2021, virtually and in Hersonissos, Crete, Greece, in June 2021: the 6th Workshop on 5G-Putting Intelligence to the Network Edge, 5G-PINE 2021; Artificial Intelligence in Biomedical Engineering and Informatics Workshop, AI-BIO 2021; Workshop on Defense Applications of AI, DAAI 20...

This book collects innovative research presented at the 17th Conference of the Association of Geographic Information Laboratories for Europe (AGILE) on Geographic Information Science, held in 2014 in Castellón, Spain. The scientific papers cover a variety of fundamental research topics as well as applied research in Geospatial Information Science, including measuring spatiotemporal phenomena, crowdsourcing and VGI, geosensor networks, indoor navigation, spatiotemporal analysis, modeling an...

This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023.The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and reliability; neural networks robustness and monitoring; model-based security and threat anal...