Layered virtual machine/object-oriented design.

Published in: WADAS (1988)

Keyphrases

virtual machine
object oriented design
formal specification
operating system
software design
object oriented systems
computing resources
object oriented
distributed computing
virtual memory
data center
cloud computing environment
multi tasking
java card
model checking
software development
open source
databases