357 search results - page 4 / 72 » Verifying properties of process definitions |
AICT
2006
IEEE
14 years 1 months ago
2006
IEEE
Workflow and Web Services have the main role in the development and in the realisation of B2B architectures. In this context, the principal target is to compose many services supp...
JAR
2008
13 years 7 months ago
2008
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
CSCWD
2001
Springer
13 years 12 months ago
2001
Springer
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
ICIP
2000
IEEE
14 years 9 months ago
2000
IEEE
This paper presents a new definition of a spatial entropy mainly based on the Markov Random Field (MRF) properties. Starting with the study of the entropy proposed in [1] for the ...
TIT
2002
13 years 7 months ago
2002
In this paper, the influence of a point spectrum on large sample statistics of the autoregressive (AR) spectral estimator is addressed. In particular, the asymptotic distributions ...