Formalising Java RMI with explicit code mobility.
Alexander Joseph AhernNobuko YoshidaPublished in: OOPSLA (2005)
Keyphrases
- source code
- java programs
- byte code
- distributed object
- java virtual machine
- database access
- program code
- object oriented
- cross platform
- open source
- distributed systems
- java language
- remote method invocation
- software systems
- java code
- unit testing
- mobile agents
- multi threaded
- database applications
- operating system
- fully functional
- databases
- object oriented languages
- android application
- java bytecode
- mobility patterns
- human mobility
- aspect oriented programming
- lightweight
- distributed computing
- mobile users