A Method for Formal Verification of Service Interoperability.
Stanislav PokraevDick A. C. QuartelMaarten W. A. SteenManfred ReichertPublished in: ICWS (2006)
Keyphrases
- pairwise
- computational cost
- formal verification
- cost function
- information systems
- support vector machine
- preprocessing
- dynamic programming
- support vector machine svm
- significant improvement
- objective function
- probabilistic model
- computational complexity
- detection method
- synthetic data
- model checking
- similarity measure