2948 search results - page 102 / 590 » More Principled Design of Pervasive Computing Systems |
DSVIS
1998
Springer
15 years 2 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 ...
ICCS
2007
Springer
15 years 4 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...
SASO
2008
IEEE
15 years 4 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...
PERCOM
2006
ACM
15 years 9 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...
DSN
2006
IEEE
15 years 4 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...