A Formal Model of Resource Sharing Conicts in Multithreaded Java.
Nadezhda BaklanovaMartin StreckerPublished in: ICTERI (2013)
Keyphrases
- formal model
- resource sharing
- grid computing
- load balancing
- multithreading
- peer to peer
- resource allocation
- grid systems
- information sharing
- virtual organization
- security properties
- cloud computing
- object oriented
- distributed computing
- network resources
- databases
- real time
- security patterns
- resource management
- video sequences