245 search results - page 12 / 49 » pervasive 2008 |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Pervasive computing software adapts its behavior according to the changing contexts. Nevertheless, contexts are often noisy. Context inconsistency resolution provides a cleaner pe...
GI
2008
Springer
14 years 10 months ago
2008
Springer
: Computer games play an increasing role in our modern information society. Besides pure entertainment, games can provide valuable input for social interaction, learning, etc. Rece...
SRDS
2008
IEEE
15 years 3 months ago
2008
IEEE
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...
ENTCS
2008
14 years 9 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
93
Voted
JDCTA
2008
14 years 9 months ago
2008
Pervasive computing is an emerging computing paradigm, which is expected to be part of our everyday life in the foreseeable future. The coordination among heterogeneous devices, s...