35416 search results - page 30 / 7084 » Evaluation |
AUIC
2006
IEEE
15 years 5 months ago
2006
IEEE
We performed a usability evaluation of four New Zealand university online library catalogues. The evaluation found severe usability problems with online catalogues—we found so m...
ICCBR
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...
SIGCSE
2000
ACM
15 years 4 months ago
2000
ACM
There are numerous ways to evaluate student programming ability, all of which have benefits and drawbacks. In this paper we discuss how we have combined a number of those evaluati...
CHARME
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
DSVIS
2006
Springer
15 years 3 months ago
2006
Springer
Usability evaluation methods are a battery of techniques for assessing the usability of interactive systems or of proposed interactive systems. This paper describes a new evaluatio...