2463 search results - page 308 / 493 » On the Study of Dynamic and Adaptive Dependable Distributed ... |
146
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
In dynamically changing environments a planning system does not have all the required information at the first place and the world state can change, rendering the original plan i...
203
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
179
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Continuous queries are used to monitor changes to time varying data and to provide results useful for online decision making. Typically a user desires to obtain the value of some ...
168
click to vote
PDP
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. In this work an architecture of an automatically tuned linear algebra library proposed in previous works is extended in order to adapt it to platforms where both the CPU ...
154
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose a Smart Trend-Traversal (STT) protocol for RFID tag arbitration, which effectively reduces the collision overhead occurred in the arbitration process. STT, a Query Tr...