700 search results - page 65 / 140 » words 2005 |
BPM
2005
Springer
15 years 3 months ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
CAV
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...
CIKM
2005
Springer
15 years 3 months ago
2005
Springer
Summarization of text documents is increasingly important with the amount of data available on the Internet. The large majority of current approaches view documents as linear sequ...
ECSQARU
2005
Springer
15 years 3 months ago
2005
Springer
In a Bayesian network with continuous variables containing a variable(s) that is a conditionally deterministic function of its continuous parents, the joint density function for t...
EUC
2005
Springer
15 years 3 months ago
2005
Springer
As a promising technology that enables ubiquitous computing and leads IT industries of next generation, sensor networks (SN) are foreseen to expand and populate the globe in such a...