Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. It will support an ecosystem of smart applications and services bringing hyper-connectivity to our society by using augmented and rich interfaces. Whereas in the beginning IoT referred to the advent of barcodes and Radio Frequency Identification (RFID), which helped to automate inventory, tracking and basic identification, today IoT is characterized by a dynamic trend toward connecting smart sensors, objects, devices, data and applications. The next step will be “cognitive IoT,” facilitating object and data re-use across application domains and leveraging hyper-connectivity, interoperability solutions and semantically enriched information distribution.The Architectural Reference Model (ARM), presented in this book by the members of the IoT-A project team driving this harmonization effort, makes it possible to connect vertically closed systems, architectures and application areas so as to create open interoperable systems and integrated environments and platforms. It constitutes a foundation from which software companies can capitalize on the benefits of developing consumer-oriented platforms including hardware, software and services.The material is structured in two parts. Part A introduces the general concepts developed for and applied in the ARM. It is aimed at end users who want to use IoT technologies, managers interested in understanding the opportunities generated by these novel technologies, and system architects who are interested in an overview of the underlying basic models. It also includes several case studies to illustrate how the ARM has been used in real-life scenarios. Part B then addresses the topic at a more detailed technical level and is targeted at readers with a more scientific or technical background. It provides in-depth guidance on the ARM, including a detailed description of a process for generating concrete architectures, as well as reference manuals with guidelines on how to use the various models and perspectives presented to create a concrete architecture. Furthermore, best practices and tips on how system engineers can use the ARM to develop specific IoT architectures for dedicated IoT solutions are illustrated and exemplified in reverse mapping exercises of existing standards and platforms.

Information Systems Applications (incl. Internet) --- Business IT Infrastructure --- Computer Appl. in Administrative Data Processing --- Operations Management --- Software Engineering --- Special Purpose and Application-Based Systems --- Business Information Systems --- Ubiquitous Computing --- Reference Architecture --- Spatio-Temporal Systems --- Smart Objects --- Supply Chain Management --- IoT --- SCM --- Web Applications --- Internet of Things --- Smart Homes --- RFID

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 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 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.

Software Engineering --- Special Purpose and Application-Based Systems --- Control Structures and Microprogramming --- Computer System Implementation --- Information Systems and Communication Service --- Artificial Intelligence --- open access --- software engineering --- requirements engineering --- model-based design --- software analysis --- testing --- software architectures --- security --- model transformations --- software evolution --- software product lines --- architecting --- artificial intelligence --- computer programming --- computer systems --- embedded systems --- mathematics --- software architecture --- software design --- Expert systems / knowledge-based systems --- Algorithms & data structures --- Systems analysis & design --- Computer networking & communications --- Artificial intelligence

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.

Logic Design --- Computer System Implementation --- Computer Communication Networks --- Special Purpose and Application-Based Systems --- Software Engineering --- Operating Systems --- open access --- reversible computation --- semantics of reversible computation --- formal methods --- models of computation --- circuit design --- simulation --- robotics --- debugging --- quantum computing --- wireless communications --- programming languages --- dependability --- modelling of biochemical systems --- computer networks --- engineering --- software engineering --- parallel processing systems --- theoretical computer science --- Computer architecture & logic design --- Systems analysis & design --- Network hardware --- Expert systems / knowledge-based systems --- Operating systems

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Theory of Computation --- Special Purpose and Application-Based Systems --- Computer System Implementation --- Control Structures and Microprogramming --- Mathematics of Computing --- open access --- specification and verification techniques --- software and hardware verification --- SAT and SMT solving --- theorem proving --- model checking --- static and dynamic program analysis --- testing --- system construction and transformation techniques --- tool environments and tool architectures --- abstraction techniques for modeling and verification --- compositional and refinement-based methodologies --- mathematics --- software engineering --- software design --- architecting --- software architecture --- embedded systems --- automata theory --- linguistics --- Computer science --- Mathematical theory of computation --- Expert systems / knowledge-based systems --- Systems analysis & design --- Algorithms & data structures --- Maths for computer scientists

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic.

Computer Communication Networks --- Artificial Intelligence --- Information Systems Applications (incl. Internet) --- Special Purpose and Application-Based Systems --- Computer System Implementation --- User Interfaces and Human Computer Interaction --- Computer and Information Systems Applications --- open access --- artificial intelligence --- communication systems --- computer vision --- databases --- hci --- human-computer interaction --- image processing --- Internet of Things --- IoT --- machine learning --- network protocols --- sensors --- signal processing --- software architecture --- software design --- telecommunication networks --- telecommunication systems --- user interfaces --- wireless telecommunication systems --- Network hardware --- Artificial intelligence --- Information retrieval --- Internet searching --- Expert systems / knowledge-based systems --- Systems analysis & design --- User interface design & usability