Valeria Vittorini - Böcker
Visar alla böcker från författaren Valeria Vittorini. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
Dependable Computing - EDCC 2020 Workshops
AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings
Häftad, Engelska, 2020
552 kr
Skickas inom 10-15 vardagar
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 workshops were held virtually. The 12 full papers and 4 short papers were thoroughly reviewed and selected from 35 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.
Dependable Computing – EDCC 2022 Workshops
SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings
Häftad, Engelska, 2022
552 kr
Skickas inom 10-15 vardagar
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;
1 064 kr
Skickas inom 10-15 vardagar
This comprehensive monograph addresses crucial issues in the protection of railway systems, with the objective of enhancing the understanding of railway infrastructure security. Based on analyses by academics, technology providers and railway operators, it explains how to assess terrorist and criminal threats, design countermeasures, and implement effective security strategies. In so doing, it draws upon a range of experiences from different countries in Europe and beyond. The book is the first to be devoted entirely to this subject. It will serve as a timely reminder of the attractiveness of the railway infrastructure system as a target for criminals and terrorists and, more importantly, as a valuable resource for stakeholders and professionals in the railway security field aiming to develop effective security based on a mix of methodological, technological and organizational tools. Besides researchers and decision makers in the field, the book will appeal to students interested in critical infrastructure protection.
1 064 kr
Skickas inom 10-15 vardagar
This comprehensive monograph addresses crucial issues in the protection of railway systems, with the objective of enhancing the understanding of railway infrastructure security. Based on analyses by academics, technology providers and railway operators, it explains how to assess terrorist and criminal threats, design countermeasures, and implement effective security strategies. In so doing, it draws upon a range of experiences from different countries in Europe and beyond. The book is the first to be devoted entirely to this subject. It will serve as a timely reminder of the attractiveness of the railway infrastructure system as a target for criminals and terrorists and, more importantly, as a valuable resource for stakeholders and professionals in the railway security field aiming to develop effective security based on a mix of methodological, technological and organizational tools. Besides researchers and decision makers in the field, the book will appeal to students interested in critical infrastructure protection.
Computer Safety, Reliability, and Security
30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings
Häftad, Engelska, 2011
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011.The 34 full papers presented together were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk and hazard analysis, cybersecurity and optimization methods.