English
Related papers

Related papers: IUPC: Identification and Unification of Process Co…

200 papers

The growing utilization of planning tools in practical scenarios has sparked an interest in generating multiple high-quality plans. Consequently, a range of computational problems under the general umbrella of top-quality planning were…

Artificial Intelligence · Computer Science 2024-03-06 Michael Katz , Junkyu Lee , Shirin Sohrabi

With the rise of data-centric process management paradigms, interdependent processes, such as artifacts or object lifecycles, form a business process through their interactions. Coordination processes may be used to coordinate these…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-12-16 Sebastian Steinau , Kevin Andrews , Manfred Reichert

Conformance checking techniques help process analysts to identify where and how process executions deviate from a process model. However, they cannot determine the desirability of these deviations, i.e., whether they are problematic,…

Software Engineering · Computer Science 2025-06-16 Michael Grohs , Nadine Cordes , Jana-Rebecca Rehse

Assessing and improving the quality of data are fundamental challenges for data-intensive systems that have given rise to applications targeting transformation and cleaning of data. However, while schema design, data cleaning, and data…

Databases · Computer Science 2017-03-28 Rada Chirkova , Jon Doyle , Juan L. Reutter

In recent years, coded distributed computing (CDC) has attracted significant attention, because it can efficiently facilitate many delay-sensitive computation tasks against unexpected latencies in distributed computing systems. Despite such…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-07-12 Baoqian Wang , Junfei Xie , Kejie Lu , Yan Wan , Shengli Fu

Power systems Unit Commitment (UC) problem determines the generator commitment schedule and dispatch decisions to realize the reliable and economic operation of power networks. The growing penetration of stochastic renewables and demand…

Systems and Control · Electrical Eng. & Systems 2025-07-15 Xuan He , Yuxin Pan , Yize Chen , Danny H. K. Tsang

Digitalization efforts often face a key challenge: business processes must not only be efficient in achieving their goals but also adhere to legal regulations. Business process compliance refers to aligning processes with these regulations.…

Software Engineering · Computer Science 2024-10-16 Hugo A. López , Thomas T. Hildebrandt

Federated data processing (FDP) offers a promising approach for enabling collaborative analysis of sensitive data without centralizing raw datasets. However, real-world adoption remains limited due to the complexity of managing…

Software Engineering · Computer Science 2026-04-07 Natallia Kokash , Adam Belloum , Paola Grosso

Anomaly detection is generally acknowledged as an important problem that has already drawn attention to various domains and research areas, such as, network security. For such "classic" application domains a wide range of surveys and…

Cryptography and Security · Computer Science 2017-05-19 Kristof Böhmer , Stefanie Rinderle-Ma

Business Process Management (BPM) is the discipline which is responsible for management of discovering, analyzing, redesigning, monitoring, and controlling business processes. One of the most crucial tasks of BPM is discovering and…

Computation and Language · Computer Science 2021-04-02 Ngoc Phuoc An Vo , Irene Manotas , Octavian Popescu , Algimantas Cerniauskas , Vadim Sheinin

The complexity of a business environment often causes organizations to produce several inconsistent views on the same business process, leading to fragmentation and inefficiencies. Business process view integration attempts to produce an…

Software Engineering · Computer Science 2020-12-08 Rafael Belchior , Sérgio Guerreiro , André Vasconcelos , Miguel Correia

Constraints such as separation-of-duty are widely used to specify requirements that supplement basic authorization policies. However, the existence of constraints (and authorization policies) may mean that a user is unable to fulfill…

Cryptography and Security · Computer Science 2016-12-20 Pierre Bergé , Jason Crampton , Gregory Gutin , Rémi Watrigant

We extended the existing methodology in Bound-to-Bound Data Collaboration (B2BDC), an optimization-based deterministic uncertainty quantification (UQ) framework, to explicitly take into account model discrepancy. The discrepancy was…

Data Analysis, Statistics and Probability · Physics 2020-02-06 Wenyu Li , Arun Hegde , James Oreluk , Andrew Packard , Michael Frenklach

[Context and motivation] When developing software, coordination between different organizational units is essential in order to develop a good quality product, on time and within budget. Particularly, the synchronization between…

Cross-border data transfer is vital for the digital economy by enabling data flow across different countries or regions. However, ensuring compliance with diverse data protection regulations during the transfer introduces significant…

Cryptography and Security · Computer Science 2024-12-13 Zhixian Zhuang , Xiaodong Lee , Jiuqi Wei , Yufan Fu , Aiyao Zhang

Traditional Statistical Process Control (SPC) is essential for quality management but is limited by its reliance on often violated statistical assumptions, leading to unreliable monitoring in modern, complex manufacturing environments. This…

Machine Learning · Computer Science 2025-12-30 Christopher Burger

We investigate model predictive control (MPC) formulations for linear systems subject to i.i.d. stochastic disturbances with bounded support and chance constraints. Existing stochastic MPC formulations with closed-loop guarantees can be…

Systems and Control · Electrical Eng. & Systems 2023-08-08 Johannes Köhler , Ferdinand Geuss , Melanie N. Zeilinger

Bilinear inverse problems (BIPs), the resolution of two vectors given their image under a bilinear mapping, arise in many applications. Without further constraints, BIPs are usually ill-posed. In practice, properties of natural signals are…

Information Theory · Computer Science 2015-01-27 Yanjun Li , Kiryung Lee , Yoram Bresler

Business processes need to have certain constraints such that they can lead to sustainable outcomes. These constraints can be manifold and their adherence has to be monitored. In the past compliance checking has been applied in several…

Computers and Society · Computer Science 2020-06-19 Clemens Schreiber

Constraint monitoring aims to monitor the violation of constraints in business processes, e.g., an invoice should be cleared within 48 hours after the corresponding goods receipt, by analyzing event data. Existing techniques for constraint…

Artificial Intelligence · Computer Science 2022-10-24 Gyunam Park , Wil. M. P. van der Aalst