English
Related papers

Related papers: May I Take Your Order? On the Interplay Between Ti…

200 papers

Provenance refers to the documentation of an object's lifecycle. This documentation (often represented as a graph) should include all the information necessary to reproduce a certain piece of data or the process that led to it. In a dynamic…

Databases · Computer Science 2012-11-22 Seyed-Mehdi-Reza Beheshti , Hamid Reza Motahari-Nezhad , Boualem Benatallah

Reconfigurable interaction induces another dimension of nondeterminism in concurrent systems which makes it hard to reason about the different choices of the system from a global perspective. Namely, (1) choices that correspond to…

Logic in Computer Science · Computer Science 2021-08-02 Yehia Abd Alrahman , Mauricio Martel , Nir Piterman

Distributed data processing systems have advanced through models that expose more and more opportunities for concurrency within a computation. The scheduling of these increasingly sophisticated models has become the bottleneck for improved…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-10-13 Andrea Lattuada , Frank McSherry

Activities such as the movement of passengers and goods, the transfer of physical or digital assets, web navigation and even successive passes in football, result in timestamped paths through a physical or virtual network. The need to…

Physics and Society · Physics 2024-07-30 Kevin Teo , Naomi Arnold , Andrew Hone , István Zoltán Kiss

When modeling concurrent or cyber-physical systems, non-functional requirements such as time are important to consider. In order to improve the timing aspects of a model, it is necessary to have some notion of what it means for a process to…

Formal Languages and Automata Theory · Computer Science 2020-01-22 Mathias Ruggaard Pedersen , Giorgio Bacci , Kim Guldstrand Larsen

This paper studies problems of inferring order given noisy information. In these problems there is an unknown order (permutation) $\pi$ on $n$ elements denoted by $1,...,n$. We assume that information is generated in a way correlated with…

Data Structures and Algorithms · Computer Science 2009-10-08 Mark Braverman , Elchanan Mossel

Temporal information conveyed by language describes how the world around us changes through time. Events, durations and times are all temporal elements that can be viewed as intervals. These intervals are sometimes temporally related in…

Computation and Language · Computer Science 2012-03-23 Leon Derczynski , Robert Gaizauskas

Process mining provides ways to analyze business processes. Common process mining techniques consider the process as a whole. However, in real-life business processes, different behaviors exist that make the overall process too complex to…

Databases · Computer Science 2021-03-15 Anahita Farhang Ghahfarokhi , Alessandro Berti , Wil M. P. van der Aalst

The operating system's role in a computer system is to manage the various resources. One of these resources is the Central Processing Unit. It is managed by a component of the operating system called the CPU scheduler. Schedulers are…

Operating Systems · Computer Science 2010-11-09 George Anderson , Tshilidzi Marwala , Fulufhelo V. Nelwamondo

In this paper I argue that the fundamental aspect of our notion of time is that it defines an order relation, be it a total order relation between configurations of the world or just a partial order relation between events. This position is…

History and Philosophy of Physics · Physics 2024-10-11 Álvaro Mozota Frauca

Predictive process monitoring is a subfield of process mining that aims to estimate case or event features for running process instances. Such predictions are of significant interest to the process stakeholders. However, state-of-the-art…

In recent years there has been a substantial increase in the availability of datasets which contain information about the location and timing of an event or group of events and the application of methods to analyse spatio-temporal datasets…

Methodology · Statistics 2019-10-02 Nik Lomax , Nick Malleson , Le-Minh Kieu

Scheduling in the factory setting is compounded by computational complexity and temporal uncertainty. Together, these two factors guarantee that the process of constructing an optimal schedule will be costly and the chances of executing…

Artificial Intelligence · Computer Science 2013-04-12 B. R. Fox , Karl G. Kempf

Counterfactual explanations are a prominent example of post-hoc interpretability methods in the explainable Artificial Intelligence research domain. They provide individuals with alternative scenarios and a set of recommendations to achieve…

Artificial Intelligence · Computer Science 2021-01-20 Andrea Ferrario , Michele Loi

In this paper we describe a method to discover frequent behavioral patterns in event logs. We express these patterns as \emph{local process models}. Local process model mining can be positioned in-between process discovery and episode /…

Databases · Computer Science 2017-05-17 Niek Tax , Natalia Sidorova , Reinder Haakma , Wil M. P. van der Aalst

The need to analyze information from streams arises in a variety of applications. One of its fundamental research directions is to mine sequential patterns over data streams. Current studies mine series of items based on the presence of the…

Databases · Computer Science 2022-04-12 Thomas Guyet , Wenbin Zhang , Albert Bifet

With the increase of order fulfillment options and business objectives taken into consideration in the deciding process, order fulfillment deciding is becoming more and more complex. For example, with the advent of ship from store retailers…

Machine Learning · Computer Science 2022-01-02 Brian Quanz , Ajay Deshpande , Dahai Xing , Xuan Liu

Much time in process mining projects is spent on finding and understanding data sources and extracting the event data needed. As a result, only a fraction of time is spent actually applying techniques to discover, control and predict the…

Databases · Computer Science 2018-11-21 Alessandro Berti , Wil van der Aalst

Process mining has grown popular today given their ability to provide managers with insights into the actual business process as executed by employees. Process mining depends on event logs found in process aware information systems to model…

Databases · Computer Science 2025-03-28 Ali Suleiman , Gamal Kassem

We present a monitoring approach for verifying systems at runtime. Our approach targets systems whose components communicate with the monitors over unreliable channels, where messages can be delayed or lost. In contrast to prior works,…

Logic in Computer Science · Computer Science 2017-07-19 David Basin , Felix Klaedtke , Eugen Zălinescu