2468 search results - page 445 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
147
click to vote
INFOCOM
2011
IEEE
14 years 6 months ago
2011
IEEE
—Dynamic spectrum allocation has proven promising for mitigating the spectrum scarcity problem. In this model, primary users lease chunks of under-utilized spectrum to secondary ...
132
click to vote
SIGIR
2005
ACM
15 years 8 months ago
2005
ACM
The TREC .GOV collection makes a valuable web testbed for distributed information retrieval methods because it is naturally partitioned and includes 725 web-oriented queries with ...
127
Voted
HPDC
2007
IEEE
15 years 7 months ago
2007
IEEE
Grid applications often need to distribute large amounts of data efficiently from one cluster to multiple others (multicast). Existing methods usually arrange nodes in optimized t...
208
Voted
GIS
2006
ACM
16 years 4 months ago
2006
ACM
Creating complex spatio?temporal simulation models is a hot issue in the area of spatio?temporal databases [7]. While existing Moving Object Simulators (MOSs) address different ph...
131
click to vote
ANSOFT
1998
15 years 3 months ago
1998
Systematic discovery and exploitation of commonality across related software systems is a fundamental technical requirement for achieving successful software reuse. By examining a...