1039 search results - page 88 / 208 » Using GXL for exchanging business process models |
102
click to vote
BPM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Process Mining is a technique for extracting process models from execution logs. This is particularly useful in situations where people have an idealized view of reality....
118
click to vote
BPM
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we give an overview, how to apply region based methods for the synthesis of Petri nets from languages to process mining. The research domain of process mining aims at...
128
click to vote
CSFW
1995
IEEE
15 years 3 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
COOPIS
1998
IEEE
15 years 4 months ago
1998
IEEE
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
151
click to vote
ESCIENCE
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we present the design of Aneka, a .NET based service-oriented platform for desktop grid computing that provides: (i) a configurable service container hosting plugga...