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

2015 ◽  
Author(s):  
Souha Boubaker ◽  
Walid Gaaloul ◽  
Mohamed Graiet ◽  
Nejib Ben Hadj-Alouane
Keyword(s):  
Resource Allocation ◽  
Business Process ◽  
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