Poster: Location Verification and Recovery for Mobile In-Vehicle Applications.
Kexiong Curtis ZengYanzhi DouYaling YangRanveer ChandraPublished in: MobiSys (2015)
Keyphrases
- location dependent
- mobile objects
- location management
- real time
- mobile computing
- mobile phone
- mobility patterns
- location tracking
- mobile devices
- global positioning system
- mobile environments
- pedestrian detection
- model checking
- mobile learning
- mobile networks
- vehicle speed
- traffic management
- recovery algorithm
- vehicle detection
- location information
- mobile applications
- geo tagged
- location aware
- asynchronous circuits
- formal verification
- formal methods
- mobile users
- video sequences