1 |
S.Satyanarayana, "CLOUD COMPUTING : SAAS," GESJ: Computer Science and Telecommunications 2012, No.4(36), pp.76-79, 2012.
|
2 |
Jeong-rhan Choi, Young-choon Woo, Chang-hwan Bae, "A Study on Workflow Verification for Business Process," KCC2012, Vol.39, No.1B, pp.220-222, 2012.
|
3 |
M. Beranrdo, L. Padovani, G. Zavattaro, "Formal Methods for Web Services," SFM 2009, LNCS Vol. 5569, 2009.06.
|
4 |
Kim S.D., "Software Reusability," Wiley Encyclopedia of Computer Science and Engineering, Vol 4, pp.2679-2689, 2009.
|
5 |
G. Salun, L. Bordeaux, M. Schaerf, "Describing and Reasoning on Web Services using Process Algebra," In Proc. of ICWS'04, San Diego, IEEE Computer Society Press, 2004.
|