250 search results - page 20 / 50 » Towards Formal Verification of Web Service Composition |
CONEXT
2006
ACM
14 years 1 months ago
2006
ACM
The realization of ubiquitous networks brings new challenges to application development. In this kind of network, services and, more specifically web services, have been used to p...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
ICECCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
SMC
2007
IEEE
14 years 1 months ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
ICWS
2004
IEEE
13 years 8 months ago
2004
IEEE
Web services are becoming important in applications from electronic commerce to application interoperation. While numerous efforts have focused on service composition, service sel...