1360 search results - page 84 / 272 » Reasoning on Workflow Executions |
111
Voted
AAAI
1994
15 years 4 months ago
1994
A variety of reactive plan execution systems have been developed in recent years, each attempting to solve the problem of taking reasonable courses of action fast enough in a dyna...
129
Voted
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
142
Voted
AAAI
2007
15 years 5 months ago
2007
reason with abstracted models of the behaviours they use to construct plans. When plans are turned into the instructions that drive an executive, the real behaviours interacting w...
143
Voted
PPOPP
2006
ACM
15 years 9 months ago
2006
ACM
Recently, the high-performance computing community has realized that power is a performance-limiting factor. One reason for this is that supercomputing centers have limited power ...
118
click to vote
SIGMOD
1999
ACM
15 years 7 months ago
1999
ACM
Query processing in data integration occurs over network-bound, autonomous data sources. This requires extensions to traditional optimization and execution techniques for three re...