This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

This volume constitutes selected papers presented at the First International Conference on Engineering Software for Modern Challenges, ESMoC 2021, held in Johor, Malaysia, in October 20-21, 2021. The 17 papers presented were thoroughly reviewed and selected from the 167 submissions. They are organized in the topical sections on software engineering; intelligent systems; software quality.

This book constitutes the proceedings of the 22st International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2022 in Samos, Greece. The 21 full papers presented in this volume were carefully reviewed and selected from 44 submissions. The papers are organized in topics as follows: High level synthesis; memory systems; processor architecture; embedded software systems and beyond; deep learning optimization; extra-functional property estimation; innovative architectures and tools for security; european research projects on digital systems, services, and platforms.

This book constitutes the refereed proceedings of the Third Latin American Workshop, LAWCN 2021, held in Sao Luis do Maranhao, Brazil, during December 8-10, 2021.The 13 full papers and 3 short papers included in this book were carefully reviewed and selected from 27 submissions. They were organized in topical sections as follows: Interdisciplinary applications of Artificial Intelligence (AI) and Machine Learning (ML); AI and ML applied to robotics; AI and ML applied to biomedical sciences; Health issues and computational neuroscience; Software and hardware implementations in neuroscience; and Neuroengineering - science and technology.

This book constitutes the refereed proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, Virtual Event, July 6-8, 2021. The conference was held virtually due to the COVID-19 crisis. The 10 full papers included in this book were carefully reviewed and selected from 117 submissions.

"This book is a comprehensive text for the design of safety critical, hard real-time embedded systems. It offers a splendid example for the balanced, integrated treatment of systems and software engineering, helping readers tackle the hardest problems of advanced real-time system design, such as determinism, compositionality, timing and fault management. This book is an essential reading for advanced undergraduates and graduate students in a wide range of disciplines impacted by embedded computing and software. Its conceptual clarity, the style of explanations and the examples make the abstract concepts accessible for a wide audience." Janos Sztipanovits, Director E. Bronson Ingram Distinguished Professor of Engineering Institute for Software Integrated Systems Vanderbilt University Real-Time Systems focuses on hard real-time systems, which are computing systems that must meet their temporal specification in all anticipated load and fault scenarios. The book stresses the system aspects of distributed real-time applications, treating the issues of real-time, distribution and fault-tolerance from an integral point of view. A unique cross-fertilization of ideas and concepts between the academic and industrial worlds has led to the inclusion of many insightful examples from industry to explain the fundamental scientific concepts in a real-world setting. Compared to the Second Edition, new developments in communication standards for time-sensitive networks, such as TSN and Time-Triggered Ethernet are addressed. Furthermore, this edition includes a new chapter on real-time aspects in cloud and fog computing. The book is written as a standard textbook for a high-level undergraduate or graduate course on real-time embedded systems or cyber-physical systems. Its practical approach to solving real-time problems, along with numerous summary exercises, makes it an excellent choice for researchers and practitioners alike.

This book contains the refereed proceedings of the 16th International Conference on Knowledge Management in Organizations, KMO 2022, held in Hagen, Germany, in July 2022. The 24 full papers and 5 short papers accepted for KMO 2022 were selected from 61 submissions and are organized in topical sections on: knowledge transfer and sharing; knowledge and organization; knowledge and service innovation; industry 4.0; information and knowledge systems; intelligent science; AI and new trends in KM.

Not only do modeling and simulation help provide a better understanding of how real-world systems function, they also enable us to predict system behavior before a system is actually built and analyze systems accurately under varying operating conditions. Modeling and Simulation of Systems Using MATLAB and Simulink provides comprehensive, state-of-the-art coverage of all the important aspects of modeling and simulating both physical and conceptual systems. Various real-life examples show how simulation plays a key role in understanding real-world systems. The author also explains how to effectively use MATLAB and Simulink software to successfully apply the modeling and simulation techniques presented.

After introducing the underlying philosophy of systems, the book offers step-by-step procedures for modeling different types of systems using modeling techniques, such as the graph-theoretic approach, interpretive structural modeling, and system dynamics modeling. It then explores how simulation evolved from pre-computer days into the current science of today. The text also presents modern soft computing techniques, including artificial neural networks, fuzzy systems, and genetic algorithms, for modeling and simulating complex and nonlinear systems. The final chapter addresses discrete systems modeling.

