A Framework for Modeling Operating System Mechanisms in the Simulation of Network Protocols for Real-Time Distributed Systems.
Paolo PaganoPrashant BatraGiuseppe LipariPublished in: IPDPS (2007)
Keyphrases
- operating system
- distributed systems
- real time
- real time systems
- distributed environment
- network protocols
- fault tolerant
- security mechanisms
- computer systems
- message passing
- high assurance
- microsoft windows
- virtual machine
- mobile computing
- distributed database systems
- mobile agents
- security policies
- management system