1282 search results - page 114 / 257 » Practical Loss-Resilient Codes |
111
Voted
SAC
2003
ACM
15 years 6 months ago
2003
ACM
Test Driven Development (TDD) is a software development practice in which unit test cases are incrementally written prior to code implementation. In our research, we ran a set of ...
132
click to vote
SP
2006
IEEE
15 years 6 months ago
2006
IEEE
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
102
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
97
Voted
SIGSOFT
2004
ACM
15 years 6 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
111
Voted
SIGCSE
2009
ACM
16 years 1 months ago
2009
ACM
For decades, US universities and colleges have had policies pertaining to the conduct of their students at the institutional level. These policies are referred to as Academic Inte...