A Practical Alternative to Domain and Type Enforcement Integrity Formal Models.

Liuying Tang Sihan Qing

Published in: Inscrypt (2006)

Keyphrases

formal models
formal model
rule based systems
real world
domain specific
access control
process model
artificial intelligence
pattern recognition
domain experts
cross domain
database
data sets
information systems
knowledge discovery
genetic programming