Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …

Formal Verification is one of the crucial methods to detect possible weaknesses and
vulnerabilities at an early stage. This paper reviews formal methods for an extensive variety …

The first SCION book, published in 2017, summarized the results of eight years of work by
over a dozen researchers. Now, five years later, we have completely rewritten the book. It …

This book presents state-of-the-art of research results related to the science, technology, and
engineering of cyber-physical systems (CPS), including system architecture, development …

A self-adaptive software system modifies its behavior at runtime in response to changes
within the system or in its execution environment. The fulfillment of the system requirements …

A memory consistency model (MCM) is the part of a programming language or computer
architecture specification that defines which values can legally be read from shared memory …

LNCS 8477 - Why Amazon Chose TLA<Superscript> + </Superscript> Page 1 Why Amazon
Chose TLA + Chris Newcombe Amazon, Inc. Abstract. Since 2011, engineers at Amazon have …

Over the last decade, Evolutionary Algorithms (EAs) have emerged as a powerful paradigm
for global optimization of multimodal functions. More recently, there has been significant …

Online video-based job interviews are becoming very popular in the screening of potential
employees. In this study, we collected a corpus of 1891 monologue job interview videos (63 …

A smart contract is the algorithmic description of a contractual transaction protocol that is
automatically executed together with the information provided by its parties. It is written in a …