Preparing both undergraduate and graduate students for advanced modeling and simulation courses, this text helps them carry out effective simulation studies. In addition, graduate students should be able to comprehend and conduct simulation research after completing this book.

Ancillaries
Accompanying CD-ROM includes simulation code in MATLAB and Simulink, enabling quick and useful insight into real-world systems. A solutions manual is available for qualifying instructors.

For the last two decades, IS researchers have conducted empirical studies leading to better understanding of the impact of Systems Analysis and Design methods in business, managerial, and cultural contexts. SA & D research has established a balanced focus not only on technical issues, but also on organizational and social issues in the information society.This volume presents the very latest, state-of-the-art research by well-known figures in the field. The chapters are grouped into three categories: techniques, methodologies, and approaches.

This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022. The 6 full and 2 short papers presented in this volume were carefully reviewed and selected from 17 submissions.

This book constitutes the proceedings of the 20th International Conference on Smart Card Research and Advanced Applications, CARDIS 2021, which took place in November 2021. The conference took place in Lubeck, Germany, and changed to a hybrid format due to the COVID-19 pandemic.The 16 full papers presented in this volume were carefully reviewed and selected from 32 submissions. They were organized in topical sections named Side-Channel Attacks, Fault Attacks, Public Key and Secure Implementations.

This volume constitutes selected papers presented at the First International Conference on Emerging Technology Trends in IoT and Computing, TIOTC 2021, held in Erbil, Iraq, in June 2021. The 26 full papers were thoroughly reviewed and selected from 182 submissions. The papers are organized in the following topical sections: Internet of Things (IOT): services and applications; Internet of Things (IOT) in healthcare industry; IOT in networks, communications and distributed computing; real world application fields in information science and technology.

Emphasizing practical understanding over the technicalities of specific algorithms, this elegant textbook is an accessible introduction to the field of optimization, focusing on powerful and reliable convex optimization techniques. Students and practitioners will learn how to recognize, simplify, model and solve optimization problems - and apply these principles to their own projects. A clear and self-contained introduction to linear algebra demonstrates core mathematical concepts in a way that is easy to follow, and helps students to understand their practical relevance. Requiring only a basic understanding of geometry, calculus, probability and statistics, and striking a careful balance between accessibility and rigor, it enables students to quickly understand the material, without being overwhelmed by complex mathematics. Accompanied by numerous end-of-chapter problems, an online solutions manual for instructors, and relevant examples from diverse fields including engineering, data science, economics, finance, and management, this is the perfect introduction to optimization for undergraduate and graduate students.

The volume LNAI 13054 constitutes the refereed proceedings of the 22th Annual Conference Towards Autonomous Robotic Systems, TAROS 2021, held in Lincoln, UK, in September 2021.*The 45 full papers were carefully reviewed and selected from 66 submissions. Organized in the topical sections "Algorithms" and "Systems", they discuss significant findings and advances in the following areas: artificial intelligence; mechatronics; image processing and computer vision; special purpose and application-based systems; user interfaces and human computer interaction. * The conference was held virtually due to the COVID-19 pandemic.

This book constitutes the post-conference proceedings of the 2nd International Conference on Modern Problems of Robotics, MPoR 2020, held in Moscow, Russia, in March 2020.The 16 revised full papers were carefully reviewed and selected from 21 submissions. The volume includes the following topical sections: Collaborative Robotic Systems, Robotic Systems Design and Simulation, and Robots Control. The papers are devoted to the most interesting today's investigations in Robotics, such as the problems of the human-robot interaction, the problems of robot design and simulation, and the problems of robot and robotic complexes control.

This book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021. The 20 full and the 4 short workshop papers presented were carefully reviewed and selected from 61 submissions. The papers are organized according to the workshops: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due to the Covid-19 pandemic).The 10 revised full papers presented were carefully reviewed and selected from 17 submissions. In addition to this, one keynote paper was included in the workshop. The volume contains two sections: Open Scheduling Problems and Proposals and Technical Papers. The papers cover such topics as parallel computing, distributed systems, workload modeling, performance optimization, and others.

