Process mining techniques have recently received notable attention in the literature; for their
ability to assist in the (re) design of complex processes by automatically discovering models …

Data races are a common problem in concurrent and multi‐threaded programming.
Experience shows that the classical notion of a data race is not powerful enough to capture …

Process compliance measurement is getting increasing attention in companies due to
stricter legal requirements and market pressure for operational excellence. In order to judge …

The recent evolution of Internet, driven by the Web services technology, is extending the role
of the Web from a support of information interaction to a middleware for B2B interactions …

Virtual enterprises gather partners distributed in space, time and organizations, in order to
achieve a common goal. Their business process realization needs the coordination of their …

This paper proposes a new Distributed Bayesian Algorithm (DBA) for data fault detection in
order to address problems of data fault in wireless sensor networks. Although many methods …

A workflow specification is a formal description of business processes in the real world. Its
correctness is critical to the workflow execution and hence the realisation of business …

Today's workflow management systems represent a key technological infrastructure for
advanced applications that is attracting a growing body of research, mainly focused in …

Process mining techniques have been receiving great attention in the literature for their
ability to automatically support process (re) design. Typically, these techniques discover a …

The functionality of applications is increasingly being made available by services. General
concepts and standards like SOAP, WSDL, and UDDI support the discovery and invocation …