329 search results - page 3 / 66 » Design for verification for asynchronously communicating Web... |
SIGSOFT
2003
ACM
14 years 6 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
SIGMOD
2005
ACM
14 years 5 months ago
2005
ACM
Significant efforts are currently invested in application integration to enable the interaction and composition of business processes of different companies, yielding complex, mul...
ICWS
2008
IEEE
13 years 6 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
ICWS
2003
IEEE
13 years 6 months ago
2003
IEEE
The enormous growth in wireless communications and miniaturized handheld devices in the last few years, have given rise to a vast range of new services, for heterogeneous user env...
WWW
2004
ACM
14 years 6 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...