[1] Park Ki-Woong, Park Sung Kyu. THEMIS: towards mutually verifiable billing transactions in the cloud computing environment//2010 IEEE 3rd International Conference on Cloud Computing. USA: IEEE, 2010: 139-147. [2] Buyya R, Arramson D. Economic models for resource management and scheduling in grid computing, special issue on grid computing environment [J]. Journal of Concurrency and Computation: Practice and Experience, 2002(14): 1507-1542. [3] Barmouta A, Buyya R. GridBank: a grid accounting services architecture (GASA) for distributed systems sharing and integration // Proceedings of the 17th Annual International Parallel and Distributed Processing Symposium. Nice: IEEE Computer Society, 2003: 245-256. [4] 吴俊,徐溟. 公有云服务计费模式比较研究[J]. 电信科学,2012(1): 127-131. Wu Jun, Xu Ming. A comparative analysis on the billing model of public cloud service[J]. Telecommunications Science, 2012,(1): 127-131. [5] Erik Elmroth, Fermn Galan Marquez, Daniel Henriksson, et al. Accounting and billing for federated cloud infrastructures// 2009 8th International Conference on Grid and Cooperative Computing. Lanzhou: IEEE, 2009: 268-275. [6] Qin Yuan, Liu Zhixiang. A leasing instances based billing model for cloud computing [J]. Computer Science, 2011 (6646): 33-41. [7] 陈红,任怡,刘晓建. 云计算平台下计费机制研究[J].计算机科学, 2011, 38(8): 48-52. Chen Hong, Ren Yi, Liu Xiaojian. Research of billing mechanism based on cloud computing platform[J]. Computer Science, 2011, 38(8): 48-52. [8] 高篙,欧阳昱,刘玉树. 工作流模型的有向图表示及基于Petri网的验证方法[J]. 计算机仿真,2004,21(6): 182-184. Gao Song, Ouyang Yu, Liu Yushu. Workflow model expression by directed graph and verification based on Petri net[J]. Computer Simulation, 2004, 21(6): 182-184. [9] 林闯,张元生. 基于随机高级Petri网的ATM网络接纳控制过程模型[J].通信学报, 1998, 19(12): 1-7. Lin Chuang, Zhang Yuansheng. Modeling ATM admission control procedures using stochastic high level petri nets[J]. Journal on Communications, 1998, 19(12): 1-7.
|