2948 search results - page 102 / 590 » More Principled Design of Pervasive Computing Systems |
121
Voted
DSVIS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
120
Voted
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes a signal recognition system that is jointly optimized from mathematical representation, algorithm design and final implementation. The goal is to exploit sign...
158
Voted
SASO
2008
IEEE
15 years 10 months ago
2008
IEEE
—Spatial computing systems are characterized by the extended physical environment in which they exist and function. Often this environment can be manipulated in various ways by t...
115
Voted
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
One of the challenges in pervasive computing is communication between a mobile user's terminal and the continuously changing local environment. Bluetooth is one potential opt...
115
Voted
DSN
2006
IEEE
15 years 9 months ago
2006
IEEE
Designing highly dependable systems requires a good understanding of failure characteristics. Unfortunately, little raw data on failures in large IT installations is publicly avai...