10038 search results - page 619 / 2008 » Model Checking for Managers |
180
Voted
ICDE
2010
IEEE
16 years 7 months ago
2010
IEEE
Abstract-- Despite the best intentions of disk and RAID manufacturers, on-disk data can still become corrupted. In this paper, we examine the effects of corruption on database mana...
228
Voted
SOSP
2009
ACM
16 years 4 months ago
2009
ACM
RESIN is a new language runtime that helps prevent security vulnerabilities, by allowing programmers to specify application-level data flow assertions. RESIN provides policy obje...
255
Voted
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
182
click to vote
CF
2004
ACM
16 years 21 days ago
2004
ACM
Although many defense mechanisms against buffer overflow attacks have been proposed, buffer overflow vulnerability in software is still one of the most prevalent vulnerabilities e...
217
Voted
ASPLOS
2008
ACM
15 years 9 months ago
2008
ACM
The C programming language is at least as well known for its absence of spatial memory safety guarantees (i.e., lack of bounds checking) as it is for its high performance. C'...