Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling.
Hanan LutfiyyaBruce M. McMillinAlan SuPublished in: Formal Methods in Programming and Their Applications (1993)
Keyphrases
- distributed data
- data sharing
- distributed data mining
- data distribution
- communication cost
- integrating heterogeneous
- databases
- privacy concerns
- rare events
- distributed data sources
- relational databases
- data mining techniques
- decision support
- data mining algorithms
- pattern recognition
- file system
- data structure
- face recognition
- database systems
- multimedia
- data sets