5843 search results - page 152 / 1169 » Software Security in Practice |
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
180
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Mining software engineering data has emerged as a successful research direction over the past decade. In this position paper, we advocate Software Intelligence (SI) as the future ...
117
click to vote
PODC
2004
ACM
15 years 10 months ago
2004
ACM
Many lock-free data structures in the literature exploit techniques that are possible only because state-of-the-art 64-bit processors are still running 32-bit operating systems an...
135
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...