Sciweavers

ICWS
2007
IEEE
13 years 6 months ago
Model Checking Expressive Web Service Descriptions
In order to find suitable web services in a large market of web services, automatic support is needed to filter out web services semantically. Existing matchmaking approaches ma...
Sudhir Agarwal