Keyphrases
- abductive inference
- deductive reasoning
- lightweight
- case study
- probabilistic inference
- object oriented
- bayesian inference
- belief networks
- tcp ip
- control algorithm
- coloured petri nets
- data conversion
- model validation
- cryptographic protocols
- authentication protocol
- multi party
- control method
- real time
- digital libraries
- bayesian networks
- neural network