5838 search results - page 805 / 1168 » A File System for System Programming in Ubiquitous Computing |
141
click to vote
PLDI
2010
ACM
16 years 2 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
149
click to vote
EUROSYS
2008
ACM
16 years 2 months ago
2008
ACM
Eudaemon is a technique that aims to blur the borders between protected and unprotected applications, and brings together honeypot technology and end-user intrusion detection and ...
141
click to vote
SOSP
2007
ACM
16 years 2 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...
342
click to vote
Tutorial
"To be a good programmer is difficult and noble. The hardest part of making real a collective vision of a software project is dealing with one's coworkers and customers. ...
119
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...