Interactive and Probabilistic Proof of Mobile Code Safety.
Yasuyuki TsukadaPublished in: Autom. Softw. Eng. (2005)
Keyphrases
- mobile devices
- probabilistic model
- source code
- mobile phone
- cost based abduction
- autonomous mobile
- probabilistic logic
- generative model
- virtual reality
- computer graphics
- data sets
- mobile communication
- user friendly
- context aware
- uncertain data
- mobile networks
- communication technologies
- neural network
- real time
- operating system
- information theoretic
- smart phones
- mobile computing
- learning environment
- mobile terminals
- traffic accidents
- bayesian networks
- mobile commerce
- linear logic