Specification and Validation of Link Reversal Routing via Graph Transformations.
Giorgio DelzannoRiccardo TraversoPublished in: SPIN (2013)
Keyphrases
- web graph
- graph representation
- random walk
- link failure
- graph matching
- graph structure
- high level
- shortest path
- structured data
- directed acyclic graph
- strongly connected
- link structure
- path length
- graph model
- graph theory
- bipartite graph
- directed graph
- routing protocol
- web pages
- specification language
- inter domain
- social networks
- graph partitioning
- undirected graph
- routing problem
- formal specification
- network topology
- routing algorithm
- ranking algorithm
- connected components