Formally specifying and coinductive approach to verifying synthesis of stream calculus-based computing big data in livestream.
Dang Van PhamVinh Cong PhanBao Khang NguyenPublished in: Internet Things (2023)
Keyphrases
- big data
- social computing
- cloud computing
- data processing
- big data analytics
- data analysis
- unstructured data
- data management
- data streams
- data intensive
- high volume
- social media
- business intelligence
- vast amounts of data
- decision making
- data visualization
- health informatics
- data driven decision making
- information processing
- data warehousing
- model checking
- knowledge discovery
- data science
- machine learning
- computing technologies
- data analytics
- expert systems