2594 search results - page 7 / 519 » Environment as Active Support of Interaction |
EUC
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we propose a toolkit, wear-UCAM, which can support mobile user interactions in smart environments through utilizing user's context. With the rapid developments ...
TOOLS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
IEEEICCI
2002
IEEE
14 years 12 days ago
2002
IEEE
In this contribution we present a theoretical approach which has been utilized to inform the coordination of the development of complex systems. Coordination is regarded as a form...
ENTCS
2010
13 years 7 months ago
2010
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the phy...
LPAR
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...