19342 search results - page 94 / 3869 » Decentralised Process Modelling |
119
click to vote
ICCAD
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
BPM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The rise of interest in declarative languages for process modeling both justifies and demands empirical investigations into their presumed advantages over more traditiona...
147
click to vote
BIS
2010
15 years 18 days ago
2010
Inter-organizational B2B systems are most likely tending to change their business requirements over time - e.g. establishing new partnerships or change existing ones. The problem i...
128
Voted
VTS
2002
IEEE
15 years 7 months ago
2002
IEEE
A device testing method called Transient Signal Analysis (TSA) is subjected to elements of a real process and testing environment in this paper. Simulations experiments are design...
119
Voted
BPM
2009
Springer
15 years 9 months ago
2009
Springer
We investigate the problem of ranking all process models in a repository according to their similarity with respect to a given process model. We focus specifically on the applicat...