Sciweavers

3318 search results - page 19 / 664
» The Weak Instance Model
Sort
View
MLQ
2002
59views more  MLQ 2002»
13 years 7 months ago
Weak Arithmetics and Kripke Models
Morteza Moniri
ER
2004
Springer
79views Database» more  ER 2004»
14 years 1 months ago
Multi-phase Process Mining: Building Instance Graphs
Abstract. Deploying process-driven information systems is a time-consuming and error-prone task. Process mining attempts to improve this by automatically generating a process model...
Boudewijn F. van Dongen, Wil M. P. van der Aalst