Computer Aided Verification

Computer Aided Verification
Author: Isil Dillig
Publisher: Springer
Total Pages: 680
Release: 2019-07-12
Genre: Computers
ISBN: 3030255409

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.

Resource Proportional Software Design for Emerging Systems

Resource Proportional Software Design for Emerging Systems
Author: Suparna Bhattacharya
Publisher: CRC Press
Total Pages: 353
Release: 2020-02-21
Genre: Computers
ISBN: 1351682334

Efficiency is a crucial concern across computing systems, from the edge to the cloud. Paradoxically, even as the latencies of bottleneck components such as storage and networks have dropped by up to four orders of magnitude, software path lengths have progressively increased due to overhead from the very frameworks that have revolutionized the pace of information technology. Such overhead can be severe enough to overshadow the benefits from switching to new technologies like persistent memory and low latency interconnects. Resource Proportional Software Design for Emerging Systems introduces resource proportional design (RPD) as a principled approach to software component and system development that counters the overhead of deeply layered code without removing flexibility or ease of development. RPD makes resource consumption proportional to situational utility by adapting to diverse emerging needs and technology systems evolution. Highlights: Analysis of run-time bloat in deep software stacks, an under-explored source of power-performance wastage in IT systems Qualitative and quantitative treatment of key dimensions of resource proportionality Code features: Unify and broaden supported but optional features without losing efficiency Technology and systems evolution: Design software to adapt with changing trade-offs as technology evolves Data processing: Design systems to predict which subsets of data processed by an (analytics or ML) application are likely to be useful System wide trade-offs: Address interacting local and global considerations throughout software stacks and hardware including cross-layer co-design involving code, data and systems dimensions, and non-functional requirements such as security and fault tolerance Written from a systems perspective to explore RPD principles, best practices, models and tools in the context of emerging technologies and applications This book is primarily geared towards practitioners with some advanced topics for researchers. The principles shared in the book are expected to be useful for programmers, engineers and researchers interested in ensuring software and systems are optimized for existing and next generation technologies. The authors are from both industry (Bhattacharya and Voigt) and academic (Gopinath) backgrounds.

Automated Deduction - CADE 28

Automated Deduction - CADE 28
Author: André Platzer
Publisher: Springer Nature
Total Pages: 655
Release: 2021
Genre: Artificial intelligence
ISBN: 3030798763

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.

Programming Languages and Systems

Programming Languages and Systems
Author: Ilya Sergey
Publisher: Springer Nature
Total Pages: 604
Release: 2022-03-28
Genre: Computers
ISBN: 3030993361

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Navigating Cyber Threats and Cybersecurity in the Logistics Industry

Navigating Cyber Threats and Cybersecurity in the Logistics Industry
Author: Jhanjhi, Noor Zaman
Publisher: IGI Global
Total Pages: 467
Release: 2024-03-05
Genre: Computers
ISBN:

Supply chains are experiencing a seismic shift towards customer-centricity and sustainability and the challenges that are bound to arise will require innovative solutions. The escalating complexities of logistics, exacerbated by the profound impacts of the pandemic, underscore the urgency for a paradigm shift. Every industry is grappling with unprecedented disruptions from shortages in essential components to workforce deficits. Navigating Cyber Threats and Cybersecurity in the Logistics Industry serves as a beacon of insight and solutions in this transformative landscape. This groundbreaking book, a result of an in-depth study evaluating 901 startups and scale-ups globally, delves into the Top Logistics Industry Trends & Startups. It unveils the pivotal role of the Insights Discovery Platform, powered by Big Data and Artificial Intelligence, covering over 2 million startups and scale-ups worldwide. This platform offers an immediate and comprehensive assessment of innovations, facilitating the early identification of startups and scale-ups that hold the key to revolutionizing logistics.

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
Author: Armin Biere
Publisher: Springer Nature
Total Pages: 425
Release: 2020-04-17
Genre: Computers
ISBN: 3030452379

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

Cybersecurity Measures for E-Government Frameworks

Cybersecurity Measures for E-Government Frameworks
Author: Zaman, Noor
Publisher: IGI Global
Total Pages: 280
Release: 2022-03-11
Genre: Computers
ISBN: 1799896269

As an application of information technology (IT), e-government is used for delivery in government for services and information exchange between the government and the public. This electronic service delivery is an important innovation to society; however, it also attracts hackers and cyberattacks. It is essential to provide fast protection application software and structure. Cybersecurity Measures for E-Government Frameworks provides security techniques and measures to e-governance applications. It further discusses emerging technologies in the cybersecurity field as well as the specific uses they have to e-government technologies. Covering topics such as cyberattack detection, deep learning, and preventive approaches, this book is an essential resource for government officials, security professionals, students and educators of higher education, IT professionals, researchers, and academicians.

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
Author: Sriram Sankaranarayanan
Publisher: Springer Nature
Total Pages: 615
Release: 2023-04-19
Genre: Computers
ISBN: 3031308204

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.