: This paper presents a desktop system for managing personal documents. The documents can be of many types—text, spreadsheets, images, multimedia—and are organized in a persona...
Imene Jaballah, Sally Jo Cunningham, Ian H. Witten
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
In this paper, we describe marking features provided in Gild, a set of plug-ins to support education in Eclipse developed at the University of Victoria. We discuss our requirement...
Del Myers, Elizabeth Hargreaves, Jody Ryall, Suzan...
Abstract. Digital libraries are large, organized collections of information objects. Well-designed digital library software has the potential to enable nonspecialist people to conc...
The Technology Acceptance Model (TAM) predicts whether users will ultimately use software applications based upon causal relationships among belief and attitudinal constructs that...