Toward a correct and optimal time-aware cloud resource allocation to business processes

Future Generation Computer Systems ◽

10.1016/j.future.2020.06.018 ◽

2020 ◽

Vol 112 ◽

pp. 751-766

Author(s):

Rania Ben Halima ◽

Slim Kallel ◽

Walid Gaaloul ◽

Zakaria Maamar ◽

Mohamed Jmaiel

Keyword(s):

Resource Allocation ◽

Business Processes ◽

Optimal Time ◽

Cloud Resource ◽

Download Full-text

Formal Modelling and Verification of Cloud Resource Allocation in Business Processes

Lecture Notes in Computer Science - On the Move to Meaningful Internet Systems. OTM 2018 Conferences ◽

10.1007/978-3-030-02610-3_31 ◽

2018 ◽

pp. 552-567

Author(s):

Ikram Garfatta ◽

Kais Klai ◽

Mohamed Graiet ◽

Walid Gaaloul

Keyword(s):

Resource Allocation ◽

Business Processes ◽

Formal Modelling ◽

Download Full-text

Formal Verification of Time-Aware Cloud Resource Allocation in Business Process

On the Move to Meaningful Internet Systems: OTM 2016 Conferences - Lecture Notes in Computer Science ◽

10.1007/978-3-319-48472-3_23 ◽

2016 ◽

pp. 400-417 ◽

Author(s):

Rania Ben Halima ◽

Slim Kallel ◽

Kais Klai ◽

Walid Gaaloul ◽

Mohamed Jmaiel

Keyword(s):

Resource Allocation ◽

Formal Verification ◽

Business Process ◽

Cloud Resource ◽

Download Full-text

Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation

Lecture Notes in Computer Science - On the Move to Meaningful Internet Systems. OTM 2018 Conferences ◽

10.1007/978-3-030-02610-3_25 ◽

2018 ◽

pp. 445-462

Author(s):

Rania Ben Halima ◽

Slim Kallel ◽

Walid Gaaloul ◽

Mohamed Jmaiel

Keyword(s):

Resource Allocation ◽

Business Process ◽

Cloud Resource ◽

Download Full-text

Towards Correct Cloud Resource Allocation in Business Processes

IEEE Transactions on Services Computing ◽

10.1109/tsc.2016.2594062 ◽

2017 ◽

Vol 10 (1) ◽

pp. 23-36 ◽

Author(s):

Mohamed Graiet ◽

Amel Mammar ◽

Souha Boubaker ◽

Walid Gaaloul

Keyword(s):

Resource Allocation ◽

Business Processes ◽

Download Full-text

Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process

2017 IEEE International Conference on Services Computing (SCC) ◽

10.1109/scc.2017.47 ◽

2017 ◽

Author(s):

Rania Ben Halima ◽

Slim Kallel ◽

Walid Gaaloul ◽

Mohamed Jmaiel

Keyword(s):

Resource Allocation ◽

Business Process ◽

Optimal Cost ◽

Cloud Resource ◽

Download Full-text

Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B

2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA) ◽

10.1109/aina.2016.126 ◽

2016 ◽

Author(s):

Souha Boubaker ◽

Amel Mammar ◽

Mohamed Graiet ◽

Walid Gaaloul

Keyword(s):

Resource Allocation ◽

Formal Verification ◽

Business Processes ◽

Download Full-text

A Survey of Backfilling Algorithms in Cloud Resource Allocation

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v7i6.390394 ◽

2019 ◽

Vol 7 (6) ◽

pp. 390-394

Author(s):

V. Nisha ◽

S. Vimala

Keyword(s):

Resource Allocation ◽

Download Full-text

Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process

2015 IEEE International Conference on Services Computing ◽

10.1109/scc.2015.79 ◽

2015 ◽

Author(s):

Souha Boubaker ◽

Walid Gaaloul ◽

Mohamed Graiet ◽

Nejib Ben Hadj-Alouane

Keyword(s):

Resource Allocation ◽

Business Process ◽

Download Full-text

Towards Designing a Truthful Online Auction Framework for Deadline-aware Cloud Resource Allocation

ACM SIGMETRICS Performance Evaluation Review ◽

10.1145/2847220.2847228 ◽

2015 ◽

Vol 43 (3) ◽

pp. 30-33 ◽

Author(s):

Tianrong Zhang ◽

Yufeng Xin

Keyword(s):

Resource Allocation ◽

Online Auction ◽

Download Full-text

Competitive Strategies for Online Cloud Resource Allocation with Discounts: The 2-Dimensional Parking Permit Problem

2015 IEEE 35th International Conference on Distributed Computing Systems ◽

10.1109/icdcs.2015.18 ◽

2015 ◽

Author(s):

Xinhui Hu ◽

Arne Ludwig ◽

Andrea Richa ◽

Stefan Schmid

Keyword(s):

Resource Allocation ◽

Competitive Strategies ◽

Download Full-text