Sciweavers

2749 search results - page 446 / 550
» Usability of interaction patterns
Sort
View
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 3 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
CHI
2010
ACM
16 years 1 months ago
A study of tabbed browsing among mozilla firefox users
We present a study which investigated how and why users of Mozilla Firefox use multiple tabs and windows during web browsing. The detailed web browsing usage of 21 participants wa...
Patrick Dubroy, Ravin Balakrishnan
CHI
2010
ACM
16 years 1 months ago
The secure haptic keypad: a tactile password system
Authentication in public spaces poses significant security risks. Most significantly, passwords can be stolen, potentially leading to fraud. A common method to steal a PIN is thro...
Andrea Bianchi, Ian Oakley, Dong Soo Kwon
CHI
2009
ACM
16 years 1 months ago
WeSpace: the design development and deployment of a walk-up and share multi-surface visual collaboration system
We present WeSpace – a collaborative work space that integrates a large data wall with a multi-user multi-touch table. WeSpace has been developed for a population of scientists ...
Daniel Wigdor, Hao Jiang, Clifton Forlines, Michel...
AIED
2009
Springer
16 years 1 months ago
Who Helps When the Tutor Is Asleep?
While many computer tutoring systems have long been delivered as desktop applications, these systems have only recently begun to appear on mobile devices. In this work we apply pri...
Quincy Brown, Dario D. Salvucci, Frank J. Lee, Vin...