One Size Does Not Fit All: Logic-Based Clustering For On-The-Fly Web Service Composition And Verification | 0 | 0.34 | 2018 |
A Quality-Controlled Logic-Based Clustering Approach For Web Service Composition And Verification | 0 | 0.34 | 2017 |
A bitwise-based indexing and heuristic-driven on-the-fly approach for Web service composition and verification. | 1 | 0.34 | 2017 |
WSCOVER: A Tool for Automatic Composition and Verification of Web Services Using Heuristic-Guided Model Checking and Logic-Based Clustering. | 0 | 0.34 | 2016 |
Web Service Composition Automation Based on Term Rewriting System. | 0 | 0.34 | 2015 |
A Lightweight Formal Approach for Component Reuse. | 0 | 0.34 | 2014 |