Declarative Network Verification.

Anduo Wang Prithwish Basu Boon Thau Loo Oleg Sokolsky

Published in: PADL (2009)

Keyphrases

wireless sensor networks
network model
model checking
face verification
network design
community structure
network traffic
network structure
information systems
information retrieval
response time
database systems
high level
computer networks
data flow
machine learning
databases