2935 search results - page 498 / 587 » An Integrated Approach to High Integrity Software Verificati... |
160
click to vote
ICPP
2007
IEEE
16 years 13 days ago
2007
IEEE
It is a challenge to design and implement a wide-area distributed hash table (DHT) which provides a storage service with high reliability. Many existing systems use replication to...
144
click to vote
OTM
2007
Springer
16 years 7 days ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
166
click to vote
VLDB
2007
ACM
16 years 7 days ago
2007
ACM
Intuitively, aggressive work sharing among concurrent queries in a database system should always improve performance by eliminating redundant computation or data accesses. We show...
165
click to vote
CVPR
2006
IEEE
16 years 5 days ago
2006
IEEE
A recognition scheme that scales efficiently to a large number of objects is presented. The efficiency and quality is exhibited in a live demonstration that recognizes CD-covers...
159
click to vote
ICDE
2006
IEEE
16 years 5 days ago
2006
IEEE
The Center for Plasma Edge Simulation (CPES) is a recently funded prototype Fusion Simulation Project, which is part of the DOE SciDAC program. Our center is developing a novel in...