Sciweavers

1820 search results - page 3 / 364
» Generic Graphical User Interfaces
Sort
View
CHI
2011
ACM
13 years 1 months ago
OldGen: mobile phone personalization for older adults
Mobile devices are currently difficult to customize for the usability needs of elderly users. The elderly are instead referred to specially designed “senior phones” or softwar...
Alex Olwal, Dimitris Lachanas, Ermioni Zacharouli
FASE
2000
Springer
14 years 1 months ago
More About TAS and IsaWin - Tools for Formal Program Development
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
Christoph Lüth, Burkhart Wolff
AVI
2006
13 years 11 months ago
Exploring the design space for adaptive graphical user interfaces
For decades, researchers have presented different adaptive user interfaces and discussed the pros and cons of adaptation on task performance and satisfaction. Little research, how...
Krzysztof Z. Gajos, Mary Czerwinski, Desney S. Tan...