ConMod: a system for conceptual consistency verification and communication.
Robert E. BraudesJohn L. SibertPublished in: ACM SIGCHI Bull. (1991)
Keyphrases
- model checking
- communication systems
- information exchange
- database
- communication protocol
- communication channels
- communication networks
- verification method
- communication overhead
- data sets
- information sharing
- relational databases
- high level
- data mining
- human computer
- consistency checking
- neural network
- communication protocols