1299 search results - page 190 / 260 » On the Correctness of Operating System Kernels |
134
click to vote
ESORICS
2000
Springer
15 years 10 months ago
2000
Springer
The IP security protocols (IPsec) may be used via security gateways that apply cryptographic operations to provide security services to datagrams, and this mode of use is supported...
170
click to vote
IEEESP
2008
15 years 6 months ago
2008
Today, critical infrastructures like the power grid are essentially physical processes controlled by computers connected by networks. They are usually as vulnerable as any other i...
154
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We address the problem of runtime monitoring for hard realtime programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitor...
154
click to vote
BMVC
2010
15 years 4 months ago
2010
RANSAC (Random Sample Consensus) is a popular and effective technique for estimating model parameters in the presence of outliers. Efficient algorithms are necessary for both fram...
160
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
Querying any information system requires the knowledge of some formal language, making it inaccessible to computer-na?ve potential users. We propose a new intuitive querying mecha...