Automated techniques for provably safe mobile code.
Christopher ColbyKarl CraryRobert HarperPeter LeeFrank PfenningPublished in: Theor. Comput. Sci. (2003)
Keyphrases
- mobile devices
- mobile phone
- semi automated
- source code
- mobile networks
- autonomous mobile
- context aware
- mobile learning
- mobile applications
- mobile commerce
- mobile communication
- m learning
- error correcting
- automated analysis
- wearable devices
- location aware
- android application
- communication technologies
- mobile computing
- search engine
- mobile users
- fully automated
- computer aided
- data driven
- search algorithm