1894 search results - page 104 / 379 » Towards Mobile Reasoning |
146
Voted
TIME
2005
IEEE
15 years 11 months ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...
167
Voted
GIS
2009
ACM
15 years 3 months ago
2009
ACM
Future driver assistance systems will require highly accurate positioning. One way to achieve this is by using on-board sensors to measure the relative location of landmarks for w...
214
Voted
PLILP
1998
Springer
15 years 9 months ago
1998
Springer
This paper shows how lazy functional programs can be made mobile by compiling them for the Java Virtual Machine. The Haskell compiler it describes is based on the h ,Gi-machine, wh...
162
click to vote
CSREASAM
2007
15 years 7 months ago
2007
— We present an efficient implementation of a fair e-cash protocol especially designed for mobile wireless environments. Our protocol attempts to offer a reasonable balance betw...
136
Voted
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— Since the original work of Grossglauser and Tse, which showed that the mobility can increase the capacity of an ad hoc network, there has been a lot of interest in characterizi...