1299 search results - page 170 / 260 » On the Correctness of Operating System Kernels |
197
click to vote
SIGMOD
2010
ACM
15 years 10 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...
165
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...
174
click to vote
USS
2008
15 years 8 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
152
click to vote
ICMCS
2007
IEEE
16 years 20 days ago
2007
IEEE
In this digital era, digital multimedia contents are often transmitted over networks without any protection. This raises serious security concerns since the receivers/subscribers ...
153
click to vote
GC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...