20059 search results - page 3838 / 4012 » The Satellite Data Model |
205
click to vote
ACMICEC
2003
ACM
16 years 11 days ago
2003
ACM
In recent years, the growth of Mobile Computing, Electronic Commerce and Mobile Electronic Commerce has created a new concept of Mobile Electronic Marketing. New marketing models ...
195
click to vote
PLDI
2003
ACM
16 years 11 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
230
click to vote
SENSYS
2003
ACM
16 years 11 days ago
2003
ACM
We present a technique for compression of shortest paths routing tables for wireless ad hoc networks. The main characteristic of such networks is that geographic location of nodes...
202
click to vote
VRST
2003
ACM
16 years 11 days ago
2003
ACM
We present a novel, generic framework and algorithm for hierarchical collision detection, which allows an application to balance speed and quality of the collision detection. We p...
233
click to vote
AMKM
2003
Springer
16 years 10 days ago
2003
Springer
Every time a user engaged in work reads or writes, the user spontaneously generates new information needs: to understand the text he or she is reading or to supply more substance ...