Distributed Consistent Network Updates in SDNs: Local Verification for Global Guarantees.
Klaus-Tycho FoersterStefan SchmidPublished in: NCA (2019)
Keyphrases
- distributed network
- peer to peer
- computer networks
- remote sites
- global knowledge
- global information
- globally consistent
- fully distributed
- network nodes
- communication overhead
- globally distributed
- communication cost
- model checking
- central site
- network model
- distributed systems
- mobile sensor
- cooperative
- peer to peer networks
- data transfer
- complex networks
- distributed data
- load balance
- communication networks
- distributed environment
- network traffic
- central server
- query routing
- multi agent
- globally optimal
- end to end
- network structure
- wireless sensor networks