56 search results - page 5 / 12 » Adoption of Communication Technologies in a Texas Health Set... |
WWW
2006
ACM
14 years 8 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...
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
Web Services constitute a set of technologies that many believe will change the web communication landscape within the next few years. They offer standardized and easy communicati...
ICWS
2008
IEEE
13 years 9 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...
ICDCS
1998
IEEE
13 years 11 months ago
1998
IEEE
Ad-hoc networks consist of a set of mobile hosts that communicate using wireless links, without the use of other communication support facilities (such as base stations). The topo...
IEEEIAS
2008
IEEE
14 years 1 months ago
2008
IEEE
: Research in Vehicular Ad Hoc NETworks (VANETs) has evolved considerably over the last years. Security and privacy in VANETs have recently appealed special interest in the researc...