Search For:

Displaying 1-3 out of 3 total
Formal Modeling and Reconfiguration of User Interfaces
Found in: Chilean Computer Science Society, International Conference of the
By Benjamin Weyers, Wolfram Luther
Issue Date:November 2010
pp. 236-245
The paper at hand introduces a new formal approach to user interface modeling. This approach is mainly motivated by a lack of formal methods for modeling interaction logic of interactive user interfaces. Based on formal methods, various verification, alida...
User-Centered Interface Reconfiguration for Error Reduction in Human-Computer Interaction
Found in: Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services, International Conference on
By Benjamin Weyers, Dina Burkolter, Annette Kluge, Wolfram Luther
Issue Date:August 2010
pp. 52-55
Human-computer interaction (HCI) is greatly influenced by findings in psychological research concerning interaction with complex technical processes. Psychological concepts like perception and comprehension of information, as well as projection of future s...
Cooperative creation of concept keyboards in distributed learning environments
Found in: International Conference on Computer Supported Cooperative Work in Design
By Benjamin Weyers, Nelson Baloian, Wolfram Luther
Issue Date:April 2009
pp. 534-539
In this paper we introduce CoBo, a collaborative system supporting cryptographic protocol learning, which offers an interface for the cooperative creation of concept keyboards. Concept keyboards are input interfaces created by the user during runtime with ...