2468 search results - page 479 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
SIGIR
2004
ACM
15 years 5 months ago
2004
ACM
XML retrieval is a departure from standard document retrieval in which each individual XML element, ranging from italicized words or phrases to full blown articles, is a potential...
125
click to vote
IPSN
2004
Springer
15 years 5 months ago
2004
Springer
The efficacy of data aggregation in sensor networks is a function of the degree of spatial correlation in the sensed phenomenon. While several data aggregation (i.e., routing with...
JELIA
2004
Springer
15 years 5 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
124
click to vote
CLADE
2003
IEEE
15 years 5 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
CSB
2004
IEEE
15 years 3 months ago
2004
IEEE
Ascertaining the similarity amongst molecules is a fundamental problem in biology and drug discovery. Since similar molecules tend to have similar biological properties, the notio...