2912 search results - page 463 / 583 » Overlay Networks - Implementation by Specification |
144
click to vote
DSN
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
118
click to vote
ICMCS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we propose a Semantic Graphs for Image Search (SGIS) system, which provides a novel way for image search by utilizing collaborative knowledge in Wikipedia and netwo...
151
click to vote
ICNSC
2008
IEEE
15 years 11 months ago
2008
IEEE
— suppose we have a video, the first half of this video is capturing the images of a sedan and the second half is recording the moving of a truck, can we use the same video track...
135
click to vote
IWNAS
2008
IEEE
15 years 11 months ago
2008
IEEE
With the increased popularity of replica-based services in distributed systems such as the Grid, consistency control among replicas becomes more and more important. To this end, I...
128
Voted
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
In the near future, homes are envisioned to be equipped with numerous intelligent communicating devices. Such smart home needs to exhibit highly adaptive behavior to meet the inha...