Relational Network Verification.
Xieyang XuYifei YuanZachary KincaidArvind KrishnamurthyRatul MahajanDavid WalkerEnnan ZhaiPublished in: CoRR (2024)
Keyphrases
- network parameters
- network model
- relational databases
- wireless sensor networks
- peer to peer
- model checking
- network structure
- learning algorithm
- data model
- protocol specification
- database
- network design
- network management
- communication networks
- relational data
- computer networks
- network traffic
- response time
- digital libraries
- bayesian networks
- information systems
- neural network
- data sets