Trace-Based Network Proof Systems: Expressiveness and Completeness.
Jennifer WidomDavid GriesFred B. SchneiderPublished in: ACM Trans. Program. Lang. Syst. (1992)
Keyphrases
- management system
- network model
- intrusion prevention
- knowledge representation
- response time
- complex networks
- building blocks
- complex systems
- computer systems
- telecommunication networks
- network management
- data flow
- theorem prover
- network structure
- real time
- distributed systems
- wireless sensor networks
- case study
- information systems
- databases
- data sets