9626 search results - page 1261 / 1926 » Invariant Based Programming |
195
click to vote
WWW
2010
ACM
16 years 2 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
176
click to vote
ASPLOS
2010
ACM
16 years 2 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speci...
224
click to vote
ASWEC
2009
IEEE
16 years 2 months ago
2009
IEEE
Feature-oriented traceability is essential for efficient Software Product Line (SPL) development, including product derivation and SPL evolution. Widely-used feature based method ...
190
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
We describe a strategy for enabling existing commodity operating systems to recover from unexpected run-time errors in nearly any part of the kernel, including core kernel compone...
186
Voted
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...