Searching for "Formal Methods for Web Services" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Formalizing mobility in Service Oriented Computing
- … by the Web Services technology. Index Terms— Service oriented computing, mobility mechanisms, formal methods…
- Add To MetaCart
-
Formal Analysis of Sensor Network Encryption Protocol (SNEP)
- … government with the project ”Application of Formal Methods to Web Services”, with reference TIN2006- 15578-C…
- Add To MetaCart
-
Assembling Composite Web Services from Autonomous Components
- …. Web Services, Composition, AI Planning, Formal Methods Recent advances in networks, information…
- Cited by 1 (1 self) – Add To MetaCart
-
Pattern-Based Specification and Validation of Web Services Interaction Properties
- …. The introduction of SPS is aimed to facilitate the use of formal methods by Web service developers in describing…
- Cited by 6 (2 self) – Add To MetaCart
-
Applying Service Oriented Architecture in the Aerospace Industry
- … on Formal Methods for Web Service Protocols. His current research interests are focused on Service Oriented…
- Cited by 1 (1 self) – Add To MetaCart
-
Defeasible Security Policy Composition for Web Services
- … specification in defeasible logic, the use of formal methods for web services, and policy composition are three…
- Add To MetaCart
Showing 1 through 6.
