Sciweavers

422 search results - page 24 / 85
» Heterogeneity in the usability evaluation process
Sort
View
WSE
2005
IEEE
14 years 2 months ago
A Comprehensive Model for Web Sites Quality
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
Oreste Signore
ECTEL
2008
Springer
13 years 11 months ago
Evaluation of Interoperability between MOT and Regular Learning Management Systems
Abstract. Adaptive Hypermedia content offers personalization; however, (re)using such material with regular Learning Management Systems (LMS) is not yet straightforward. Ideally, m...
Fawaz Ghali, Alexandra I. Cristea
IJAIT
2006
106views more  IJAIT 2006»
13 years 9 months ago
An Empirical Evaluation of Automated Theorem Provers in Software Certification
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
Ewen Denney, Bernd Fischer 0002, Johann Schumann
DMG
2005
Springer
14 years 2 months ago
Adapting to Changing Resource Performance in Grid Query Processing
The Grid provides facilities that support the coordinated use of diverse resources, and consequently, provides new opportunities for wide-area query processing. However, Grid resou...
Anastasios Gounaris, Jim Smith, Norman W. Paton, R...
DEXAW
2004
IEEE
206views Database» more  DEXAW 2004»
14 years 26 days ago
Adaptive Query Processing and the Grid: Opportunities and Challenges
Grid technologies have been developed in response to an increase in demand for computing applications designed to yield the benefits from collaboration, data sharing and sophistic...
Anastasios Gounaris, Norman W. Paton, Rizos Sakell...