1949 search results - page 109 / 390 » Protective Interface Specifications |
CSCW
2012
ACM
12 years 5 months ago
2012
ACM
We report on a study of the English edition of Wikipedia in which we used a mixed methods approach to understand how nested organizational structures called WikiProjects support c...
FM
2006
Springer
14 years 1 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
TABLETOP
2006
IEEE
14 years 4 months ago
2006
IEEE
Tabletop systems provide a platform for developing novel interaction systems, including tangible user interfaces (TUIs). This paper presents a study of the effects of a tabletop s...
CHI
2010
ACM
13 years 10 months ago
2010
ACM
We present an experimental comparison of multi-touch and tangible user interfaces for basic interface actions. Twelve participants completed manipulation and acquisition tasks on ...
WADT
1999
Springer
14 years 2 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...