Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations.
Heiko KlareJoshua GleitzePublished in: Formal Aspects Comput. (2023)
Keyphrases
- probabilistic model
- computational model
- network model
- management system
- statistical model
- objective function
- prediction model
- theoretical framework
- power law
- formal model
- neural network model
- conceptual model
- network structure
- mathematical model
- social networks
- graphical models
- artificial neural networks
- high level
- decision making