414 search results - page 14 / 83 » Using Strongest Postconditions to Improve Software Quality |
95
Voted
STTT
2008
15 years 10 days ago
2008
Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...
130
Voted
CRYPTO
2011
Springer
14 years 6 days ago
2011
Springer
Strong lattice reduction is the key element for most attacks against lattice-based cryptosystems. Between the strongest but impractical HKZ reduction and the weak but fast LLL redu...
129
click to vote
JTRES
2009
ACM
15 years 7 months ago
2009
ACM
This paper describes hardware methods, a lightweight and platform-independent scheme for linking real-time Java code to co-processors implemented using a hardware description lang...
SIGSOFT
2001
ACM
16 years 1 months ago
2001
ACM
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Spectrum analysis for quality requirements is useful for measuring and tracking them, but current spectrum analysis largely depends on expertise of each analyst. Therefore, it tak...