870 search results - page 147 / 174 » The failure detector abstraction |
DBISP2P
2006
Springer
14 years 21 days ago
2006
Springer
Abstract. This paper addresses the problem of data placement, indexing, and querying large XML data repositories distributed over an existing P2P service infrastructure. Our archit...
ECAI
2006
Springer
14 years 21 days ago
2006
Springer
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
FTRTFT
2000
Springer
14 years 19 days ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
MOBIHOC
2000
ACM
14 years 18 days ago
2000
ACM
AbstractDeveloping wireless sensor networks can enable information gathering, information processing and reliable monitoring of a variety of environments for both civil and militar...
POS
2000
Springer
14 years 18 days ago
2000
Springer
Abstract. Defining persistence in terms of reachability is fundamental to achieving orthogonality of persistence. It is implicit to the principles of orthogonal persistence and is ...