Browse Results

Select your format based upon: 1) how you want to read your book, and 2) compatibility with your reading tool. To learn more about using Bookshare with your device, visit the Help Center.

Here is an overview of the specialized formats that Bookshare offers its members with links that go to the Help Center for more information.

• Bookshare Web Reader - A customized reading tool for Bookshare members offering all the features of DAISY with a single click of the "Read Now" link.
• DAISY (Digital Accessible Information System) - A digital book file format. DAISY books from Bookshare are DAISY 3.0 text files that work with just about every type of access technology that reads text. Books that contain images will have the download option of ‘DAISY Text with Images’.
• BRF (Braille Refreshable Format) - Digital Braille for use with refreshable Braille devices and Braille embossers.
• MP3 (MPEG audio layer 3) - Provides audio only with no text. These books are created with a text-to-speech engine and spoken by Kendra, a high quality synthetic voice from Ivona. Any device that supports MP3 playback is compatible.
• DAISY Audio - Similar to the DAISY option above; however, this option uses MP3 files created with our text-to-speech engine that utilizes Ivonas Kendra voice. This format will work with Daisy Audio compatible players such as Victor Reader Stream and Read2Go.
• EPUB - A standard e-book format that can be read on many tools, such as iBooks, Readium or others.
• Word - Accessible Word output, which can be unzipped and opened in any tool that allows .docx files

