2935 search results - page 498 / 587 » An Integrated Approach to High Integrity Software Verificati... |
159
click to vote
ICPP
2007
IEEE
16 years 4 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...
140
click to vote
OTM
2007
Springer
15 years 12 months 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...
159
click to vote
VLDB
2007
ACM
15 years 12 months 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...
164
click to vote
CVPR
2006
IEEE
15 years 12 months 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...
154
click to vote
ICDE
2006
IEEE
15 years 12 months 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...