Sciweavers

116 search results - page 7 / 24
» Unit: modular development of distributed interaction techniq...
Sort
View
FM
2008
Springer
171views Formal Methods» more  FM 2008»
13 years 10 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
ICMI
2005
Springer
143views Biometrics» more  ICMI 2005»
14 years 2 months ago
A look under the hood: design and development of the first SmartWeb system demonstrator
Experience shows that decisions in the early phases of the development of a multimodal system prevail throughout the life-cycle of a project. The distributed architecture and the ...
Norbert Reithinger, Simon Bergweiler, Ralf Engel, ...
CW
2005
IEEE
14 years 2 months ago
Designing Interfaces for art applications
Imagination and creativity have always marked the path in the world of aesthetics; artists, designers and other creative individuals have found in the realm of computers a new can...
Marissa Díaz Pier, Isaac Rudomín Gol...
CHI
2006
ACM
14 years 8 months ago
Participatory design with proxies: developing a desktop-PDA system to support people with aphasia
In this paper, we describe the design and preliminary evaluation of a hybrid desktop-handheld system developed to support individuals with aphasia, a disorder which impairs the ab...
Jordan L. Boyd-Graber, Sonya S. Nikolova, Karyn Mo...
INTERACT
2003
13 years 9 months ago
Ontology for Multi-surface Interaction
: Digital computation is a powerful source of functional support. However, it has been confined to the augmentation of single objects only. In this article, we are interested in th...
Joëlle Coutaz, Christophe Lachenal, Sophie Du...