Formal Trust Specification in Service Workflows

Formal Trust Specification in Service Workflows

Bibliographic Details
Main Authors:	Viriyasitavat, W, Martin, A
Format:	Conference item
Published:	2015

Similar Items

Formalizing Trust Requirements and Specification in Service Workflow Environments.
by: Viriyasitavat, W, et al.
Published: (2011)

In the Relation of Workflow and Trust Characteristics‚ and Requirements in Service Workflows
by: Viriyasitavat, W, et al.
Published: (2011)

A framework of trust in service workflows
by: Viriyasitavat, W
Published: (2013)

A Survey of Trust in Workflows and Relevant Contexts
by: Viriyasitavat, W, et al.
Published: (2011)

The reviews and analysis of the state-of-the-art service workflow specification languages
by: Viriyasitavat, W, et al.
Published: (2017)

SWSpec: The Requirements Specification Language in Service Workflow Environments
by: Viriyasitavat, W, et al.
Published: (2012)

SWSpec: The Requirements Specification Language in Service Workflow Environments
by: Viriyasitavat, W, et al.
Published: (2012)

Using Propositional Logic for Requirements Verification of Service Workflow
by: Xu, L, et al.
Published: (2012)

Using Propositional Logic for Requirements Verification of Service Workflow
by: Xu, L, et al.
Published: (2012)

Modeling Delegation in Requirements−Driven Trust Framework
by: Viriyasitavat, W
Published: (2009)

Formal Analysis of Trust and Reputation for Service Composition in IoT
by: Abdelmuttlib Ibrahim Abdalla Ahmed, et al.
Published: (2023)

Formal Analysis of Trust and Reputation for Service Composition in IoT
by: Abdelmuttlib Ibrahim Abdalla Ahmed, et al.
Published: (2023-03-01)

Towards a Formal Framework for Workflow Interoperability
by: Fernando, S, et al.
Published: (2009)

Towards a formal framework for workflow interoperability
by: Fernando, S, et al.
Published: (2008)

Formal and Model−Based Testing of Concurrent Workflows
by: Wang, C, et al.
Published: (2011)

Formal and Model−Based Testing of Concurrent Workflows
by: Wang, C, et al.
Published: (2011)

A guarded workflow language and its formal semantics
by: Wang, C, et al.
Published: (2010)

A Guarded Workflow Language and Its Formal Semantics
by: Wang, C, et al.
Published: (2010)

Formal specification and implementation of workflow transaction(工作流事务的形式化描述和实现)
by: ZOUJin-an(邹金安), et al.
Published: (2009-09-01)

Trust and connection in formal, virtual mentoring
by: Catherine Evans
Published: (2018-06-01)

Semantic Description of Explainable Machine Learning Workflows for Improving Trust
by: Patricia Inoue Nakagawa, et al.
Published: (2021-11-01)

Transforming polymorphic process model to petri net: a formal way for validating workflow-based web service composition
by: Mohamad, Radziah, et al.
Published: (2011)

A formal validation of a deep learning-based automated workflow for the interpretation of the echocardiogram
by: Jasper Tromp, et al.
Published: (2022-11-01)

Formal reconstruction of notions of belief, utterance and trust
by: Robert Piechowicz
Published: (2020-09-01)

Property Specifications for Workflow Modelling
by: Wong, P, et al.
Published: (2009)

Property Specifications for Workflow Modelling
by: Wong, P, et al.
Published: (2009)

Property Specifications for Workflow Modelling
by: Wong, P, et al.
Published: (2010)

Property specifications for workflow modelling
by: Wong, P, et al.
Published: (2011)

Mapping workflows and managing knowledge : capturing formal and tacit knowledge to improve performance /
by: 554551 Kmetz, John
Published: (2012)

A system for deduction-based formal verification of workflow-oriented software models
by: Klimek Radosław
Published: (2014-12-01)

The Effect of Formal Performance Evaluation and Intrinsic Religiosity on Trust
by: Lina, Lina, et al.
Published: (2022)

The Effect of Formal Performance Evaluation and Intrinsic Religiosity on Trust
by: Lina, et al.
Published: (2022-12-01)

Specification of REST API Services for Modbus Protocol using Formal technique
by: M. Jayasankar, et al.
Published: (2017-12-01)

Formal specification and design /
by: Feijs, L. M. G. (Loe M. G.), et al.
Published: (2005)

Uncertainty, trust and formal governance mechanism in Indonesian family SMEs
by: K Kussudyarsana, et al.
Published: (2019-06-01)

Formal specification of a specification library
by: Atreya, Sriram K
Published: (2005)

Portable Acceleration of CMS Computing Workflows with Coprocessors as a Service
by: Hayrapetyan, A., et al.
Published: (2024)

Scheduling Workforce and Workflow in a Service Factory
by: Berman, Oded, et al.
Published: (2004)

Businesses Integration with Workflow and Web Service Technologies
by: Gianina RIZESCU
Published: (2008-01-01)

A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems
by: Alessandro Aldini
Published: (2016-07-01)