An Application of Bitwise-Based Indexing to Web Service Composition and Verification | IEEE Conference Publication | IEEE Xplore