985 search results - page 56 / 197 » A Caching Model of Operating System Kernel Functionality |
138
Voted
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
178
Voted
CRYPTO
2012
Springer
13 years 7 months ago
2012
Springer
We provide a functional encryption system that supports functionality for regular languages. In our system a secret key is associated with a Deterministic Finite Automata (DFA) M....
134
click to vote
DIMVA
2010
15 years 6 months ago
2010
Abstract. In order to obtain and maintain control, kernel malware usually makes persistent control flow modifications (i.e., installing hooks). To avoid detection, malware develope...
157
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
We discuss information retrieval methods that aim at serving a diverse stream of user queries such as those submitted to commercial search engines. We propose methods that emphasi...
127
click to vote
CGI
2004
IEEE
15 years 8 months ago
2004
IEEE
Computer games follow a scheme of continuous simulation, coupling the rendering phase and the simulation phase. That way of operation has disadvantages that can be avoided using a...