1360 search results - page 87 / 272 » Reasoning on Workflow Executions |
101
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
The process of planning in complex, multi-actor environment depends strongly on the ability of the individual actors to perform intelligent decommitment upon specific changes in ...
126
Voted
ICPADS
2007
IEEE
15 years 9 months ago
2007
IEEE
- Due to the increasing complexity of scientific models, large-scale simulation tools often require a critical amount of computational power to produce results in a reasonable amou...
123
Voted
SEFM
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
242
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
111
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Today, clusters are very important computing resources and many computing centers manage their clusters in private networks. But parallel programs may not work in private clusters....