284 search results - page 9 / 57 » WSAT: A Tool for Formal Analysis of Web Services |
FASE
2008
Springer
13 years 9 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
WEBI
2007
Springer
14 years 2 months ago
2007
Springer
There is a critical need to design and develop tools tract away the fundamental complexity of XML-based Web services specifications and toolkits, and provide an elegant, intuitive...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
One of the crucial reasons for adding semantic descriptions to Web services is to enable intelligent discovery, removing the need for a human to manually search and browse textual ...
ICSOC
2007
Springer
14 years 2 months ago
2007
Springer
While OWL-S advertisements provide a rich (ontological and behavioural) description of Web services, there are no tools that support formal analyses of OWL-S services. In this pape...
FMICS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...