1128 search results - page 139 / 226 » Little Engines of Proof |
162
click to vote
ICFEM
2009
Springer
16 years 28 days ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
161
click to vote
UIST
2009
ACM
16 years 26 days ago
2009
ACM
We present Abracadabra, a magnetically driven input technique that offers users wireless, unpowered, high fidelity finger input for mobile devices with very small screens. By exte...
170
click to vote
APSEC
2008
IEEE
16 years 26 days ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
173
click to vote
APSEC
2008
IEEE
16 years 26 days ago
2008
IEEE
Test case prioritization techniques have been empirically proved to be effective in improving the rate of fault detection in regression testing. However, most of previous techniqu...
176
click to vote
SADFE
2008
IEEE
16 years 23 days ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...