181 search results - page 3 / 37 » An Information Flow Tool for Gypsy |
ESORICS
2011
Springer
12 years 5 months ago
2011
Springer
The use of server virtualization has been growing steadily, but many enterprises still are reluctant to migrate critical workloads to such infrastructures. One key inhibitor is the...
CSCWD
2001
Springer
13 years 10 months ago
2001
Springer
A current research project at the University of Strathclyde is introduced which aims to better understand the role of distributed engineering design in industry and address presen...
MEMBRANE
2009
Springer
14 years 9 days ago
2009
Springer
would be an abstract answer (because it would not immediately link a formal model with the biological reality that inspired it or with possible implementations) from the other hand...
DATE
2005
IEEE
13 years 11 months ago
2005
IEEE
In this paper, we present a software compilation approach for microprocessor/FPGA platforms that partitions a software binary onto custom hardware implemented in the FPGA. Our app...
PLDI
2006
ACM
13 years 11 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...