133 search results - page 24 / 27 » Petri Nets, Traces, and Local Model Checking |
108
click to vote
HASE
2008
IEEE
15 years 8 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
124
click to vote
BPM
2006
Springer
15 years 5 months ago
2006
Springer
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service match...
104
click to vote
DKE
2008
15 years 1 months ago
2008
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service matc...
120
click to vote
ILP
2007
Springer
15 years 8 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
122
click to vote
EDCC
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...