1227 search results - page 19 / 246 » Remote Store Programming |
PUC
2006
13 years 7 months ago
2006
Traditional remote controls typically allow users to activate functionality of a single device. Given that users activate a subset of functionality across devices to accomplish a p...
CP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
WETICE
2007
IEEE
14 years 1 months ago
2007
IEEE
Scientific simulations and experiments use sophisticated data formats to store and access their data. An example of such a format is the Hierarchical Data Format (HDF), commonly u...
COMSWARE
2006
IEEE
14 years 1 months ago
2006
IEEE
— The ability to access remote file storage from mobile devices enables a number of new use cases for storing and sharing data. We describe the design and implementation of a Rem...
EWSN
2009
Springer
14 years 8 months ago
2009
Springer
Remote management is essential for wireless sensor networks (WSNs) designed to run perpetually using harvested energy. A natural division of function for managing WSNs is to employ...