13383 search results - page 2341 / 2677 » Abstractions from proofs |
119
Voted
ROBOCUP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The default solution for mobile robot communication is RFnetworking, typically based on one of the IEEE 802.11 standards also known as WLAN technology. Radio communicatio...
158
click to vote
EGC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Grid technology is widely emerging as a solution for wide-spread applicability of computerized analysis and processing procedures in biomedical sciences. In this paper we...
145
click to vote
MOBICOM
2004
ACM
15 years 9 months ago
2004
ACM
We present MobiDesk, a mobile virtual desktop computing hosting infrastructure that leverages continued improvements in network speed, cost, and ubiquity to address the complexity...
146
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
190
Voted
SIGMETRICS
2004
ACM
15 years 9 months ago
2004
ACM
The use of environmental energy is now emerging as a feasible energy source for embedded and wireless computing systems such as sensor networks where manual recharging or replacem...