A Web Services Composition Model and Its Verification Algorithm Based on Interface Automata.
Jianhua LiSongqiao ChenLin JianHongyu ZhangPublished in: TrustCom (2011)
Keyphrases
- probabilistic model
- cost function
- theoretical analysis
- mathematical model
- finite state automata
- objective function
- recognition algorithm
- classification algorithm
- input data
- learning algorithm
- energy function
- similarity measure
- dynamic programming
- detection algorithm
- tree structure
- bayesian framework
- high level
- np hard
- segmentation algorithm
- computational complexity
- kalman filter
- estimation algorithm
- verification method
- probability distribution
- genetic algorithm
- finite state machines
- user interface
- parameter estimation
- software engineering