5216 search results - page 934 / 1044 » Planning as Model Checking |
109
click to vote
SRDS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents our research on devising a dependability assessment method for the upcoming OGSA 3.0 middleware using network level fault injection. We compare existing DCE mi...
103
Voted
SIGUCCS
2003
ACM
15 years 8 months ago
2003
ACM
This paper chronicles the collaborative efforts of Valparaiso University’s IT department and main library over the past five years. Highlights of selected resources and services...
130
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
138
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Distributed problem solving by a multiagent system represents a promising approach to solving complex computational problems. However, many multiagent systems require certain degr...
137
Voted
BTW
2003
Springer
15 years 8 months ago
2003
Springer
Abstract: In order to achieve efficient execution plans for queries comprising userdefined data types and predicates, the database system has to be provided with appropriate index ...