2849 search results - page 246 / 570 » As We Should Have Thought |
213
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
Computational grids consisting of large and diverse sets of distributed resources have recently been adopted by organizations such as NASA and the NSF. One key component of a comp...
167
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
We propose a new R-tree structure that outperforms all the older ones. The heart of the idea is to facilitate the deferred splitting approach in R-trees. This is done by proposing...
158
click to vote
UM
2010
Springer
15 years 10 months ago
2010
Springer
A user’s informational need and preferences can be modeled by criteria, which in turn can be used to prioritize candidate results and produce a ranked list. We examine the use of...
195
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
181
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
Cryptography is more and more concerned with elaborate protocols involving many participants. In some cases, it is crucial to be sure that players behave fairly especially when the...