1360 search results - page 120 / 272 » Reasoning on Workflow Executions |
DOLAP
2006
ACM
14 years 4 months ago
2006
ACM
One of the most important tasks performed in the early stages of a data warehouse project is the analysis of the structure and content of the existing data sources and their inten...
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
IESA
2007
13 years 11 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...
DEXAW
2010
IEEE
13 years 11 months ago
2010
IEEE
Automatic generation of taxonomies can be useful for a wide area of applications. In our application scenario a topical hierarchy should be constructed reasonably fast from a large...
JTAER
2008
13 years 10 months ago
2008
We typically think of documents as carrying information. However, certain kinds of documents do more than that: they are not only informative but also performative in that they re...