38 search results - page 6 / 8 » Operating System Interface Obfuscation and the Revealing of ... |
SP
2009
IEEE
14 years 5 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
TABLEAUX
2009
Springer
14 years 5 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
IJCSA
2008
13 years 11 months ago
2008
This paper presents a comparison relating two different vision system architectures. The first one involves a smart sensor including analog processors allowing on-chip image proce...
ISMAR
2007
IEEE
14 years 5 months ago
2007
IEEE
In this article we present interactive Focus and Context (F+C) visualizations for Augmented Reality (AR) applications. We demonstrate how F+C visualizations are used to affect the...
FAST
2010
14 years 1 months ago
2010
Live migration of virtual hard disks between storage arrays has long been possible. However, there is a dearth of online tools to perform automated virtual disk placement and IO l...