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. |
|
[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. |
|
[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. |
|
[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. |
|
[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 |
|
[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. |
|
[7] |
Modeling Delegation in Requirements−Driven Trust Framework W. Viriyasitavat In Services − I‚ 2009 World Conference on. Pages 522 −529. July, 2009. |