Login / Signup
Veriflow: verifying network-wide invariants in real time.
Ahmed Khurshid
Wenxuan Zhou
Matthew Caesar
Brighten Godfrey
Published in:
Comput. Commun. Rev. (2012)
Keyphrases
</>
real time
network model
wide range
peer to peer
network structure
control system
social network analysis
data flow
complex networks
cellular phone
network parameters
network size
low latency
network architecture
link prediction
computer networks
model checking
low cost
learning algorithm