479 search results - page 50 / 96 » Simple Modules for GRACE |
114
click to vote
OSDI
2006
ACM
16 years 2 months ago
2006
ACM
XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodit...
101
click to vote
EDBT
2006
ACM
16 years 2 months ago
2006
ACM
Abstract. We present in this paper a new model for representing probabilistic information in a semi-structured (XML) database, based on the use of probabilistic event variables. Th...
110
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
EVOW
2009
Springer
15 years 8 months ago
2009
Springer
This paper introduces a novel approach to generating audio or visual heterogeneity by simulating multi-level habitat formation by ecosystemengineer organisms. Ecosystem engineers g...
101
click to vote
FPGA
2009
ACM
15 years 8 months ago
2009
ACM
Modern Field Programmable Gate Arrays (FPGA) can be programmed with multiple soft-core processors. These solutions can be used for MultiProcessor Systems-on-Chip (MPSoCs) prototyp...