This paper describes the results of an empirical study consisting of five sessions where scenarios are written by two writers working in unison, for instance a usability specialis...
Adi B. Tedjasaputra, Eunice Ratna Sari, Georg Stro...
The usability of web applications today often suffers from the page-based medium’s lack of intrinsic support for hierarchical dialog sequences mirroring the parent-child relatio...
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
In this paper, we describe EMMA (E-Mail Management Assistant), an e-mail system that addresses the process of e-mail management, from initially sorting messages into virtual folde...
Clusters of PC containing mostly general purpose hardware have become more and more usable for high performance computing tasks in the past few years. Clustering existing systems ...