共 24 条
[1]
Afilal Mohamed, 2015, International Journal of Modeling and Optimization, V5, P155, DOI 10.7763/IJMO.2015.V5.453
[3]
[Anonymous], 2010, 2010 IEEE 3 INT C CL
[4]
[Anonymous], 2017, RES ADV CLOUD COMPUT
[5]
aws, 2012, AMAZON EC2
[6]
Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process
[J].
2017 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC),
2017,
:314-321
[7]
Formal Verification of Time-Aware Cloud Resource Allocation in Business Process
[J].
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2016 CONFERENCES,
2016, 10033
:400-417
[8]
Bohnenkamp H, 2005, LECT NOTES COMPUT SC, V3582, P173
[9]
Event-B based approach for verifying Cloud resource allocation in business process
[J].
2015 IEEE 12TH INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2015),
2015,
:538-545