Rules on the Web: 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings (Lecture Notes in Computer Science #7438)

This book constitutes the refereed proceedings of the International RuleML Symposium, RuleML 2012, held in Montpellier, France, in August 2012 - collocated with the 20th biennial European Conference on Artificial Intelligence, ECAI 2012. The 14 full papers, 8 short papers and 2 track papers presented together with 2 keynote talks were carefully reviewed and selected from numerous submissions. The accepted papers address topics such as business rules and processes; rule-based event processing and reaction rules; rule-based policies and agents on the pragmatic web; rules and the semantic web; rule markup languages and rule interchange; and rule transformation, extraction and learning.

Ruling Distributed Dynamic Worlds (Wiley Series on Parallel and Distributed Computing #65)

A sequel to Mobile Processing in Distributed and Open Environments, this title introduces an extended, universal WAVE-WP model for distributed processing and control in dynamic and open worlds of any natures. The new control theory and technology introduced in the book can be widely used for the design and implementation of many distributed control systems, such as intelligent network management for the Internet, mobile cooperative robots, Rapid Reaction forces, future Combat Systems, robotics and AI, NMD, space research on other planets, and other applications. This title: * Demonstrates a much simpler and more efficient application programming * Cultivates a new kind of thinking about how large dynamic systems should be designed, organized, tasked, simulated, and controlled * Introduces an extended, universal WAVE-WP model for distributed processing * Compares the universal WAVE-WP model to other existing systems used in intelligent networking

Run Grow Transform: Integrating Business and Lean IT

Today's customers want it all and they want it now: innovation, speed, agility, and value. How can you drive operational excellence, stimulate growth, and accelerate idea-to-value innovation throughout your enterprise? Shingo Prize-winning author Steve Bell, joined by other thought leaders, offers useful insights and examples you can start using now. Run Grow Transform takes the next logical step to driving enterprise value. This could be the game-changing playbook for IT 3.0. -Mark Katz, CIO & Senior Vice President, Esselte Corporation A powerful read detailing how companies can leverage their Lean IT transformation to supercharge the business. -Tom Paider, IT Build Capability Leader, Nationwide The consistent application of the practices described in this book has enabled Embraer to reap huge gains. I recommend this book as a desktop companion. -Alexandre Baule, Vice President Information Systems, Embraer Run Grow Transform takes the reader a leap forward, ready for immediate application to bridge Lean and innovation. -Melissa Barrett, Enterprise Architecture & IT Strategy, Premera Blue Cross This book focuses on the most critical and challenging issue for any aspect of the development or use of IT: creating a collaborative learning culture. -Jeffrey K. Liker, Shingo Prize-Winning Author of The Toyota Way Run Grow Transform sets out the principles and practices necessary for success in the new economy. -Jez Humble, author of Continuous Delivery Steve Bell has hit another home run with this book. Either your organization will adopt the wisdom contained in this book and thrive, or your competitors will do so and put you out of business. -Scott Ambler, author Disciplined Agile Delivery and 19 other books It's rare to see truly new insight added to the Lean discussion. Steve Bell does just that by continuing to push the frontiers of Lean thinking. -Alexander Brown, COO, Scrum Inc. A powerful read detailing how companies can leverage their Lean IT transformation to supercharge the business. -Tom Paider, IT Build Capability Leader, Nationwide Steve Bell has mapped a new trajectory. I challenge any CIO to read Bell's breakthrough work and not be compelled to start this journey to become a transformative leader in the creation of real and sustainable value. -Jeffrey Barnes, Society for Information Management (SIM), Regional Director, Advanced Practices Council All too often the IT organization is viewed as an impediment to lean transformation, when it truly can be a catalyst. Steve's book sorts out all the noise, the jargon, and the "hero culture", guiding the reader to what is so obvious, yet so hard to see: build your culture around your customer! -Josh Rapoza, Director of Web Strategy and Operations, Lean Enterprise Institute Aligning Lean and IT is a great challenge with a big payoff. This book really shows how Lean and IT can create a strong enterprise; it's a great inspiration. -Klaus Lyck Petersen, Solar A/S A must read for any organization that is pursuing continuous improvement. In today's world, real business improvement cannot be achieved without the IT factor; this book will help any organization achieve the improvement that they are seeking. -Barry J. Brunetto, Vice President, Information Systems, Blount International Precise, concise, and entertaining, this book provides the reader with crucial tips on how IT can help enterprises survive and thrive in a fast-paced technological and economic environment. This is mandatory reading not only for businesses and IT organizations, but also for universities and policy makers. -Fuat Alican, PhD, Vice President, Central American Scientific Research and Education Center Not just for Lean Practitioners, Run Grow Transform is a must-have reference for any IT organization, regardless of size, age or industry, looking to move to the next level of performance. -Sarah Topham, Lean Deployment Leader, Information Technology & Product Management, Paychex, Inc. This is a long overdue book that addresses the key challenges for today's IT organization and puts Lean IT into

Run Grow Transform: Integrating Business and Lean IT

Today's customers want it all and they want it now: innovation, speed, agility, and value. How can you drive operational excellence, stimulate growth, and accelerate idea-to-value innovation throughout your enterprise? Shingo Prize-winning author Steve Bell, joined by other thought leaders, offers useful insights and examples you can start using now. Run Grow Transform takes the next logical step to driving enterprise value. This could be the game-changing playbook for IT 3.0. -Mark Katz, CIO & Senior Vice President, Esselte Corporation A powerful read detailing how companies can leverage their Lean IT transformation to supercharge the business. -Tom Paider, IT Build Capability Leader, Nationwide The consistent application of the practices described in this book has enabled Embraer to reap huge gains. I recommend this book as a desktop companion. -Alexandre Baule, Vice President Information Systems, Embraer Run Grow Transform takes the reader a leap forward, ready for immediate application to bridge Lean and innovation. -Melissa Barrett, Enterprise Architecture & IT Strategy, Premera Blue Cross This book focuses on the most critical and challenging issue for any aspect of the development or use of IT: creating a collaborative learning culture. -Jeffrey K. Liker, Shingo Prize-Winning Author of The Toyota Way Run Grow Transform sets out the principles and practices necessary for success in the new economy. -Jez Humble, author of Continuous Delivery Steve Bell has hit another home run with this book. Either your organization will adopt the wisdom contained in this book and thrive, or your competitors will do so and put you out of business. -Scott Ambler, author Disciplined Agile Delivery and 19 other books It's rare to see truly new insight added to the Lean discussion. Steve Bell does just that by continuing to push the frontiers of Lean thinking. -Alexander Brown, COO, Scrum Inc. A powerful read detailing how companies can leverage their Lean IT transformation to supercharge the business. -Tom Paider, IT Build Capability Leader, Nationwide Steve Bell has mapped a new trajectory. I challenge any CIO to read Bell's breakthrough work and not be compelled to start this journey to become a transformative leader in the creation of real and sustainable value. -Jeffrey Barnes, Society for Information Management (SIM), Regional Director, Advanced Practices Council All too often the IT organization is viewed as an impediment to lean transformation, when it truly can be a catalyst. Steve's book sorts out all the noise, the jargon, and the "hero culture", guiding the reader to what is so obvious, yet so hard to see: build your culture around your customer! -Josh Rapoza, Director of Web Strategy and Operations, Lean Enterprise Institute Aligning Lean and IT is a great challenge with a big payoff. This book really shows how Lean and IT can create a strong enterprise; it's a great inspiration. -Klaus Lyck Petersen, Solar A/S A must read for any organization that is pursuing continuous improvement. In today's world, real business improvement cannot be achieved without the IT factor; this book will help any organization achieve the improvement that they are seeking. -Barry J. Brunetto, Vice President, Information Systems, Blount International Precise, concise, and entertaining, this book provides the reader with crucial tips on how IT can help enterprises survive and thrive in a fast-paced technological and economic environment. This is mandatory reading not only for businesses and IT organizations, but also for universities and policy makers. -Fuat Alican, PhD, Vice President, Central American Scientific Research and Education Center Not just for Lean Practitioners, Run Grow Transform is a must-have reference for any IT organization, regardless of size, age or industry, looking to move to the next level of performance. -Sarah Topham, Lean Deployment Leader, Information Technology & Product Management, Paychex, Inc. This is a long overdue book that addresses the key challenges for today's IT organization and puts Lean IT into

Run-time Adaptation for Reconfigurable Embedded Processors

Embedded processors are the heart of embedded systems. Reconfigurable embedded processors comprise an extended instruction set that is implemented using a reconfigurable fabric (similar to a field-programmable gate array, FPGA). This book presents novel concepts, strategies, and implementations to increase the run-time adaptivity of reconfigurable embedded processors. Concepts and techniques are presented in an accessible, yet rigorous context. A complex, realistic H.264 video encoder application with a high demand for adaptivity is presented and used as an example for motivation throughout the book. A novel, run-time system is demonstrated to exploit the potential for adaptivity and particular approaches/algorithms are presented to implement it.

Run-time Models for Self-managing Systems and Applications (Autonomic Systems)

The complexity of Information Technology (IT) systems has been steadily incre- ing in the past decades. In October 2001, IBM released the “Autonomic Computing Manifesto” observing that current applications have reached the size of millions of lines of code, while physical infrastructures include thousands of heterogeneous servers requiring skilled IT professionals to install, con?gure, tune, and maintain. System complexity has been recognized as the main obstacle to the further advan- ment of IT technology. The basic idea of Autonomic Computing is to develop IT systems that are able to manage themselves, as the human autonomic nervous system governs basic body functions such as heart rate or body temperature, thus freeing the conscious brain— IT administrators—from the burden of dealing with low-level vital functions. Autonomic Computing systems can be implemented by introducing autonomic controllers which continuously monitor, analyze, plan, and execute (the famous MAPE cycle) recon?guration actions on the system components. Monitoring acti- ties are deployed to measure the workload and performance metrics of each running component so as to identify system faults. The goal of the analysis activities is to determine the status of components from the monitoring data, and to forecast - ture conditions based on historical observations. Finally, plan and execute activities aim at deciding and actuating the next system con?guration, for example, deciding whether to accept or reject new requests, determining the best application to servers assignment, in order to the achieve the self-optimization goals.

Runescape Gold Strategy Guide

A practical and concise tutorial leading the player to understand how to get the most out of their in game time. Packt Gold Strategy Guides are a workout, not a walkthrough! Newcomers or experienced players of the Runescape online game. Both free and pay-for members will benefit from the book.

Running an Agile Software Development Project

A Practical Approach To Building Small To Medium Software Systems For Real Business Clients Based on more than 100 actual commercial projects, this book clearly explains how to run an agile software development project that delivers high-quality, high-value solutions to business clients. It concentrates on the practical, social, business, and management aspects as well as the technical issues involved. Professor Holcombe successfully connects readers with the wave of "Agile 2.0" concepts that take the techniques of agile development and place them in the service of business goals. Since it is widely believed that the use of Windows XP will become much more common in coming years, readers should be armed with cutting-edge knowledge of the latest practices in the field. Further features of the book include: Case studies provide real-world examples and describe how XP was introduced into the environment Analysis is provided to help readers determine which elements of XP are suitable for the unique challenges and environments for different projects Problems of a failing agile project and how they can be fixed are covered, including insight into which managerial techniques can be employed An Instructor's Guide provides practical advice on how to motivate students, organize real group projects, and deal, in a simple and effective way, with many of the problems that arise A sample syllabus, sample tests, and additional case study information are available on an instructor's password-protected ftp site Running an Agile Software Development Project is an indispensable guide for professional software developers, engineers, and project managers interested in learning how to use agile processes. It is also a valuable textbook for advanced undergraduate- and graduate-level students in computer engineering and software engineering courses.

Running ESXi on a Raspberry Pi: Installing VMware ESXi on Raspberry Pi 4 to run Linux virtual machines

Gain foundational knowledge of ESXi technology and understand why it is such a dominant force in the datacenter. This book also looks beyond ESXi to other vSphere technologies, such as virtual machines (VMs), vMotion, and vCenter Server. Knowing how these technologies complement ESXi running on a Raspberry Pi will help you get the most out of ESXi on Arm technologies. This marks a significant change for ESXi, and has created new learning opportunities and use cases for both seasoned ESXi users and users completely new to the virtualization space. For those already familiar with ESXi but new to the Raspberry Pi, you’ll develop an in-depth understanding of this device and why it has become such a popular platform for technologists. Once you’ve learned the fundamentals, you’ll be introduced to enterprise, edge, and personal use-cases for this technology. Then, you’ll be walked through the process of installing ESXi on a Pi, as well as managing and monitoring it. You will also come to recognize its strengths and limitations and become familiar with the storage and networking options that are currently available. Lastly, given the fact that the sole purpose of running ESXi on a Pi is to run VMs on it, you’ll receive detailed step-by-step instructions for installing popular OSes including Ubuntu, CentOS, and Raspberry Pi OS. What You'll LearnBuild a fully functional ESXi server on a Raspberry PiSelect the correct hardware for particular use casesCreate and optimize virtual machines running on a PiRun Kubernetes on a Pi running ESXi Who This Book Is ForThose new to the datacenter who want a low-cost way to work with one of the most powerful datacenter technologies to experienced datacenter professionals who need to use ESXi on Arm to complement their enterprise’s long-term strategic goals.

Running IPv6

* Covers IPv6 on Windows XP, MacOS X, FreeBSD, and Linux. * It is on the cusp of the next Internet breakthrough. Network administrators will have to accommodate this technology eventually; this book will help them become more proficient. * IPv6 is gaining popularity, even the US government is starting to adopt it.

Running Mainframe z on Distributed Platforms: How to Create Robust Cost-Efficient Multiplatform z Environments

"Running Mainframe z on Distributed Platforms is particularly suitable for a more detailed discussion." Bill Ogden, IBM zPDT Redbook, April 2015"The authors offer very well-reasoned solutions accompanied by case studies, which will be useful to specialists. The book is made even more useful as the System z mainframe-based solutions offer an advanced systems management environment for significant segments of data within large companies." Eugen Petac, Computing Reviews, Oct. 8, 2014"Should you choose to implement zPDT, RDz UT, or RD&T in your team's arsenal, you will find Barrett and Norris’s insights, genius, and hard work illuminating as to how to rationally and economically manage the environment." —Scott Fagen, Chief Architect—System z Business, CA Technologies"A must-read for anyone interested in successfully deploying cost-efficient zPDT environments with agility in an enterprise that requires simple or complex configurations. The case-study-based exposition of the content allows for its easy consumption and use. Excellent!" —Mahendra Durai, SVP & Information Technology Officer, CARunning Mainframe z on Distributed Platforms reveals alternative techniques not covered by IBM for creatively adapting and enhancing multi-user IBM zPDT environments so that they are more friendly, stable, and reusable than those envisaged by IBM. The enhancement processes and methodologies taught in this book yield multiple layers for system recovery, 24x7 availability, and superior ease of updating and upgrading operating systems and subsystems without having to rebuild environments from scratch.Most of the techniques and processes covered in this book are not new to either the mainframe or distributed platforms. What is new in this book are the authors’ innovative methods for taking distributed environments running mainframe virtual machine (VM) and multiple virtual storage (MVS) and making them look and feel like other MVS systems.The authors’ combined expertise involves every aspect of the implementation of IBM zPDT technology to create virtualized mainframe environments by which the mainframe operations on a z series server can be transitioned to distributed platforms. All of the enhancement methods consecutively laid out in this book have been architected and developed by the authors for the CA Technologies distributed platform. Barrett and Norris impart these techniques and processes to CIOs and CTOs across the mainframe and distributed fields, to zPDT and RDz UT implementers, and to IBM’s independent software vendors and customers.

Running Microsoft Workloads on AWS: Active Directory, Databases, Development, and More

Did you know that Amazon Web Services runs nearly double the amount of Microsoft Workloads in the cloud than any other provider?Running Microsoft Workloads in AWS is your single-source solution for learning the best practice skills and guidance that AWS consultants offer their customers in the field. Over 70% of enterprise workloads are based on Microsoft technologies and AWS has been running these technologies in the AWS Cloud for more than 12 years—far longer than Microsoft’s own Azure cloud platform. This book introduces AWS foundations and compares them to traditional Microsoft architectures, showing you how to design your AWS Cloud platform to run your current Microsoft solutions. It covers the crucial area of identity and access control, showing how to implement Active Directory inside the AWS platform and the most secure ways of enabling Single Sign On from your own data centers and from Microsoft AzureAD. The book goes in-depth and shows how developers across the globe are using their existing .NET skills to develop directly on top of AWS, using current AWS development services such as AWS Code Pipeline, AWS Code Build, and AWS Code Deploy to create the next generation of cloud-native applications using the most popular cloud serverless service—AWS Lambda. What You Will LearnBe familiar with the basic building blocks of AWS and how the terminology differs from your own data center and Microsoft AzureUnderstand Amazon Machine Images (AMI) strategies and solutions to best manage the trade-off between speed and manageabilityRun one of the most popular Microsoft products: SQL Server on AWSBe aware of the different database architecture designs for using Amazon RDS and Amazon EC2Read an overview of Serverless Development in the AWS cloud from a Microsoft .NET perspectiveKnow migration strategies for moving your Microsoft Workloads to the AWS Cloud Who This Book Is For Covers high-level concepts and solutions for CTOs and CCTOs; provides a solution for architects; and dives deep into the topic for administrators and DevOps engineers

Running Windows Containers on AWS: A complete guide to successfully running Windows containers on Amazon ECS, EKS, and AWS Fargate

Windows applications are everywhere, from basic intranet applications to high-traffic public APIs. Their prevalence underscores the importance of combining the same tools and experience for managing a modern containerized application with existing critical Windows applications to reduce costs, achieve outstanding operational excellence, and modernize quickly. This comprehensive guide to running and managing Windows containers on AWS looks at the best practices from years of customer interactions to help you stay ahead of the curve. Starting with Windows containers basics, you’ll learn about the architecture design that powers Amazon ECS, EKS, and AWS Fargate for Windows containers. With the help of examples and best practices, you’ll explore in depth how to successfully run and manage Amazon ECS, EKS, and AWS Fargate clusters with Windows containers support. Next, the book covers day 2 operations in detail, from logging and monitoring to using ancillary AWS tools that fully containerize existing legacy .NET Framework applications into containers without any code changes. The book also covers the most common Windows container operations, such as image lifecycle and working with ephemeral hosts. By the end of this book, you’ll have mastered how to run Windows containers on AWS and be ready to start your modernization journey confidently.Key FeaturesLeverage the most recent best practices to run and manage Windows containers on AWSLearn about AWS tools to containerize and run Windows containers on AWSDeeper understanding on how Amazon ECS, EKS, and Fargate supports Windows containersWhat you will learnGet acquainted with Windows container basicsRun and manage Windows containers on Amazon ECS, EKS, and AWS FargateEffectively monitor and centralize logs from Windows containersProperly maintain Windows hosts and keep container images up to dateManage ephemeral Windows hosts to reduce operational overheadWork with the container image cache to speed up the container’s boot timeWho this book is forThis book is targeted towards DevOps engineer, SREs, solution architects, or a Windows sysadmin who wants to learn more about running Windows containers on AWS. In order to learn from this book, you should have a basic understanding of containers, Docker, and Kubernetes. The book is also beneficial for Windows application developers who want to explore how to achieve better application scalability using containers as a compute layer.

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science #6418)

Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Lecture Notes in Computer Science #9333)

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions.The discussion of the conference centers around two main aspects. The first is to understand wether the runtime verification techniques can practically complement the traditional methods proving programs correct before their execution, such as model checking and theorem proving. The second concerns with formal methods and how their application can improve traditional ad-hoc monitoring techniques used in performance monitoring, hardware design emulation and simulation, etc.

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science #5779)

Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings (Lecture Notes in Computer Science #8734)

This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and 8short papers were carefully reviewed and selected from 70 submissions. The scope of the conference was on following topics: monitoring and trace slicing, runtime verification of distributed and concurrent systems, runtime Verification of real-time and embedded systems, testing and bug finding, and inference and learning.

Runtime Verification: 18th International Conference, Rv 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings (Lecture Notes in Computer Science #11237)

This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018. The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.Chapter “Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Runtime Verification: A Hands-On Approach in Java

This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient practical knowledge required to consider and apply it in industry. It starts with almost no assumptions on the knowledge of the reader and provides exercises throughout the book through which the reader builds their own runtime verification tool. All that is required are basic programming skills and a good working knowledge of the object-oriented paradigm, ideally Java. Drawing from years of the authors' real-world experience, the reader progresses from manually writing runtime verification code to instrumenting monitoring using aspect-oriented programming, after which they explore increasing levels of specification abstraction: automata, regular expressions, and linear time temporal logic. A range of other topics is also explored in the book, including real-time properties, concerns of efficiency and persistence, integration with testing and architectural considerations. The book is written for graduate students specializing in software engineering as well as for industry professionals who need an introduction to the topic of runtime verification. While the book focuses on underlying foundations and practical techniques, it additionally provides for each chapter a reading list in the appendix for the interested reader who would like to deepen their knowledge in a particular area.

Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings (Lecture Notes in Computer Science #13498)

This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification.

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings (Lecture Notes in Computer Science #12399)

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic. The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial papers, 6 tool papers, and a benchmark paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. The papers are organized in the following topical sections: runtime verification for autonomy; runtime verification for software; runtime verification with temporal logic specifications; stream-based monitoring; and runtime verification for cyber-physical systems.

Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings (Lecture Notes in Computer Science #10012)

This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings (Lecture Notes in Computer Science #12974)

This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.

Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Lecture Notes in Computer Science #11757)

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.Chapter “Assumption-Based Runtime Verification with Partial Observability and Resets” and chapter “NuRV: a nuXmv Extension for Runtime Verification“ are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings (Lecture Notes in Computer Science #14245)

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3–6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.