931 search results - page 114 / 187 » Engineering interactive ubiquitous computing systems |
CHI
2009
ACM
14 years 11 months ago
2009
ACM
Abstract Within the home, digital photos lack the physical affordances that make collocated photo-sharing easy and opportunistic. Family members have difficulty accessing the perso...
EICS
2011
ACM
13 years 2 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...
ASSETS
2010
ACM
13 years 6 months ago
2010
ACM
Electronic Augmented and Alternative Communication (AAC) systems provide a method for people with severe speech impairments to communicate by selecting what they desire to say, an...
CHI
2004
ACM
14 years 11 months ago
2004
ACM
This paper sums up lessons learned from a sequence of cooperative design workshops where end users were enabled to design mobile systems through scenario building, role playing, a...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...