Recent research has proven the feasibility of using Process Mining algorithms to discover
business processes from event logs of structured data. However, many IT systems also store a …

We present a natural deduction calculus for the propositional linear-time temporal logic and
prove its correctness. The system extends the natural deduction construction of the classical …

We expand the applicability of the clausal resolution technique to the branching-time temporal
logic ECTL + . ECTL + is strictly more expressive than the basic computation tree logic …

Grid systems have become tightly integrated as an indispensable part of the computing
community for solving problems in different domains. Computational Grids offer remarkable …

In this work we present an approach for the formal specification and verification of the
reconfiguration protocols in grid component systems. We consider fractal, a modular and …

In recent years, the use of Artificial Intelligence agents to augment and enhance the operational
decision making of human agents has increased. This has delivered real benefits in …

Predictive business process monitoring aims to accurately predict a variable of interest (eg
remaining time) or the future state of the process instance (eg outcome or next step). It is an …

Predictive process monitoring aims to accurately predict a variable of interest (eg, remaining
time) or the future state of the process instance (eg, outcome or next step). The quest for …

IT industry has adopted unified modeling language activity diagram (UML-AD) as a de facto
standard. UML AD facilitates modelers to graphically represent and document business …

Component-oriented software development has been attracting increasing attention for building
complex distributed applications. A new infrastructure supporting this advanced concept …