MR-Verifier: Verifying Open Flow Network Properties Based on MapReduce.
Yi LiuCheng LeiHongqi ZhangPublished in: CyberC (2015)
Keyphrases
- network properties
- topological properties
- structural properties
- network model
- social networks
- network structure
- online social networks
- network evolution
- evolutionary algorithm
- clustering coefficient
- graph theory
- link formation
- databases
- gene expression
- social network analysis
- markov random field
- social media
- neural network