Formal Modelling and Verification of Cloud Resource Allocation in Business Processes

2018 ◽  
pp. 552-567
Author(s):  
Ikram Garfatta ◽  
Kais Klai ◽  
Mohamed Graiet ◽  
Walid Gaaloul
Keyword(s):  
Resource Allocation ◽  
Business Processes ◽  
Formal Modelling ◽  
Cloud Resource

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

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 ◽  
Time Aware

Towards Correct Cloud Resource Allocation in Business Processes

2017 ◽  
Vol 10 (1) ◽  
pp. 23-36 ◽  
Author(s):  
Mohamed Graiet ◽  
Amel Mammar ◽  
Souha Boubaker ◽  
Walid Gaaloul
Keyword(s):  
Resource Allocation ◽  
Business Processes ◽  
Cloud Resource

scholarly journals Algorithms for network-aware application component placement for cloud resource allocation

2017 ◽  
Vol 19 (5) ◽  
pp. 493-508 ◽  
Author(s):  
Maryam Barshan ◽  
Hendrik Moens ◽  
Steven Latre ◽  
Bruno Volckaert ◽  
Filip De Turck
Keyword(s):  
Resource Allocation ◽  
Component Placement ◽  
Cloud Resource ◽  
Application Component
Sign in / Sign up

Export Citation Format

Share Document