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 full text

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

Multi-Level Modeling of Web Service Compositions With Transactional Properties

Journal of Database Management
HardwareInformation SystemsArchitectureSoftware
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy