Intelligent Network Control Using Object-Oriented Term-Rewriting.
Adam SteelePublished in: CAINE (2001)
Keyphrases
- term rewriting
- object oriented
- rewrite systems
- theorem proving
- programming language
- relational databases
- network model
- network traffic
- computer networks
- distributed control
- control system
- peer to peer
- control strategy
- theorem prover
- software engineering
- multiagent systems
- database design
- communication networks
- wireless sensor networks
- networked control systems
- switched networks
- data model
- databases