Inferring Network Invariants Automatically.

Olga Grinchtein Martin Leucker Nir Piterman

Published in: IJCAR (2006)

Keyphrases

peer to peer
distributed network
network model
network structure
automatically generated
communication networks
network architecture
computer networks
artificial neural networks
machine learning
communication cost
computer vision
data flow
network management
network design
heterogeneous networks
genetic algorithm