Non-interference Properties for Data-Type Reduction of Communicating Systems.
Tobe TobenPublished in: IFM (2007)
Keyphrases
- data types
- data formats
- database management systems
- data structure
- expert systems
- user defined
- preprocessing
- data model
- complex systems
- distributed systems
- communication channels
- data storage
- first order logic
- computer systems
- database
- relational databases
- feature extraction
- database systems
- information retrieval
- real world