Real-Time Verification of Network Properties Using Atomic Predicates.

Hongkun Yang Simon S. Lam

Published in: IEEE/ACM Trans. Netw. (2016)

Keyphrases

real time
network properties
low cost
structural properties
topological properties
network model
social networks
natural language processing
data acquisition
network evolution