Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components.
Silvia BindelliElisabetta Di NittoCarlo A. FuriaMatteo RossiPublished in: ICECCS (2010)
Keyphrases
- management system
- computational model
- probabilistic model
- building blocks
- genetic algorithm
- high level
- database systems
- wide range
- prior knowledge
- cost function
- probability distribution
- mathematical model
- software components
- conceptual model
- experimental data
- statistical model
- intelligent systems
- computational complexity
- artificial intelligence