Sciweavers

275 search results - page 42 / 55
» Managing Smart Garments
Sort
View
COOPIS
2004
IEEE
13 years 10 months ago
A Prototype of a Context-Based Architecture for Intelligent Home Environments
This paper presents a proposal of a context-based architecture to achieve the required synergy among the ubiquitous computing devices of an intelligent environment. These devices p...
Pablo A. Haya, Germán Montoro, Xavier Alam&...
COOPIS
2004
IEEE
13 years 10 months ago
Cooperative Artefacts
In this position paper we introduce Cooperative Artefacts, physical objects that embed sensing, communication, computation and actuation in physical objects. In contrast to many ot...
Hans-Werner Gellersen
APN
2000
Springer
13 years 10 months ago
Efficient Symbolic State-Space Construction for Asynchronous Systems
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
Gianfranco Ciardo, Gerald Lüttgen, Radu Simin...
EUROSSC
2009
Springer
13 years 10 months ago
Using Dempster-Shafer Theory of Evidence for Situation Inference
Abstract. In the domain of ubiquitous computing, the ability to identify the occurrence of situations is a core function of being ’contextaware’. Given the uncertain nature of ...
Susan McKeever, Juan Ye, Lorcan Coyle, Simon A. Do...
DAIS
2003
13 years 8 months ago
Towards an Intuitive Interface for Tailored Service Compositions
Abstract. Novel modes of interaction and tailored application delivery are a key challenge in ubiquitous computing. This paper proposes a method of adaptively delivering lightweigh...
Steffen Higel, Tony O'Donnell, David Lewis, Vincen...