608 search results - page 31 / 122 » Self-healing for Pervasive Computing Systems |
PERCOM
2010
ACM
13 years 6 months ago
2010
ACM
Abstract—Service composition schemes create high-level application services by combining several basic services. Service composition schemes for dynamic, open systems, such as th...
BCSHCI
2007
13 years 10 months ago
2007
This paper briefly shows how product designers as well as information system designers may use the habitat framework as a tool to inform their understanding of the pervasive compu...
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— The emergence of future pervasive ICT environments, characterized by the massive proliferation of embedded electronic devices with communication and computing capabilit...
PERCOM
2008
ACM
14 years 8 months ago
2008
ACM
This paper argues for explicit consideration of data fidelity during development of context-aware systems. Increasing the amount of data captured, stored, and distributed does not ...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...