284 search results - page 20 / 57 » WSAT: A Tool for Formal Analysis of Web Services |
ECAI
2000
Springer
14 years 12 days ago
2000
Springer
The web is fast maturing into an important marketing medium that provides businesses with the ability to undertake oneto-one marketing and provide personalised services to their cu...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
The reasoning tasks that can be performed with semantic web service descriptions depend on the quality of the domain ontologies used to create these descriptions. However, buildin...
TOPLAS
2008
13 years 8 months ago
2008
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
CCS
2004
ACM
14 years 1 months ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
ICWS
2009
IEEE
14 years 5 months ago
2009
IEEE
Algorithms for composing Web services (WS) traditionally utilize the functional and quality-of-service parameters of candidate services to decide which services to include in the ...