Sciweavers

1620 search results - page 118 / 324
» eg 2010
Sort
View
CHI
2010
ACM
15 years 11 months ago
Communicating software agreement content using narrative pictograms
This paper presents narrative pictograms, diagrams designed to convey the abstract concepts of a software agreement. Narrative pictograms arose out of a need to increase the chanc...
Matthew Kay, Michael Terry
CAV
2010
Springer
243views Hardware» more  CAV 2010»
15 years 8 months ago
libalf: The Automata Learning Framework
d Abstract) Benedikt Bollig1 , Joost-Pieter Katoen2 , Carsten Kern2 , Martin Leucker3 , Daniel Neider2 , and David R. Piegdon2 1 LSV, ENS Cachan, CNRS, 2 RWTH Aachen University, 3 ...
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
ACMDIS
2010
ACM
15 years 4 months ago
Some consideration on the (in)effectiveness of residential energy feedback systems
Energy feedback systems, particularly residential energy feedback systems (REFS), have emerged as a key area for HCI and interaction design. However, we argue that HCI researchers...
James Pierce, Chloe Fan, Derek Lomas, Gabriela Mar...
IUI
2010
ACM
16 years 1 months ago
Speeding pointing in tiled widgets: understanding the effects of target expansion and misprediction
Target expansion is a pointing facilitation technique where the users target, typically an interface widget, is dynamically enlarged to speed pointing in interfaces. However, with...
Jaime Ruiz, Edward Lank
CHI
2010
ACM
15 years 11 months ago
Postcolonial computing: a lens on design and development
As our technologies travel to new cultural contexts and our designs and methods engage new constituencies, both our design and analytical practices face significant challenges. We...
Lilly Irani, Janet Vertesi, Paul Dourish, Kavita P...