1299 search results - page 136 / 260 » On the Correctness of Operating System Kernels |
126
click to vote
MTV
2007
IEEE
15 years 11 months ago
2007
IEEE
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...
152
click to vote
SOSP
2001
ACM
16 years 1 months ago
2001
ACM
ing Abstraction to Improve Fault Tolerance MIGUEL CASTRO Microsoft Research and RODRIGO RODRIGUES and BARBARA LISKOV MIT Laboratory for Computer Science Software errors are a major...
122
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
We propose a Visual Search Engine (ViSE) as a semi-automatic component in a surveillance system using networked cameras. The ViSE aims to assist the monitoring operation of huge a...
144
click to vote
SRDS
1993
IEEE
15 years 8 months ago
1993
IEEE
Authentication and key distribution protocols that utilize weak secrets (such as passwords and PINs) are traditionally susceptible to guessing attacks whereby an adversary iterate...
125
click to vote
SWAT
1994
Springer
15 years 8 months ago
1994
Springer
Protocols which can tolerate any number of processors failing by ceasing operation for an unbounded number of steps and resuming operation (with or) without knowing that they were...