6800 search results - page 588 / 1360 » Testing with Functions as Specifications |
175
click to vote
CSCW
2004
ACM
16 years 29 days ago
2004
ACM
Under-contribution is a problem for many online communities. Social psychology theories of social loafing and goal-setting can provide mid-level design principles to address this ...
171
click to vote
FIMH
2003
Springer
16 years 23 days ago
2003
Springer
The first 36-channel Magnetocardiographic (MCG) system, successfully installed in the Biomagnetism Research Center, Catholic University of Rome, has been tested to evaluate the rel...
189
click to vote
CBMS
2009
IEEE
16 years 19 days ago
2009
IEEE
— Real-time medical image quality is a critical requirement in a number of healthcare environments, including ophthalmology where studies suffer loss of data due to unusable (ung...
196
click to vote
RE
2001
Springer
15 years 12 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
161
click to vote
CHI
2000
ACM
15 years 12 months ago
2000
ACM
Usability comprises the aspects effectiveness, efficiency, and satisfaction. The correlations between these aspects are not well understood for complex tasks. We present data from...