Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Clean Slate initiative
biblio
Flow-based conflict detection in OpenFlow networks using first-order logic
Submitted by BrandonB on Tue, 05/05/2015 - 9:50am
Internet architecture
unreachable flows
transport protocols
Proposals
OpenFlow network architecture
OpenFlow controller
network elements
network devices
Media Access Protocol
management plane
knowledge based systems
IP networks
centralization architecture
inference mechanisms
inference engine
Indexes
flow-based conflict detection
first-order logic
control systems
control plane
computer network management
Clean Slate initiative
centralized controller
