共 24 条
[11]
Cheikhrouhou S., 2013, P INT C INFORM INTEG, P154
[12]
Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes
[J].
2014 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2014),
2014,
:701-708
[13]
A Provisioning Approach of Cloud Resources for Dynamic Workflows
[J].
2015 IEEE 8TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING,
2015,
:469-476
[15]
Gagne Denis, 2009, 2009 IEEE Conference on Commerce and Enterprise Computing, P361, DOI 10.1109/CEC.2009.71
[16]
Automated Resource Allocation in Business Processes with Answer Set Programming
[J].
BUSINESS PROCESS MANAGEMENT WORKSHOPS, (BPM 2015),
2016, 256
:191-203
[17]
Hu ML, 2012, IEEE INT CONF NETWOR, P204, DOI 10.1109/ICON.2012.6506559
[19]
Optimization of Resource Scheduling in Cloud Computing
[J].
12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010),
2011,
:315-320
[20]
Predicting Resource Allocation and Costs for Business Processes in the Cloud
[J].
2015 IEEE WORLD CONGRESS ON SERVICES,
2015,
:47-54