1227 search results - page 47 / 246 » Remote Store Programming |
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...
POS
1990
Springer
14 years 24 days ago
1990
Springer
Appropriate clustering of objects into pages in secondary memory is crucial to achieving good performance in a persistent object store. We present a new approach, termed semantic ...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— We describe an interaction paradigm for controlling a robot using hand gestures. In particular, we are interested in the control of an underwater robot by an onsite hum...
WICON
2008
13 years 10 months ago
2008
The possibility for spontaneous ad hoc networks between mobile devices has been increasing as small devices become more capable of hosting useful networked applications. These app...
ARCS
2005
Springer
14 years 2 months ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...