20833 search results - page 313 / 4167 » Hidden process models |
140
click to vote
FSTTCS
2006
Springer
15 years 8 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...
119
click to vote
ICML
2005
IEEE
16 years 5 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...
151
click to vote
SAC
2006
ACM
15 years 4 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...
111
click to vote
ER
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. As information systems are increasingly being called upon to play vital roles in organizations, conceptual modelling techniques need to be extended to relate information ...
128
click to vote
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failur...