3061 search results - page 91 / 613 » interactions 2010 |
CONCUR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...
MICS
2010
13 years 8 months ago
2010
Abstract. In this paper we introduce the concept of an interactive mathematical document. We give a formal description of such a document, which enables us to introduce the notion ...
PERCOM
2010
ACM
14 years 1 months ago
2010
ACM
—Efficient discovery of nearby devices and services is one of the preconditions to obtain a usable pervasive environment. Typical user interfaces in these environments hide the ...
IVA
2010
Springer
13 years 8 months ago
2010
Springer
The ability of artificial companions (virtual agents or robots) to establish meaningful relationships with users is still limited. In humans, a key aspect of such ability is empath...
CHI
2010
ACM
14 years 4 months ago
2010
ACM
This paper presents findings from a qualitative study of people’s everyday interactions with energy-consuming products and systems in the home. Initial results from a large onli...