5843 search results - page 848 / 1169 » Software Security in Practice |
211
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
169
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Although camera self-calibration and metric reconstruction have been extensively studied during the past decades, automatic metric reconstruction from long video sequences with va...
143
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
This paper investigates using stroke gestures as shortcuts to menu selection. We first experimentally measured the performance and ease of learning of stroke shortcuts in comparis...
167
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
We present the results of a field study of some of the work practices and software used by dentists. We also present the design, implementation, and evaluation of a user interface...
170
Voted
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...