2111 search results - page 4 / 423 » How to Program Pervasive Systems |
IFM
2010
Springer
13 years 5 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...
RTAS
2010
IEEE
13 years 5 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
PERCOM
2004
ACM
14 years 6 months ago
2004
ACM
Pervasive computing calls for suitable middleware and programming models to deal with large software systems dived in dynamic mobile network environments. Here we present the prog...
QSIC
2006
IEEE
14 years 1 months ago
2006
IEEE
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
PERCOM
2009
ACM
14 years 7 months ago
2009
ACM
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...