1360 search results - page 129 / 272 » Reasoning on Workflow Executions |
WSC
2001
13 years 11 months ago
2001
"Spreadsheet simulation" refers to the use of a spreadsheet as a platform for representing simulation models and performing simulation experiments. This tutorial explain...
ENTCS
2008
13 years 10 months ago
2008
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...
AAAI
2008
14 years 15 days ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
IPPS
2010
IEEE
13 years 8 months ago
2010
IEEE
In this paper, we study the problem of finding optimal mappings for several independent but concurrent workflow applications, in order to optimize performance-related criteria tog...
CAISE
2004
Springer
14 years 3 months ago
2004
Springer
Automation and integration of business processes are at the heart of contemporary enterprise systems. In the pursuit of this goal, process automation technology is employed at vary...