A Formal Model of Resource Sharing Conicts in Multithreaded Java.

Nadezhda Baklanova Martin Strecker

Published 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