735 search results - page 119 / 147 » Equivalence of Web Services in Process-Aware Service Composi... |
SWS
2004
ACM
14 years 1 months ago
2004
ACM
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...
ER
2004
Springer
14 years 1 months ago
2004
Springer
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...
AWCC
2004
Springer
14 years 1 months ago
2004
Springer
This paper proposes progressive group testing techniques to test large number of Web services (WS) available on Internet. At the unit testing level, the WS with the same functional...
ISORC
2005
IEEE
14 years 2 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
ASM
2008
ASM
13 years 10 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...