1299 search results - page 217 / 260 » On the Correctness of Operating System Kernels |
162
Voted
SRDS
2006
IEEE
15 years 11 months ago
2006
IEEE
We present and evaluate a generic approach to the repair of overlay networks which identifies general principles of overlay repair and embodies these as a reusable service. At th...
133
click to vote
ICCV
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a quality assessment procedure for correspondence estimation based on geometric coherence rather than ground truth. The procedure can be used for performance evaluation...
165
Voted
WORDS
2005
IEEE
15 years 11 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
152
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
155
click to vote
ECRTS
2000
IEEE
15 years 10 months ago
2000
IEEE
The imprecise computation(IC) model is a general scheduling framework, capable of expressing the precision vs. timeliness trade-off involved in many current real-time applications...