4460 search results - page 241 / 892 » Formal methods for interactive systems |
127
Voted
CHI
2007
ACM
16 years 5 months ago
2007
ACM
This paper describes a research approach to the experimental study of emotional experiences and their connections to other components of user experience in human-technology intera...
141
click to vote
CANS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
146
Voted
ISVC
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we present a system for performing real-time occlusion-aware interactions in a mixed reality environment. Our system consists of 16 ceiling-mounted cameras observing...
163
click to vote
CADE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
153
click to vote
AMOST
2005
ACM
15 years 10 months ago
2005
ACM
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...