1227 search results - page 19 / 246 » Remote Store Programming |
125
click to vote
PUC
2006
15 years 4 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...
145
click to vote
CP
2008
Springer
15 years 6 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...
129
click to vote
WETICE
2007
IEEE
15 years 10 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...
158
click to vote
COMSWARE
2006
IEEE
15 years 10 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...
135
click to vote
EWSN
2009
Springer
16 years 4 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...