373 search results - page 29 / 75 » Model Checking Techniques applied to the design of Web Servi... |
103
click to vote
FMCO
2003
Springer
15 years 2 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
LREC
2010
14 years 11 months ago
2010
We present the problem of categorizing web services according to a shallow ontology for presentation on a specialist portal, using their WSDL and associated textual documents foun...
SOCA
2007
IEEE
15 years 4 months ago
2007
IEEE
Current technologies aimed at supporting processes – whether it is a business process or a learning process – are usually based on using a dedicated set of metadata to describ...
XMLSEC
2003
ACM
15 years 3 months ago
2003
ACM
Reliable and atomic transactions are a key to successful eBusiness interactions. Reliable messaging subsystems, such as IBM’s MQ Series, or broker-based techniques have been tra...
TR
2010
14 years 4 months ago
2010
Abstract--In the past ten years, the software aging phenomenon has been systematically researched, and recognized by both academic, and industry communities as an important obstacl...