A Formal Description of SECIMOS Operating System.

Zhouyi Zhou Bin Liang Li Jiang Wenchang Shi Yeping He

Published in: MMM-ACNS (2005)

Keyphrases

operating system
computer systems
microsoft windows
distributed systems
virtual machine
memory management
multi tasking
application programs
address space
windows xp
data mining
data processing
virtual memory
application level