305 search results - page 36 / 61 » Proof as Composition: An approach for the Large-granularity ... |
ESWS
2004
Springer
14 years 2 months ago
2004
Springer
The next Web generation promises to deliver Semantic Web Services (SWS); services that are self-described and amenable to automated discovery, composition and invocation. A prerequ...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
WISE
2006
Springer
14 years 2 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
WISE
2007
Springer
14 years 2 months ago
2007
Springer
: Web service search is an important problem in service oriented architecture that has attracted widespread attention from academia as well as industry. Web service searching can b...
DASFAA
2007
IEEE
14 years 3 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...