Using source transformation to test and model check implicit-invocation systems.
Hongyu ZhangJeremy S. BradburyJames R. CordyJürgen DingelPublished in: Sci. Comput. Program. (2006)
Keyphrases
- computational model
- management system
- distributed systems
- high level
- formal model
- statistical model
- objective function
- probabilistic model
- prior knowledge
- mathematical model
- cost function
- expert systems
- knowledge based systems
- theoretical framework
- similarity measure
- experimental data
- real time
- prediction model
- mathematical models