Download or read book Dependable Computing EDCC 2021 Workshops written by Rasmus Adler and published by Springer Nature. This book was released on 2021-09-08 with total page 164 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes refereed proceedings of the Workshops of the 17th European Dependable Computing Conference, EDCC: ​Second Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2021, Third Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2021, 13th Workshop on Software Engineering for Resilient Systems, SERENE 2021, held in September 2021. Due to the COVID-19 pandemic the workshops were held virtually. The 14 workshop papers presented were thoroughly reviewed and selected from 22 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.

Download or read book Dependable Computing EDCC 2021 Workshops written by Rasmus Adler and published by . This book was released on 2021 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes refereed proceedings of the Workshops of the 17th European Dependable Computing Conference, EDCC: Second Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2021, Third Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2021, 13th Workshop on Software Engineering for Resilient Systems, SERENE 2021, held in September 2021. Due to the COVID-19 pandemic the workshops were held virtually. The 14 workshop papers presented were thoroughly reviewed and selected from 22 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.

Download or read book Dependable Computing EDCC 2022 Workshops written by Stefano Marrone and published by Springer Nature. This book was released on 2022-09-08 with total page 161 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 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.

Download or read book Dependable Computing EDCC 2024 Workshops written by Behrooz Sangchoolie and published by Springer Nature. This book was released on with total page 140 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Computer Safety Reliability and Security SAFECOMP 2023 Workshops written by Jérémie Guiochet and published by Springer Nature. This book was released on 2023-10-15 with total page 448 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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) - - 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023) - - Second International Workshop on Security and Safety Interactions (SENSEI 2023) - - First International Workshop on Safety/ Reliability/ Trustworthiness of Intelligent Transportation Systems (SRToITS 2023) - - 6th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2023)

Download or read book International Congress and Workshop on Industrial AI and eMaintenance 2023 written by Uday Kumar and published by Springer Nature. This book was released on 2024-01-01 with total page 780 pages. Available in PDF, EPUB and Kindle. Book excerpt: This proceedings brings together the papers presented at the International Congress and Workshop on Industrial AI and eMaintenance 2023 (IAI2023). The conference integrates the themes and topics of three conferences: Industrial AI & eMaintenance, Condition Monitoring and Diagnostic Engineering Management (COMADEM) and, Advances in Reliability, Maintainability and Supportability (ARMS) on a single platform. This proceedings serves both academy and industry in providing an excellent platform for collaboration by providing a forum for exchange of ideas and networking. The 21st century has seen remarkable progress in Artificial Intelligence, with application to a variety of fields (computer vision, automatic translation, sentiment analysis in social networks, robotics, etc.) The IAI2023 focuses on Industrial Artificial Intelligence, or IAI. The emergence of industrial AI applications holds tremendous promises in terms of achieving excellence and cost-effectiveness in the operation and maintenance of industrial assets. Opportunities in Industrial AI exist in many industries such as aerospace, railways, mining, construction, process industry, etc. Its development is powered by several trends: the Internet of Things (IoT); the increasing convergence between OT (operational technologies) and IT (information technologies); last but not least, the unabated fast-paced developments of advanced analytics. However, numerous technical and organizational challenges to the widespread development of industrial AI still exist. The IAI2023 conference and its proceedings foster fruitful discussions between AI creators and industrial practitioners.

Download or read book Computer Safety Reliability and Security SAFECOMP 2024 Workshops written by Andrea Ceccarelli and published by Springer Nature. This book was released on with total page 474 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Handbook on Artificial Intelligence and Transport written by Hussein Dia and published by Edward Elgar Publishing. This book was released on 2023-10-06 with total page 649 pages. Available in PDF, EPUB and Kindle. Book excerpt: With AI advancements eliciting imminent changes to our transport systems, this enlightening Handbook presents essential research on this evolution of the transportation sector. It focuses on not only urban planning, but relevant themes in law and ethics to form a unified resource on the practicality of AI use.

Download or read book Smart and Agile Cybersecurity for IoT and IIoT Environments written by Al-Haija, Qasem Abu and published by IGI Global. This book was released on 2024-07-18 with total page 416 pages. Available in PDF, EPUB and Kindle. Book excerpt: The world we live in today is highly interconnected and has seen a significant rise in the use of the Internet of Things (IoT) and Industrial Internet of Things (IIoT). This digital transformation, while beneficial, has also created new cybersecurity challenges. Cyber threats are becoming more sophisticated and frequent, and individuals and organizations alike must adopt intelligent and agile cybersecurity solutions to safeguard their digital assets. Smart and Agile Cybersecurity for IoT and IIoT Environments addresses this pressing challenge by providing a comprehensive guide to securing IoT and IIoT environments. The book offers insights into the latest cybersecurity strategies and technologies, from intelligent threat detection to agile security approaches. By delving into data privacy, network security, and incident response, readers can gain the knowledge and skills to fortify their cybersecurity posture and mitigate risks effectively.

