1803 search results - page 161 / 361 » Architectural framework for supporting operating system surv... |
178
Voted
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
180
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Main memory contains transient information for all resident applications. However, if memory chip contents survives power-off, e.g., via freezing DRAM chips, sensitive data such a...
181
click to vote
USS
2010
15 years 4 months ago
2010
Capsicum is a lightweight operating system capability and sandbox framework planned for inclusion in FreeBSD 9. Capsicum extends, rather than replaces, UNIX APIs, providing new ke...
189
Voted
WOA
2001
15 years 8 months ago
2001
Acting in a dynamic environment is a complex task that requires several issues to be investigated, with the aim of controlling the associated search complexity. In this paper, a l...
195
click to vote
HYBRID
2010
Springer
16 years 3 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...