3825 search results - page 526 / 765 » More on pooling spaces |
223
click to vote
ISPDC
2005
IEEE
16 years 20 days ago
2005
IEEE
Abstract— In this article, we propose a fully distributed algorithm for finding all primes in an given interval [2..n] (or (L, R), more generally), based on the SMER — Schedul...
163
click to vote
IV
2005
IEEE
16 years 20 days ago
2005
IEEE
While searching the Web, the user is often confronted by a great number of results, generally sorted by their rank. These results are then displayed as a succession of ordered lis...
195
click to vote
KBSE
2005
IEEE
16 years 20 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
190
click to vote
MSS
2005
IEEE
16 years 19 days ago
2005
IEEE
One of the world’s largest scientific data systems, NASA’s Earth Observing System Data and Information System (EOSDIS) has stored over three petabytes of earth science data in...
181
click to vote
GROUP
2005
ACM
16 years 19 days ago
2005
ACM
The RideNow Project is designed to help individuals within a group or organization coordinate ad hoc shared rides. This paper describes three design decisions the RideNow team mad...