Verifying Bigraphical Models of Architectural Reconfigurations.
Alejandro SanchezLuís Soares BarbosaDaniel RiescoPublished in: TASE (2013)
Keyphrases
- statistical models
- data sets
- prior knowledge
- high level
- case study
- website
- knowledge base
- computer vision
- image segmentation
- three dimensional
- artificial intelligence
- expert systems
- real world
- probabilistic model
- complex systems
- model checking
- database
- software architecture
- bayesian framework
- computational models
- autoregressive