Download or read book Computer Safety Reliability and Security written by Mario Trapp and published by Springer Nature. This book was released on 2022-08-24 with total page 383 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 41st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2022, which took place in Munich, Germany, in September 2022. The 24 full papers included in this volume were carefully reviewed and selected from 93 submissions. SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications.

Download or read book Computer Safety Reliability and Security written by Ibrahim Habli and published by Springer Nature. This book was released on 2021-08-25 with total page 283 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September 2021. The 17 full papers included in this volume were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: machine learning safety assurance; security engineering; safety and assurance cases; machine learning applications; safety validation and simulation; and fault tolerance.

Download or read book Reliability Safety and Security of Railway Systems Modelling Analysis Verification and Certification written by Birgit Milius and published by Springer Nature. This book was released on 2023-09-26 with total page 237 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023. The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.

Download or read book Applied Cryptography and Network Security Workshops written by Martin Andreoni and published by Springer Nature. This book was released on with total page 413 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Software Architecture ECSA 2022 Tracks and Workshops written by Thais Batista and published by Springer Nature. This book was released on 2023-07-15 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022. The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions. Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8th International Workshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and Smart Architectures International Workshop (CASA); 6th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS); 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4); 2nd International Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA); 2nd International Workshop on Software Architecture and Machine Learning (SAML); 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon); 2nd International Workshop on Mining Software Repositories for Software Architecture (MSR4SA); and 1st International Workshop on Digital Twin Architecture (TwinArch).

Download or read book Constructive Side Channel Analysis and Secure Design written by Romain Wacquez and published by Springer Nature. This book was released on with total page 285 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book New Trends in Intelligent Software Methodologies Tools and Techniques written by H. Fujita and published by IOS Press. This book was released on 2022-10-11 with total page 744 pages. Available in PDF, EPUB and Kindle. Book excerpt: The integration of applied intelligence with software has been an essential enabler for science and the new economy, creating new possibilities for a more reliable, flexible and robust society. But current software methodologies, tools, and techniques often fall short of expectations, and are not yet sufficiently robust or reliable for a constantly changing and evolving market. This book presents the proceedings of SoMeT_22, the 21st International Conference on New Trends in Intelligent Software Methodology Tools, and Techniques, held from 20 - 22 September 2022 in Kitakyushu, Japan. The SoMeT conference provides a platform for the exchange of ideas and experience in the field of software technology, with the emphasis on human-centric software methodologies, end-user development techniques, and emotional reasoning for optimal performance. The 58 papers presented here were each carefully reviewed by 3 or 4 referees for technical soundness, relevance, originality, significance and clarity, they were then revised before being selected by the international reviewing committee. The papers are arranged in 9 chapters: software systems with intelligent design; software systems security and techniques; formal techniques for system software and quality assessment; applied intelligence in software; intelligent decision support systems; cyber-physical systems; knowledge science and intelligent computing; ontology in data and software; and machine learning in systems software. The book assembles the work of scholars from the international research community to capture the essence of the new state-of-the-art in software science and its supporting technology, and will be of interest to all those working in the field.

Download or read book Statistical Modelling and Risk Analysis written by Christos P. Kitsos and published by Springer Nature. This book was released on 2024-01-13 with total page 230 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume covers the latest results on novel methods in Risk Analysis and assessment, with applications in Biostatistics (which is providing food for thought since the first ICRAs, covering traditional areas of RA, until now), Engineering Reliability, the Environmental Sciences and Economics. The contributions, based on lectures given at the 9th International Conference on Risk Analysis (ICRA 9), at Perugia, Italy, May 2022, detail a wide variety of daily risks, building on ideas presented at previous ICRA conferences. Working within a strong theoretical framework, supporting applications, the material describes a modern extension of the traditional research of the 1980s. This book is intended for graduate students in Mathematics, Statistics, Biology, Toxicology, Medicine, Management, and Economics, as well as quantitative researchers in Risk Analysis.