Sciweavers

275 search results - page 42 / 55
» Managing Smart Garments
Sort
View
COOPIS
2004
IEEE
15 years 3 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
15 years 3 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
15 years 3 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
15 years 3 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
15 years 1 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...