Wattana Viriyasitavat : Publications
-
[1]
Using Propositional Logic for Requirements Verification of Service Workflow
L.D. Xu‚ W. Viriyasitavat‚ P. Ruchikachorn and A. Martin
In Industrial Informatics‚ IEEE Transactions on. Vol. PP. No. 99. Pages 1. 2012.
Details about Using Propositional Logic for Requirements Verification of Service Workflow | BibTeX data for Using Propositional Logic for Requirements Verification of Service Workflow | DOI (10.1109/TII.2012.2187908)
-
[2]
SWSpec: The Requirements Specification Language in Service Workflow Environments
W. Viriyasitavat‚ A. Martin and L. Xu
In Industrial Informatics‚ IEEE Transactions on. Vol. PP. No. 99. Pages 1. 2012.
Details about SWSpec: The Requirements Specification Language in Service Workflow Environments | BibTeX data for SWSpec: The Requirements Specification Language in Service Workflow Environments | DOI (10.1109/TII.2011.2182519)
-
[3]
A Survey of Trust in Workflows and Relevant Contexts
W. Viriyasitavat and A. Martin
In Communications Surveys Tutorials‚ IEEE. Vol. PP. No. 99. Pages 1 −30. 2011.
Details about A Survey of Trust in Workflows and Relevant Contexts | BibTeX data for A Survey of Trust in Workflows and Relevant Contexts | DOI (10.1109/SURV.2011.072811.00081)
-
[4]
Formalizing Trust Requirements and Specification in Service Workflow Environments.
Wattana Viriyasitavat and Andrew Martin
In Runtong Zhang‚ Jos� Cordeiro‚ Xuewei Li‚ Zhenji Zhang and Juliang Zhang, editors, ICEIS (3). Pages 196−206. SciTePress. 2011.
Details about Formalizing Trust Requirements and Specification in Service Workflow Environments. | BibTeX data for Formalizing Trust Requirements and Specification in Service Workflow Environments. | Link to Formalizing Trust Requirements and Specification in Service Workflow Environments.
-
[5]
In the Relation of Workflow and Trust Characteristics‚ and Requirements in Service Workflows
Wattana Viriyasitavat and Andrew Martin
In Abd Manaf‚ Azizah‚ Akram Zeki‚ Mazdak Zamani‚ Suriayati Chuprat and Eyas El−Qawasmeh, editors, Informatics Engineering and Information Science. Vol. 251 of Communications in Computer and Information Science. Pages 492−506. Springer Berlin Heidelberg. 2011.
10.1007/978−3−642−25327−0_42
Details about In the Relation of Workflow and Trust Characteristics‚ and Requirements in Service Workflows | BibTeX data for In the Relation of Workflow and Trust Characteristics‚ and Requirements in Service Workflows | Link to In the Relation of Workflow and Trust Characteristics‚ and Requirements in Service Workflows
-
[6]
Formal Trust Specification in Service Workflows
W. Viriyasitavat and A. Martin
In Embedded and Ubiquitous Computing (EUC)‚ 2010 IEEE/IFIP 8th International Conference on. Pages 703 −710. December, 2010.
Details about Formal Trust Specification in Service Workflows | BibTeX data for Formal Trust Specification in Service Workflows | DOI (10.1109/EUC.2010.111)
-
[7]
Modeling Delegation in Requirements−Driven Trust Framework
W. Viriyasitavat
In Services − I‚ 2009 World Conference on. Pages 522 −529. July, 2009.
Details about Modeling Delegation in Requirements−Driven Trust Framework | BibTeX data for Modeling Delegation in Requirements−Driven Trust Framework | DOI (10.1109/SERVICES-I.2009.88)