An Epistemic Model Checking Approach to Web Service Compositions

International Journal of Wireless and Microwave Technologies

doi 10.5815/ijwmt.2012.06.10

Full Text

Abstract

Available in

Date

Authors

Publisher

MECS Publisher

Related search

Facing Uncertainty in Web Service Compositions

2013English

A Bounded Model Checking Approach for the Verification of Web Services Composition

International Journal of Web Services Research
Computer NetworksSoftwareInformation SystemsCommunications
2013English

An Approach to Web Service Selection Based on Composite Qos Parameters

Advances in Science and Technology Research Journal
2015English

Formalizing and Checking Web Service Discovery Models Using B.

Journal of Computer Science and Cybernetics
2012English

Semantic Web Service Interaction Protocols: An Ontological Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Top-K Web Service Compositions Using Fuzzy Dominance Relationship

2011English

A Bayesian Approach to Model Checking Biological Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

A Formula Driven Incremental Construction of Web Service Compositions

2009English

Achieving Autonomic Web Service Compositions With Models at Runtime

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy