Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources.

Jieqi Ding Han Zhu Huibiao Zhu Qin Li

Published in: TASE (2009)

Keyphrases

web resources
image analysis
statistical analysis
databases
social networks
reinforcement learning
learning resources
formal analysis