203 search results - page 15 / 41 » Ontology-based models in pervasive computing systems |
HUC
2009
Springer
15 years 2 months ago
2009
Springer
Economic incentives are a powerful way of shaping consumer behavior towards more commercially efficient and environmentally sustainable patterns. In this paper, we explore the id...
TPHOL
2005
IEEE
15 years 3 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
109
Voted
WMCSA
2003
IEEE
15 years 2 months ago
2003
IEEE
Emerging ubiquitous and pervasive computing applications often need to know where things are physically located. To meet this need, many locationsensing systems have been develope...
85
Voted
PERCOM
2009
ACM
15 years 4 months ago
2009
ACM
— The pervasive computing environment and the wide network bandwidth provide users more opportunities to utilize remote computing resources. In this paper, we introduce a highper...
PERCOM
2008
ACM
14 years 9 months ago
2008
ACM
This paper presents an infrastructure for developing problem-based pervasive learning environments. Building such environments necessitates having many autonomous components deali...