4109 search results - page 273 / 822 » User Interface Software Tools |
124
Voted
ENTCS
2006
15 years 2 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
89
Voted
CHI
2010
ACM
15 years 9 months ago
2010
ACM
Non-administrator user accounts and the user account control (UAC) approach of Windows Vista are two practical solutions to limit the damage of malware infection. UAC in Windows V...
HUC
2009
Springer
15 years 7 months ago
2009
Springer
We describe a technique to detect the presence of computer users. This technique relies on sonar using hardware that already exists on commodity laptop computers and other electro...
105
click to vote
IWPC
2002
IEEE
15 years 7 months ago
2002
IEEE
While code understanding is the primary program comprehension activity, it is quite challenging to recognize the application requirements from code, since they have usually been o...
144
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...