5722 search results - page 273 / 1145 » Security Function Interactions |
137
click to vote
VEE
2009
ACM
15 years 10 months ago
2009
ACM
Virtual machine monitors (VMMs), including hypervisors, are a popular platform for implementing various security functionalities. However, traditional VMMs require numerous compon...
157
Voted
WSCG
2001
15 years 4 months ago
2001
We describe a distributed system for texture mapping implicit surfaces. The method uses a particle system associated with the gradient vector field of the function that defines an...
120
click to vote
NN
2000
Springer
15 years 3 months ago
2000
Springer
The visual cortex has a laminar organization whose circuits form functional columns in cortical maps. How this laminar architecture supports visual percepts is not well understood...
126
click to vote
CAV
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
199
click to vote
AIIA
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...