9110 search results - page 26 / 1822 » Formally-Based Design Evaluation |
ACMDIS
2004
ACM
15 years 3 months ago
2004
ACM
We elaborate a proposal for capturing, extending, and reusing design knowledge gleaned through usability testing. The proposal is specifically targeted to address interface design...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Phishing attacks, in which criminals lure Internet users to websites that impersonate legitimate sites, are occurring with increasing frequency and are causing considerable harm t...
DSD
2007
IEEE
15 years 4 months ago
2007
IEEE
Design space exploration is used to shorten the design time of System-on-Chips (SoCs). The models used in the exploration need to be both accurate and fast to simulate. This paper...
ISESE
2003
IEEE
15 years 2 months ago
2003
IEEE
The two most common strategies for verification and validation, inspection and testing, are in a controlled experiment evaluated in terms of their fault detection capabilities. Th...
115
click to vote
ASSETS
2006
ACM
15 years 1 months ago
2006
ACM
Finding lost items is a common problem for the visually impaired and is something that computing technology can help alleviate. In this paper, we present the design and evaluation...