Formalising Java RMI with explicit code mobility.
Alexander Joseph AhernNobuko YoshidaPublished in: Theor. Comput. Sci. (2007)
Keyphrases
- source code
- java programs
- byte code
- database access
- java virtual machine
- distributed object
- program code
- java code
- distributed systems
- programming language
- mobile agents
- open source
- development environment
- mobile networks
- code examples
- multi threaded
- mobility patterns
- human mobility
- cross platform
- java bytecode
- unit testing
- software systems
- object oriented
- android application
- test driven development
- database
- remote method invocation
- aspect oriented programming
- garbage collection
- program execution
- code generation
- virtual machine
- visual basic
- client server
- high level
- web services