5851 search results - page 186 / 1171 » Coordination as a Direct Process |
162
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we demonstrate the prototype of a modelling tool that applies graph-based rules for identifying problems in business process models. The advantages of our approach a...
125
click to vote
JAMDS
2000
15 years 6 months ago
2000
The aim of this work is to obtain explicit conditions (i.e., conditions on the transition rates) for the stochastic comparison of Markov Processes. A general coupling technique is ...
189
click to vote
PVLDB
2010
15 years 1 months ago
2010
The growing demand for large-scale data mining and data analysis applications has led both industry and academia to design new types of highly scalable data-intensive computing pl...
207
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
Diffusion processes which are widely used in low level vision are presented as a result of an underlying stochastic process. The short-time non-linear diffusion is interpreted as ...
170
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...