Author: Giorgio Buttazzo
Publisher: Springer Nature
ISBN: 3031454103
Category :
Languages : en
Pages : 500
Book Description
Hard Real-Time Computing Systems
Author: Giorgio Buttazzo
Publisher: Springer Nature
ISBN: 3031454103
Category :
Languages : en
Pages : 500
Book Description
Publisher: Springer Nature
ISBN: 3031454103
Category :
Languages : en
Pages : 500
Book Description
Real Time and Such
Author: Susanne Graf
Publisher: Springer Nature
ISBN: 3031737512
Category :
Languages : en
Pages : 175
Book Description
Publisher: Springer Nature
ISBN: 3031737512
Category :
Languages : en
Pages : 175
Book Description
Theoretical Computer Science
Author: Zhiping Cai
Publisher: Springer Nature
ISBN: 9811674434
Category : Computers
Languages : en
Pages : 258
Book Description
This book constitutes the thoroughly refereed proceedings of the 39th National Conference of Theoretical Computer Science, NCTCS 2021, held in Yinchuan, China, in July 2021. The 67 full papers were carefully reviewed and selected from 145 submissions, and 14 of them were selected for the volume. The papers present recent research in the areas of information hiding, data detection and recognition, system scheduling, time series prediction, and formal analysis.
Publisher: Springer Nature
ISBN: 9811674434
Category : Computers
Languages : en
Pages : 258
Book Description
This book constitutes the thoroughly refereed proceedings of the 39th National Conference of Theoretical Computer Science, NCTCS 2021, held in Yinchuan, China, in July 2021. The 67 full papers were carefully reviewed and selected from 145 submissions, and 14 of them were selected for the volume. The papers present recent research in the areas of information hiding, data detection and recognition, system scheduling, time series prediction, and formal analysis.
Job Scheduling Strategies for Parallel Processing
Author: Dalibor Klusáček
Publisher: Springer Nature
ISBN: 3031439430
Category : Computers
Languages : en
Pages : 200
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2023, held in St. Petersburg, FL, USA, during May 19, 2023. The 8 full papers and one keynote paper included in this book were carefully reviewed and selected from 14 submissions. The volume contains two sections: keynote and technical papers.
Publisher: Springer Nature
ISBN: 3031439430
Category : Computers
Languages : en
Pages : 200
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2023, held in St. Petersburg, FL, USA, during May 19, 2023. The 8 full papers and one keynote paper included in this book were carefully reviewed and selected from 14 submissions. The volume contains two sections: keynote and technical papers.
Real-Time Database Systems
Author: Pedro Mejia Alvarez
Publisher: Springer Nature
ISBN: 303144230X
Category : Computers
Languages : en
Pages : 126
Book Description
This book provides an overview of both experimental and commercial real-time database systems (RTDBs) and a systematic approach to understanding, designing, and implementing them. To this end, the book is composed of four chapters: Chapter 1 “An Overview of Real-Time Database Systems” delves into the realm of RTDBs and discusses the specific requirements, transaction models, and scheduling algorithms that set RTDBs apart from conventional DBMs. Chapter 2 on “Experimental Real-Time Databases” presents various experimental RTDBs developed in academia with their architectures, features, and implementations, while chapter 3 on “Commercial Real-Time Databases” does so for systems developed and offered by commercial vendors as products or services. Eventually, chapter 4 on “Applications of Real-Time Database Systems” showcases various applications of RTDBs across different domains. This book will help researchers, graduate students and advanced professionals to get an overview of the area and to understand the main challenges and systems available.
Publisher: Springer Nature
ISBN: 303144230X
Category : Computers
Languages : en
Pages : 126
Book Description
This book provides an overview of both experimental and commercial real-time database systems (RTDBs) and a systematic approach to understanding, designing, and implementing them. To this end, the book is composed of four chapters: Chapter 1 “An Overview of Real-Time Database Systems” delves into the realm of RTDBs and discusses the specific requirements, transaction models, and scheduling algorithms that set RTDBs apart from conventional DBMs. Chapter 2 on “Experimental Real-Time Databases” presents various experimental RTDBs developed in academia with their architectures, features, and implementations, while chapter 3 on “Commercial Real-Time Databases” does so for systems developed and offered by commercial vendors as products or services. Eventually, chapter 4 on “Applications of Real-Time Database Systems” showcases various applications of RTDBs across different domains. This book will help researchers, graduate students and advanced professionals to get an overview of the area and to understand the main challenges and systems available.
2021 6th International Conference on Intelligent Transportation Engineering (ICITE 2021)
Author: Zhenyuan Zhang
Publisher: Springer Nature
ISBN: 9811922594
Category : Technology & Engineering
Languages : en
Pages : 1238
Book Description
This book features high-quality, peer-reviewed papers from the 2021 6th International Conference on Intelligent Transportation Engineering (ICITE 2021), held in Beijing, China, on October 29–31, 2021. Presenting the latest developments and technical solutions in Intelligent Transportation engineering, it covers a variety of topics, such as intelligent transportation, traffic control, road networking, intelligent automobile and vehicle operation & management. The book will be a valuable reference for graduate and postgraduate audiences, researchers and engineers, working in Intelligent Transportation Engineering.
Publisher: Springer Nature
ISBN: 9811922594
Category : Technology & Engineering
Languages : en
Pages : 1238
Book Description
This book features high-quality, peer-reviewed papers from the 2021 6th International Conference on Intelligent Transportation Engineering (ICITE 2021), held in Beijing, China, on October 29–31, 2021. Presenting the latest developments and technical solutions in Intelligent Transportation engineering, it covers a variety of topics, such as intelligent transportation, traffic control, road networking, intelligent automobile and vehicle operation & management. The book will be a valuable reference for graduate and postgraduate audiences, researchers and engineers, working in Intelligent Transportation Engineering.
IoT for Defense and National Security
Author: Robert Douglass
Publisher: John Wiley & Sons
ISBN: 1119892201
Category : Political Science
Languages : en
Pages : 532
Book Description
IoT for Defense and National Security Practical case-based guide illustrating the challenges and solutions of adopting IoT in both secure and hostile environments IoT for Defense and National Security covers topics on IoT security, architecture, robotics, sensing, policy, operations, and more, including the latest results from the premier IoT research initiative of the U.S. Defense Department, the Internet of Battle Things. The text also discusses challenges in converting defense industrial operations to IoT and summarizes policy recommendations for regulating government use of IoT in free societies. As a modern reference, this book covers multiple technologies in IoT including survivable tactical IoT using content-based routing, mobile ad-hoc networks, and electronically formed beams. Examples of IoT architectures include using KepServerEX for edge connectivity and AWS IoT Core and Amazon S3 for IoT data. To aid in reader comprehension, the text uses case studies illustrating the challenges and solutions for using robotic devices in defense applications, plus case studies on using IoT for a defense industrial base. Written by leading researchers and practitioners of IoT technology for defense and national security, IoT for Defense and National Security also includes information on: Changes in warfare driven by IoT weapons, logistics, and systems IoT resource allocation (monitoring existing resources and reallocating them in response to adversarial actions) Principles of AI-enabled processing for Internet of Battlefield Things, including machine learning and inference Vulnerabilities in tactical IoT communications, networks, servers and architectures, and strategies for securing them Adapting rapidly expanding commercial IoT to power IoT for defense For application engineers from defense-related companies as well as managers, policy makers, and academics, IoT for Defense and National Security is a one-of-a-kind resource, providing expansive coverage of an important yet sensitive topic that is often shielded from the public due to classified or restricted distributions.
Publisher: John Wiley & Sons
ISBN: 1119892201
Category : Political Science
Languages : en
Pages : 532
Book Description
IoT for Defense and National Security Practical case-based guide illustrating the challenges and solutions of adopting IoT in both secure and hostile environments IoT for Defense and National Security covers topics on IoT security, architecture, robotics, sensing, policy, operations, and more, including the latest results from the premier IoT research initiative of the U.S. Defense Department, the Internet of Battle Things. The text also discusses challenges in converting defense industrial operations to IoT and summarizes policy recommendations for regulating government use of IoT in free societies. As a modern reference, this book covers multiple technologies in IoT including survivable tactical IoT using content-based routing, mobile ad-hoc networks, and electronically formed beams. Examples of IoT architectures include using KepServerEX for edge connectivity and AWS IoT Core and Amazon S3 for IoT data. To aid in reader comprehension, the text uses case studies illustrating the challenges and solutions for using robotic devices in defense applications, plus case studies on using IoT for a defense industrial base. Written by leading researchers and practitioners of IoT technology for defense and national security, IoT for Defense and National Security also includes information on: Changes in warfare driven by IoT weapons, logistics, and systems IoT resource allocation (monitoring existing resources and reallocating them in response to adversarial actions) Principles of AI-enabled processing for Internet of Battlefield Things, including machine learning and inference Vulnerabilities in tactical IoT communications, networks, servers and architectures, and strategies for securing them Adapting rapidly expanding commercial IoT to power IoT for defense For application engineers from defense-related companies as well as managers, policy makers, and academics, IoT for Defense and National Security is a one-of-a-kind resource, providing expansive coverage of an important yet sensitive topic that is often shielded from the public due to classified or restricted distributions.
Formal Methods for Industrial Critical Systems
Author: Anne E. Haxthausen
Publisher: Springer Nature
ISBN: 3031681509
Category :
Languages : en
Pages : 267
Book Description
Publisher: Springer Nature
ISBN: 3031681509
Category :
Languages : en
Pages : 267
Book Description
Dependable Computing - EDCC 2021 Workshops
Author: Rasmus Adler
Publisher: Springer Nature
ISBN: 303086507X
Category : Computers
Languages : en
Pages : 164
Book Description
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.
Publisher: Springer Nature
ISBN: 303086507X
Category : Computers
Languages : en
Pages : 164
Book Description
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.
AI Embedded Assurance for Cyber Systems
Author: Cliff Wang
Publisher: Springer Nature
ISBN: 3031426371
Category : Technology & Engineering
Languages : en
Pages : 252
Book Description
The rapid growth and reliance on cyber systems have permeated our society, government, and military which is demonstrated in this book. The authors discuss how AI-powered cyber systems are designed to protect against cyber threats and ensure the security and reliability of digital systems using artificial intelligence (AI) technologies. As AI becomes more integrated into various aspects of our lives, the need for reliable and trustworthy AI systems becomes increasingly important. This book is an introduction to all of the above-mentioned areas in the context of AI Embedded Assurance for Cyber Systems. This book has three themes. First, the AI/ML for digital forensics theme focuses on developing AI and ML powered forensic tools, techniques, software, and hardware. Second, the AI/ML for cyber physical system theme describes that AI/ML plays an enabling role to boost the development of cyber physical systems (CPS), especially in strengthening the security and privacy of CPS. Third, the AI/ML for cyber analysis theme focuses on using AI/ML to analyze tons of data in a timely manner and identify many complex threat patterns. This book is designed for undergraduates, graduate students in computer science and researchers in an interdisciplinary area of cyber forensics and AI embedded security applications. It is also useful for practitioners who would like to adopt AIs to solve cyber security problems.
Publisher: Springer Nature
ISBN: 3031426371
Category : Technology & Engineering
Languages : en
Pages : 252
Book Description
The rapid growth and reliance on cyber systems have permeated our society, government, and military which is demonstrated in this book. The authors discuss how AI-powered cyber systems are designed to protect against cyber threats and ensure the security and reliability of digital systems using artificial intelligence (AI) technologies. As AI becomes more integrated into various aspects of our lives, the need for reliable and trustworthy AI systems becomes increasingly important. This book is an introduction to all of the above-mentioned areas in the context of AI Embedded Assurance for Cyber Systems. This book has three themes. First, the AI/ML for digital forensics theme focuses on developing AI and ML powered forensic tools, techniques, software, and hardware. Second, the AI/ML for cyber physical system theme describes that AI/ML plays an enabling role to boost the development of cyber physical systems (CPS), especially in strengthening the security and privacy of CPS. Third, the AI/ML for cyber analysis theme focuses on using AI/ML to analyze tons of data in a timely manner and identify many complex threat patterns. This book is designed for undergraduates, graduate students in computer science and researchers in an interdisciplinary area of cyber forensics and AI embedded security applications. It is also useful for practitioners who would like to adopt AIs to solve cyber security problems.