Formal modeling and verification of scalable process-aware distributed iot applications
- Rakesh Jain
- Kais Klai
- et al.
- 2019
- ISPA/BDCloud/SustainCom/SocialCom 2019
Publications
Date
Featured collections
Popular topics
41 results for Samir Tata
Efficient resource allocation for autonomic service-based applications in the cloud
- Leila Hadded
- Faouzi Ben Charrada
- et al.
- 2018
- ICAC 2018
Living in the Cloud or on the Edge: Opportunities and Challenges of IOT Application Architecture
- Samir Tata
- Rakesh Jain
- et al.
- 2017
- SCC 2017
Optimization of Autonomic Manager Components in Service-Based Applications
- Leila Hadded
- Faouzi Ben Charrada
- et al.
- 2017
- SCC 2017
Cloud SLA Modeling and Monitoring
- Taher Labidi
- Achraf Mtibaa
- et al.
- 2017
- SCC 2017
An Optimization Approach for Adaptive Monitoring in IoT Environments
- Samir Tata
- Mohamed Mohamed
- et al.
- 2017
- SCC 2017
Provisioning of component-based applications across multiple clouds
- Mehdi Ahmed-Nacer
- Sami Yangui
- et al.
- 2017
- CLOSER 2017
Model-based development of modular complex systems for accomplishing system integration for Industry 4.0
- Kunal Suri
- Arnaud Cuccuru
- et al.
- 2017
- MODELSWARD 2017
Description and evaluation of elasticity strategies for business processes in the cloud
- Aicha Ben Jrad
- Sami Bhiri
- et al.
- 2016
- SCC 2016
The rSLA framework: Monitoring and enforcement of service level agreements for cloud services
- Mohamed Mohamed
- Obinna Anya
- et al.
- 2016
- SCC 2016