1052 search results - page 143 / 211 » Business Process Execution Language for Web Services |
WWW
2006
ACM
14 years 11 months ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...
WWW
2005
ACM
14 years 3 months ago
2005
ACM
The interoperability among distributed and autonomous systems is the ultimate challenge facing the semantic web. Heterogeneity of data representation is the main source of problem...
HPDC
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper, we argue for the power of providing a common set of OS services to wide area applications, including mechanisms for resource discovery, a global namespace, remote p...
ICWS
2004
IEEE
13 years 11 months ago
2004
IEEE
Next-generation Government Information Systems will integrate large amounts of heterogeneous data sources located on distributed networks like the Internet. We present Net Travele...
APSEC
2003
IEEE
14 years 3 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...