870 search results - page 141 / 174 » The failure detector abstraction |
154
click to vote
CEEMAS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We discuss the application of Model-Based Diagnosis in (agentbased) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It...
247
click to vote
CHARME
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
136
click to vote
DMG
2005
Springer
16 years 7 days ago
2005
Springer
Over the last few years various scientific experiments and Grid projects have developed different catalogs for keeping track of their data files. Some projects use specialized ...
203
Voted
ICSOC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Composite web services can be orchestrated in a decentralized manner by breaking down the original service specification into a set of partitions and executing them on a...
152
click to vote
OTM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In a service-oriented world, a long-running business process can be implemented as a set of stateful services that represent the individual but coordinated steps that mak...