Using priced timed automaton to analyse the energy consumption in cloud computing environment

Zhigang Deng, Guosun Zeng, Qi He, Yunjie Zhong, Wei Wang 0033. Using priced timed automaton to analyse the energy consumption in cloud computing environment. Cluster Computing, 17(4):1295-1307, 2014. [doi]

@article{DengZHZ014,
  title = {Using priced timed automaton to analyse the energy consumption in cloud computing environment},
  author = {Zhigang Deng and Guosun Zeng and Qi He and Yunjie Zhong and Wei Wang 0033},
  year = {2014},
  doi = {10.1007/s10586-014-0378-8},
  url = {http://dx.doi.org/10.1007/s10586-014-0378-8},
  researchr = {https://researchr.org/publication/DengZHZ014},
  cites = {0},
  citedby = {0},
  journal = {Cluster Computing},
  volume = {17},
  number = {4},
  pages = {1295-1307},
}