4208 search results - page 240 / 842 » Challenges in Evaluating Distributed Algorithms |
132
Voted
RSP
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
137
Voted
DASFAA
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. In emerging data stream applications, data sources are typically distributed. Evaluating multi-join queries over streams from different sources may incur large communica...
104
Voted
SIGIR
2006
ACM
15 years 7 months ago
2006
ACM
Modern distributed information retrieval techniques require accurate knowledge of collection size. In non-cooperative environments, where detailed collection statistics are not av...
129
Voted
CCGRID
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract In this paper, we propose the use of a distributed service management architecture for state-of-the-art service-enabled Grids. The architecture is capable of performing au...
107
click to vote
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
— We present SPIDER – a system for fast replication or distribution of large content from a single source to multiple sites interconnected over Internet or via a private networ...