Position Paper: Reactive Logic in Software-Defined Networking: Accounting for the Limitations of the Switches.
Roberto BifulcoMaurizio DusiPublished in: EWSDN (2014)
Keyphrases
- software development
- software systems
- distributed computing
- agent architecture
- computer networking
- software tools
- logic programming
- modal logic
- design patterns
- defeasible logic
- future directions
- software architecture
- test cases
- peer to peer
- user interface
- database
- computer systems
- software components
- source code
- object oriented
- software package
- logical framework
- classical logic
- wireless sensor
- proof theory
- neural network