First published in 1958, John von Neumann's classic work The Computer and the Brain explored the analogies between computing machines and the living human brain. Von Neumann showed that the brain operates both digitally and analogically, but also has its own unique statistical language. And more than fifty years after its inception the von Neumann architecture - an organizational framework for computer design - still lies at the heart of today's machines. In his foreword to this new edition, Ray Kurzweil, a futurist famous for his own musings on the relationship between technology and consciousness, places von Neumann's work in a historical context and shows how it remains relevant today.

Understand and Solve Your Customers' Real Problems with Agile Business Analysis To deliver real value, you must understand what your customers truly value, and solve the problems they really need solved. Business analysis can help you do this-and it's as crucial in agile environments now as it always has been. In Business Analysis Agility, leading experts James Robertson and Suzanne Robertson show how to perform business analysis in an agile way: trying new things, adapting to changes and discoveries, staying flexible, and being quick. Drawing on their unsurpassed experience of hundreds of projects and organizations, the Robertsons help you prioritize relentlessly, focus investments on delivering value, and learn in ways that improve your results. Uncover the real customer problems hidden behind assumptions and conventional solutions Hypothesize potential solutions and quickly test them with safe-to-fail probes Understand how people, hardware, software, organizations, and other components come together in an optimal customer experience Write stories that help you find solutions that deliver more value to customers and the business Think about problems and projects in more agile, nimble, and open-minded ways The Robertsons' approach to analytical thinking will be valuable to anyone who wants to build better software in agile environments: analysts, developers, team leads, project managers, software architects, and other team members and stakeholders at all levels of experience.

This primer begins with an introduction to the special tools and issues that face embedded systems developers. It then delves into the details of real-time programming using a real-world, commercial real-time operating system (RTOS). Objects and services that are a part of most RTOS kernels are described and real-time system design is explored in detail. Readers learn how to decompose an application into units and how to combine these units with other objects and services to create standard building blocks called software circuits. This process will yield an understanding of the common design patterns and programme structures.

This book constitutes the refereed proceedings of the 22nd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2022, which was held in October 2022. Due to COVID-19 pandemic the conference was held virtually. The 33 full papers and 10 short papers, presented were carefully reviewed and selected from 91 submissions. The papers cover many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems

Books on information theory and coding have proliferated over the last few years, but few succeed in covering the fundamentals without losing students in mathematical abstraction. Even fewer build the essential theoretical framework when presenting algorithms and implementation details of modern coding systems.

Without abandoning the theoretical foundations, Fundamentals of Information Theory and Coding Design presents working algorithms and implementations that can be used to design and create real systems. The emphasis is on the underlying concepts governing information theory and the mathematical basis for modern coding systems, but the authors also provide the practical details of important codes like Reed-Solomon, BCH, and Turbo codes. Also setting this text apart are discussions on the cascading of information channels and the additivity of information, the details of arithmetic coding, and the connection between coding of extensions and Markov modelling.

Complete, balanced coverage, an outstanding format, and a wealth of examples and exercises make this an outstanding text for upper-level students in computer science, mathematics, and engineering and a valuable reference for telecommunications engineers and coding theory researchers.

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing (e.g., computing resources, services, metadata, data sources) across different sites connected through networks has led to an evolution of data- and knowledge management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. This, the 48th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains 8 invited papers dedicated to the memory of Prof. Dr. Roland Wagner. The topics covered include distributed database systems, NewSQL, scalable transaction management, strong consistency, caches, data warehouse, ETL, reinforcement learning, stochastic approximation, multi-agent systems, ontology, model-driven development, organisational modelling, digital government, new institutional economics and data governance.

This book constitutes the refereed proceedings of the 22nd Smoky Mountains Computational Sciences and Engineering Conference on Accelerating Science and Engineering Discoveries Through Integrated Research Infrastructure for Experiment, Big Data, Modeling and Simulation, SMC 2022, held virtually, during August 23-25, 2022. The 24 full papers included in this book were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows: foundational methods enabling science in an integrated ecosystem; science and engineering applications requiring and motivating an integrated ecosystem; systems and software advances enabling an integrated science and engineering ecosystem; deploying advanced technologies for an integrated science and engineering ecosystem; and scientific data challenges.

This book constitutes revised selected papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, which was held virtually in March 2022. The 9 full papers presented in this volume were carefully reviewed and selected from 17 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in the area.