1360 search results - page 61 / 272 » Reasoning on Workflow Executions |
129
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
135
Voted
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
124
Voted
CLADE
2008
IEEE
15 years 5 months ago
2008
IEEE
Reservoir uncertainty analysis is significant for petroleum engineers for predictions of reservoir performance. However, analysis of reservoir performance uncertainty is challengi...
143
Voted
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
In service-based systems, services from various providers can be integrated following specific workflows to achieve users’ goals. These workflows are often executed and coordina...
140
Voted
BPM
2004
Springer
15 years 9 months ago
2004
Springer
On the one hand Web services are gaining increasing attention. A lot of standardization has improved their stability and range of application. Composition and coordination techniqu...