A two-level formal model for Big Data processing programs.
João Batista de Souza NetoAnamaria Martins MoreiraGenoveva Vargas-SolarMartin A. MusicantePublished in: Sci. Comput. Program. (2022)
Keyphrases
- formal model
- big data
- data processing
- high volume
- data intensive computing
- cloud computing
- data analysis
- data management
- data intensive
- big data analytics
- knowledge discovery
- unstructured data
- real time
- information processing
- formal models
- data warehousing
- data science
- massive data
- business intelligence
- vast amounts of data
- social media
- decision making
- security properties
- social computing
- decision support
- massive datasets
- security patterns
- data model
- information technology