Sciweavers

1636 search results - page 163 / 328
» From Usability Lab to
Sort
View
NORDICHI
2004
ACM
14 years 3 months ago
Sharing and learning through pair writing of scenarios
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...
ICWE
2004
Springer
14 years 3 months ago
A Notation and Framework for Dialog Flow Control in Web Applications
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...
Matthias Book, Volker Gruhn
TACAS
2004
Springer
94views Algorithms» more  TACAS 2004»
14 years 3 months ago
A Tool for Checking ANSI-C Programs
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...
Edmund M. Clarke, Daniel Kroening, Flavio Lerda
IAT
2003
IEEE
14 years 3 months ago
EMMA: An E-Mail Management Assistant
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...
Van Hai Ho, Wayne Wobcke, Paul Compton
IPPS
2003
IEEE
14 years 3 months ago
A Message Passing Interface Library for Inhomogeneous Coupled Clusters
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 ...
Martin Pöppe, Silke Schuch, Thomas Bemmerl