Verifiable and Resource-Aware Component Model for IoT Devices.
Arthur GatouillatYouakim BadrPublished in: MEDES (2017)
Keyphrases
- mathematical model
- management system
- statistical model
- theoretical analysis
- probabilistic model
- experimental data
- sufficient conditions
- prediction model
- bayesian framework
- conceptual model
- objective function
- neural network
- similarity measure
- spatial data
- high level
- image segmentation
- knowledge base
- decision making
- formal model
- data mining