2673 search results - page 80 / 535 » Guided Static Analysis |
81
Voted
BEHAVIOURIT
2005
15 years 21 days ago
2005
The research presented in this paper aims to inform interface design for mobile guides by understanding and modelling the built environments in which the guide will be used. This ...
104
click to vote
WSE
2002
IEEE
15 years 5 months ago
2002
IEEE
The World Wide Web, initially intended as a way to publish static hypertexts on the Internet, is moving toward complex applications. Static Web sites are being gradually replaced ...
97
Voted
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
85
Voted
CHI
2004
ACM
16 years 1 months ago
2004
ACM
While much basic research exists on the effects of various visual properties on visual search, the application of such research to real-world tasks is lacking. The purpose of this...
CPAIOR
2008
Springer
15 years 2 months ago
2008
Springer
Solution-Guided Multi-Point Constructive Search (SGMPCS) is a complete, constructive search technique that has been shown to out-perform standard constructive search techniques on ...