Abstract Information systems have to deal with an increasing amount of data that is
heterogeneous, unstructured, or incomplete. In order to align and complete data, systems …

Despite the ubiquity of temporal data and considerable research on the effective and
efficient processing of such data, database systems largely remain designed for processing …

Runtime monitoring is a general approach to verifying system properties at runtime by
comparing system events against a specification formalizing which event sequences are …

This collection represents the primary reference work for researchers and students in the
area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to …

We design temporal description logics (TDLs) suitable for reasoning about temporal
conceptual data models and investigate their computational complexity. Our formalisms are …

A search for highly electrically charged objects (HECOs) and magnetic monopoles is
presented using 2.2 fb-1 of pp collision data taken at a centre of mass energy (E CM) of 8 …

We introduce a novel approach to the runtime monitoring of complex system properties. In
particular, we present an online algorithm for a safety fragment of metric first-order temporal …

In system monitoring, one is often interested in checking properties of aggregated data.
Current policy monitoring approaches are limited in the kinds of aggregations they handle …

Many databases contain temporal, or time-referenced, data and use intervals to capture the
temporal aspect. While SQL-based database management systems (DBMSs) are capable of …

Preserving the confidentiality of data in a distributed system is an increasingly important
problem of current security research. Distributed programming often involves message …