1153 search results - page 184 / 231 » Modeling Business Processes in Web Applications with ArgoUWE |
WAIM
2010
Springer
13 years 6 months ago
2010
Springer
In this paper we propose a generic model to generate basic multi-partite graphs obtained by associations found in arbitrary data. The interest of such a model is to be the formal ...
WIS
2004
13 years 9 months ago
2004
The sensor networks, web click stream and astronomical applications generate a continuous flow of data streams. Most likely data streams are generated in a wireless environment. Th...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
TES
2005
Springer
14 years 1 months ago
2005
Springer
Service-oriented Computing (SoC) in general, and e-service orchestrations in particular have the potential to increase reuse and to ease maintainability. Typically, interoperating ...
GIS
2008
ACM
14 years 8 months ago
2008
ACM
In this paper, we describe a methodology to estimate the geographic coverage of the web without the need for secondary knowledge or complex geo-tagging. This is achieved by random...