33 search results - page 6 / 7 » What Are Polymorphically-Typed Ambients |
ACMDIS
2006
ACM
13 years 11 months ago
2006
ACM
This paper presents the main results of a three-year long field and design study of proactive information technology in the home. This technology uses sensors to track human activ...
CHI
2002
ACM
14 years 6 months ago
2002
ACM
In this paper, we seek to contribute to the Ubiquitous Computing agenda by focusing on one of its earliest, but most difficult, design ambitions ? making technology "invisibl...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
CHI
2004
ACM
14 years 6 months ago
2004
ACM
Context is a critical element in forming the performance of interactive systems. As the functional diversity and range of use context of the system increase, context sensitivity b...
C5
2009
IEEE
13 years 10 months ago
2009
IEEE
In this paper we introduce a concept of how the status of project partners in a virtual collaboration environment can be transferred in a subtle manner to gain useful information ...