Data-aware design and verification of service compositions with Reo and mCRL2.
Natallia KokashChristian KrauseErik P. de VinkPublished in: SAC (2010)
Keyphrases
- data sets
- data processing
- data collection
- data analysis
- synthetic data
- statistical analysis
- knowledge discovery
- original data
- database
- databases
- data sources
- high quality
- data acquisition
- input data
- training data
- data quality
- historical data
- raw data
- experimental data
- data integrity
- design process
- data mining techniques
- image data
- data points
- prior knowledge
- relational databases
- database systems