Sciweavers

616 search results - page 30 / 124
» User Interface Design Assistance For Large-Scale Software De...
Sort
View
IUI
2006
ACM
15 years 8 months ago
The delivery of multimedia presentations in a graphical user interface environment
A major issue in many domains is to present information to people that is tailored to their need, in such a way that it supports them in their tasks. In this paper, we present the...
Nathalie Colineau, Julien Phalip, Andrew Lampert
ATAL
2006
Springer
15 years 5 months ago
Deploying a personalized time management agent
We report on our ongoing practical experience in designing, implementing, and deploying PTIME, a personalized agent for time management and meeting scheduling in an open, multi-ag...
Pauline Berry, Bart Peintner, Ken Conley, Melinda ...
CHI
2003
ACM
16 years 2 months ago
iStuff: a physical user interface toolkit for ubiquitous computing environments
The iStuff toolkit of physical devices, and the flexible software infrastructure to support it, were designed to simplify the exploration of novel interaction techniques in the po...
Rafael Ballagas, Meredith Ringel, Maureen C. Stone...
ICFP
2010
ACM
15 years 3 months ago
VeriML: typed computation of logical terms inside a language with effects
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
Antonis Stampoulis, Zhong Shao
IUI
2005
ACM
15 years 7 months ago
TaskTracer: a desktop environment to support multi-tasking knowledge workers
This paper reports on TaskTracer — a software system being designed to help highly multitasking knowledge workers rapidly locate, discover, and reuse past processes they used to...
Anton N. Dragunov, Thomas G. Dietterich, Kevin Joh...