|
| [8] | Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi] |
| [7] | Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, A service-oriented architecture (SOA) framework for choreography verification, In 14th IEEE/ACIS International Conference on Computer and Information Science, ICIS, 2015. [bibtex] [doi] |
| [6] | Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi] |
| [5] | Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi] |
| [4] | Hatem Hadj Kacem, Anderson Santana de Oliveira, Mohamed Sellami, Sylvain Lefebvre, FISA 2015 Track Report: Future Internet Services and Applications, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi] |
| [3] | Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud, In Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE , Larnaca, Cyprus, June 15-17, 2015. [bibtex] |
| [2] | Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, A Provisioning Approach of Cloud Resources for Dynamic Workflows, In 8th IEEE International Conference on Cloud Computing, CLOUD 2015, New York City, NY, USA, June 27 - July 2, 2015 (Calton Pu, Ajay Mohindra, eds.), IEEE Computer Society, 2015. [bibtex] [pdf] [doi] |
| [1] | Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, Controlling Elasticity Dependencies For Multi-tenant Business Process, In 12th International Conference on e-Business Engineering (ICEBE), Beijing, China, October 23-25, 2015, 2015. [bibtex] |
