CMV: automatic verification of complete mediation for java virtual machines.
A. Prasad SistlaV. N. VenkatakrishnanMichelle ZhouHilary BranskePublished in: AsiaCCS (2008)
Keyphrases
- virtual machine
- java virtual machine
- byte code
- operating system
- java bytecode
- java card
- computing resources
- data center
- distributed computing
- application level
- low latency
- java code
- multi tasking
- program execution
- java programs
- programming language
- database applications
- object oriented
- cloud computing environment
- data mining
- real time
- data management
- garbage collection
- database systems
- information systems
- database