19342 search results - page 90 / 3869 » Decentralised Process Modelling |
120
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
103
Voted
ICML
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper, we review the paradigm of inductive process modeling, which uses background knowledge about possible component processes to construct quantitative models of dynamic...
122
click to vote
SAC
2006
ACM
15 years 2 months ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...