Real-time verification of network properties using Atomic Predicates.

Hongkun Yang Simon S. Lam

Published in: ICNP (2013)

Keyphrases

real time
network properties
low cost
structural properties
machine learning
social networks
online social networks