Reasoning about code mobility with mobile UNITY.
Gian Pietro PiccoGruia-Catalin RomanPeter J. McCannPublished in: ACM Trans. Softw. Eng. Methodol. (2001)
Keyphrases
- mobile networks
- mobile users
- mobility patterns
- mobile computing environment
- mobile devices
- network connectivity
- mobile phone
- mobile applications
- mobile agents
- source code
- mobile environments
- mobile computing
- spatial reasoning
- user mobility
- base station
- mobile communication
- error correcting
- packet transmission
- mobile commerce
- computing environments
- mobile learning
- software systems
- neural network
- static analysis
- smart phones
- m learning
- mobile objects
- formal theory
- mobile phone users
- android application
- data sets