Ahmed Hadj Kacem: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[IEEE 2015 IEEE 8th International Conference on Cloud Computing (CLOUD) - New York City, NY, USA (2015.6.27-2015.7.2)] 2015 IEEE 8th International Conference on Cloud Computing - A Provisioning Approach of Cloud Resources for Dynamic Workflows

Fakhfakh, Fairouz, Kacem, Hatem Hadj, Kacem, Ahmed Hadj

Year:

2015

Language:

english

File:

PDF, 231 KB

english, 2015

52

[IEEE 2015 IEEE 12th International Conference on e-Business Engineering (ICEBE) - Beijing, China (2015.10.23-2015.10.25)] 2015 IEEE 12th International Conference on e-Business Engineering - Controlling Elasticity Dependencies for Multi-tenant Business Process

Sellami, Wael, Kacem, Hatem Hadj, Kacem, Ahmed Hadj

Year:

2015

Language:

english

File:

PDF, 863 KB

english, 2015

53

[IEEE 2015 IEEE 12th International Conference on e-Business Engineering (ICEBE) - Beijing, China (2015.10.23-2015.10.25)] 2015 IEEE 12th International Conference on e-Business Engineering - Analyzing Multi-tenant Cloud Services' Accountability

Masmoudi, Fatma, Sellami, Mohamed, Loulou, Monia, Kacem, Ahmed Hadj

Year:

2015

Language:

english

File:

PDF, 286 KB

english, 2015

54

A refinement-based approach for building valid SOA design patterns

Tounsi, Imen, Kacem, Mohamed Hadj, Kacem, Ahmed Hadj, Drira, Khalil

Journal:

International Journal of Cloud Computing

Year:

2015

Language:

english

File:

PDF, 829 KB

english, 2015

55

[IEEE 2015 IEEE 15th International Conference on Advanced Learning Technologies (ICALT) - Hualien, Taiwan (2015.7.6-2015.7.9)] 2015 IEEE 15th International Conference on Advanced Learning Technologies - An Interactive Annotation System to Support the Learner with Web Services Assistance

Kalboussi, Anis, Omheni, Nizar, Mazhoud, Omar, Kacem, Ahmed Hadj

Year:

2015

Language:

english

File:

PDF, 153 KB

english, 2015

56

[IEEE 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Heraklion, Crete, Greece (2016.2.17-2016.2.19)] 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing

Boussabbeh, Maha, Tounsi, Mohamed, Kacem, Ahmed Hadj, Mosbah, Mohamed

Year:

2016

Language:

english

File:

PDF, 355 KB

english, 2016

57

[IEEE 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA) - Rome, Italy (2015.10.19-2015.10.21)] 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA) - An Approach for SOA Design Patterns Composition

Tounsi, Imen, Kacem, Mohamed Hadj, Kacem, Ahmed Hadj, Drira, Khalil

Year:

2015

Language:

english

File:

PDF, 477 KB

english, 2015

58

An Efficient Validation Approach for Quasi-Synchronous Checkpointing oriented to Distributed Diagnosability

Khlif, Houda, Kacem, Hatem Hadj, Hernandez, Saúl E. Pomares, Kacem, Ahmed Hadj, Eichler, Cédric, Simón, Alberto Calixto

Journal:

Journal of Systems and Software

Year:

2016

Language:

english

File:

PDF, 1.91 MB

english, 2016

59

[IEEE 2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA) - Crans-Montana, Switzerland (2016.3.23-2016.3.25)] 2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA) - Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents

Ktari, Mouna, Haddar, Mohamed Amine, Mosbah, Mohamed, Kacem, Ahmed Hadj

Year:

2016

Language:

english

File:

PDF, 168 KB

english, 2016

60

Special issue Editorial: New technologies of distributed systems

Drira, Khalil, Kacem, Ahmed Hadj, Jmaiel, Mohamed

Journal:

Concurrency and Computation: Practice and Experience

Year:

2016

Language:

english

File:

PDF, 28 KB

english, 2016

61

A formal approach to model and verify the behaviour of publish/subscribe architectural style

Kacem, Hatem Hadj, Loulou, Imen, Kacem, Ahmed Hadj

Journal:

International Journal of Information Technology Communications and Convergence

Year:

2012

Language:

english

File:

PDF, 344 KB

english, 2012

62

Dealing with structural changes on provisioning resources for deadline-constrained workflow

Fakhfakh, Fairouz, Kacem, Hatem Hadj, Kacem, Ahmed Hadj

Journal:

The Journal of Supercomputing

Year:

2016

Language:

english

File:

PDF, 2.20 MB

english, 2016

63

[IEEE 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA) - Marrakech, Morocco (2015.11.17-2015.11.20)] 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA) - Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks

Ktari, Mouna, Haddar, Mohamed Amine, Kacem, Ahmed Hadj, Mosbah, Mohamed

Year:

2015

Language:

english

File:

PDF, 173 KB

english, 2015

64

[IEEE 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Paris, France (2016.6.13-2016.6.15)] 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Multiple Software Product Lines for Service Oriented Architecture

Kamoun, Akram, Kacem, Mohamed Hadj, Kacem, Ahmed Hadj

Year:

2016

Language:

english

File:

PDF, 1.15 MB

english, 2016

65

[IEEE 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Paris, France (2016.6.13-2016.6.15)] 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs

Fakhfakh, Faten, Tounsi, Mohamed, Kacem, Ahmed Hadj, Mosbah, Mohamed

Year:

2016

Language:

english

File:

PDF, 212 KB

english, 2016

66

[IEEE 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA) - Marrakech, Morocco (2015.11.17-2015.11.20)] 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA) - A formal approach for SOA design patterns composition

Tounsi, Imen, Hadj Kacem, Mohamed, Hadj Kacem, Ahmed, Drira, Khalil

Year:

2015

Language:

english

File:

PDF, 1.86 MB

english, 2015

67

[IEEE 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Paris, France (2016.6.13-2016.6.15)] 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - A Novel Approach for Semantic Web Service Discovery

Hammami, Randa, Bellaaj, Hatem, Kacem, Ahmed Hadj

Year:

2016

Language:

english

File:

PDF, 158 KB

english, 2016

68

[IEEE 2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) - Shanghai, China (2016.5.30-2016.6.1)] 2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) - A correct by construction approach for modeling and formalizing self-adaptive systems

Hachicha, Marwa, Dammak, Emna, Halima, Riadh Ben, Kacem, Ahmed Hadj

Year:

2016

Language:

english

File:

PDF, 985 KB

english, 2016

69

Comparative study of web annotation systems used by learners to enhance educational practices: features and services

Kalboussi, Anis, Mazhoud, Omar, Kacem, Ahmed Hadj

Journal:

International Journal of Technology Enhanced Learning

Year:

2016

Language:

english

File:

PDF, 1.13 MB

english, 2016

70

Generating reusable, searchable and executable “architecture constraints as services”

Kallel, Sahar, Tramoni, Bastien, Tibermacine, Chouki, Dony, Christophe, Kacem, Ahmed Hadj

Journal:

Journal of Systems and Software

Year:

2017

Language:

english

File:

PDF, 1.06 MB

english, 2017

71

[IEEE 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC) - Budapest, Hungary (2016.10.9-2016.10.12)] 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC) - Modeling and verifying self-adaptive systems: A refinement approach

Hachicha, Marwa, Halima, Riadh Ben, Kacem, Ahmed Hadj

Year:

2016

Language:

english

File:

PDF, 333 KB

english, 2016

72

[IEEE 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA) - Marrakech, Morocco (2015.11.17-2015.11.20)] 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA) - A formal pattern for dynamic networks through evolving graphs

Fakhfakh, Faten, Tounsi, Mohamed, Kacem, Ahmed Hadj, Mosbah, Mohamed

Year:

2015

Language:

english

File:

PDF, 1.69 MB

english, 2015

73

Model consistency for multi-scale architectures applied to smart systems

Khlif, Ilhem, Hadj Kacem, Mohamed, KALLEL, Marwa, Drira, Khalil, Hadj Kacem, Ahmed

Journal:

Procedia Computer Science

Year:

2017

Language:

english

File:

PDF, 792 KB

english, 2017

74

[IEEE 2016 IEEE 14th International Conference on Software Engineering Research, Management and Applications (SERA) - Towson, MD, USA (2016.6.8-2016.6.10)] 2016 IEEE 14th International Conference on Software Engineering Research, Management and Applications (SERA) - Software Architectures: Multi-Scale Refinement

Khlif, Ilhem, Hadj Kacem, Mohamed, Stolf, Patricia, Hadj Kacem, Ahmed

Year:

2016

Language:

english

File:

PDF, 6.99 MB

english, 2016

75

[IEEE 2016 17th International Conference on Sciences and Techniques of Automatic Control and Computer Engineering (STA) - Sousse, Tunisia (2016.12.19-2016.12.21)] 2016 17th International Conference on Sciences and Techniques of Automatic Control and Computer Engineering (STA) - Feature model for the service provider in the service oriented architecture

Kamoun, Akram, Kacem, Mohamed Hadj, Kacem, Ahmed Hadj

Year:

2016

Language:

english

File:

PDF, 262 KB

english, 2016

76

[IEEE 2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS) - Wuhan, China (2017.5.24-2017.5.26)] 2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS) - Simulation tools for cloud computing: A survey and comparative study

Fakhfakh, Fairouz, Kacem, Hatem Hadj, Kacem, Ahmed Hadj

Year:

2017

Language:

english

File:

PDF, 158 KB

english, 2017

77

[IEEE 2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS) - Wuhan, China (2017.5.24-2017.5.26)] 2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS) - Design and timed verification of self-adaptive systems

Hachicha, Marwa, Ben Halima, Riadh, Kacem, Ahmed Hadj

Year:

2017

Language:

english

File:

PDF, 810 KB

english, 2017

78

[IEEE 2017 IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA) - London, United Kingdom (2017.6.7-2017.6.9)] 2017 IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA) - CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment

Fakhfakh, Fairouz, Kacem, Hatem Hadj, Kacem, Ahmed Hadj

Year:

2017

Language:

english

File:

PDF, 310 KB

english, 2017

79

Transformation of compound SOA Design Patterns

Tounsi, Imen, Hadj Kacem, Mohamed, Hadj Kacem, Ahmed, Drira, Khalil

Journal:

Procedia Computer Science

Year:

2017

Language:

english

File:

PDF, 866 KB

english, 2017

80

Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations

Ktari, Mouna, Mosbah, Mohamed, Kacem, Ahmed Hadj

Journal:

Procedia Computer Science

Year:

2017

Language:

english

File:

PDF, 549 KB

english, 2017

81

Potential Predictive Role of Lipid Peroxidation Markers for Type 2 Diabetes in the Tunisian Population

Bouhajja, Houda, Kacem, Faten Hadj, Abdelhedi, Rania, Ncir, Marwa, Dimitrov, Jordan D., Marrakchi, Rim, Jamoussi, Kamel, Rebai, Ahmed, El Feki, Abdelfattah, Abid, Mohamed, Ayadi, Hammadi, Kaveri, Srin

Journal:

Canadian Journal of Diabetes

Year:

2017

File:

PDF, 817 KB

2017

82

[IEEE 2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC) - Las Vegas, NV, USA (2017.1.8-2017.1.11)] 2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC) - Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems

Graja, Imen, Mechim, Aicha, Kallel, Slim, Guermouche, Nawal, Kacem, Ahmed Hadj

Year:

2017

Language:

english

File:

PDF, 424 KB

english, 2017

83

[IEEE 2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC) - Las Vegas, NV, USA (2017.1.8-2017.1.11)] 2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC) - Modeling and verification of temporal properties in cyber-physical systems

Graja, Imen, Kallel, Slim, Guermouche, Nawal, Kacem, Ahmed Hadj

Year:

2017

Language:

english

File:

PDF, 757 KB

english, 2017

84

[IEEE 2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Poznan, Poland (2017.6.21-2017.6.23)] 2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - rMatcher: A Tool for Semantic Web Services Discovery & Publication

Hammami, Randa, Bellaaj, Hatem, Kacem, Ahmed Hadj

Year:

2017

Language:

english

File:

PDF, 306 KB

english, 2017

85

[IEEE 2017 IEEE World Congress on Services (SERVICES) - Honolulu, HI, USA (2017.6.25-2017.6.30)] 2017 IEEE World Congress on Services (SERVICES) - Docker2RDF: Lifting the Docker Registry Hub into RDF

Ayed, Ahmed Ben, Subercaze, Julien, Laforest, Frederique, Chaari, Tarak, Louati, Wajdi, Kacem, Ahmed Hadj

Year:

2017

Language:

english

File:

PDF, 410 KB

english, 2017

86

A multi-scale modeling approach for systems of systems architectures

Khlif, Ilhem, Kacem, Mohamed Hadj, Eichler, Cédric, Kacem, Ahmed Hadj

Journal:

ACM SIGAPP Applied Computing Review

Year:

2017

Language:

english

File:

PDF, 915 KB

english, 2017

87

Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations

Ktari, Mouna, Haddar, Mohamed Amine, Mosbah, Mohamed, Hadj Kacem, Ahmed

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2017

Language:

english

File:

PDF, 1.89 MB

english, 2017

88

[IEEE 2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA) - Hammamet, Tunisia (2017.10.30-2017.11.3)] 2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA) - A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems

Khlif, Houda, Kacem, Hatem Hadj, Hernandez, Saul Pomares, Kacem, Ahmed Hadj

Year:

2017

Language:

english

File:

PDF, 453 KB

english, 2017

89

[IEEE 2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS) - Wuhan (2017.5.24-2017.5.26)] 2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS) - A correct-by-construction approach for proving distributed algorithms in spanning trees

Fakhfakh, Faten, Tounsi, Mohamed, Mosbah, Mohamed, Mery, Dominique, Kacem, Ahmed Hadj

Year:

2017

Language:

english

File:

PDF, 295 KB

english, 2017

90

[IEEE 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) - Cambridge, United Kingdom (2018.3.21-2018.3.23)] 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) - Geo-Distributed BigData Processing for Maximizing Profit in Federated Clouds Environment

Gouasmi, Thouraya, Louati, Wajdi, Hadj Kacem, Ahmed

Year:

2018

Language:

english

File:

PDF, 197 KB

english, 2018

91

[ACM Press the 33rd Annual ACM Symposium - Pau, France (2018.04.09-2018.04.13)] Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18 - A refinement-based approach for specifying multi-scale software architectures

Khlif, Ilhem, Tounsi, Imen, Kacem, Mohamed Hadj, Eichler, Cédric, Kacem, Ahmed Hadj

Year:

2018

Language:

english

File:

PDF, 1.25 MB

english, 2018

92

Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents

Ktari, Mouna, Mosbah, Mohamed, Ahmed, Hadj Kacem

Journal:

International Journal of Space-Based and Situated Computing

Year:

2017

Language:

english

File:

PDF, 1.47 MB

english, 2017

93

[IEEE 2018 12th International Conference on Research Challenges in Information Science (RCIS) - Nantes (2018.5.29-2018.5.31)] 2018 12th International Conference on Research Challenges in Information Science (RCIS) - Formalizing compound MAPE patterns for decentralized control in self-adaptive systems

Hachicha, Marwa, Halima, Riadh Ben, Kacem, Ahmed Hadj

Year:

2018

Language:

english

File:

PDF, 587 KB

english, 2018

94

Decreased Oleic Acid and Marine n − 3 Polyunsaturated Fatty Acids in Tunisian Patients with Urothelial Bladder Cancer

Ben Fradj, Mohamed Kacem, Ouanes, Yassine, Hadj-Taieb, Sameh, Sallemi, Ahmed, Kallel, Amani, Jemaa, Riadh, Kaabachi, Naziha, Nouira, Yassine, Feki, Moncef

Journal:

Nutrition and Cancer

Year:

2018

Language:

english

File:

PDF, 1.02 MB

english, 2018

95

[IEEE 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Paris, France (2018.6.27-2018.6.29)] 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Elastic Multi-Tenant Business Process Based on Temporal Constraints

Sellami, Wael, Hadj Kacem, Hatem, Hadj Kacem, Ahmed

Year:

2018

Language:

english

File:

PDF, 350 KB

english, 2018

96

[IEEE 2018 IEEE 15th International Conference on e-Business Engineering (ICEBE) - Xi'An, China (2018.10.12-2018.10.14)] 2018 IEEE 15th International Conference on e-Business Engineering (ICEBE) - Optimal Evidence Collection for Accountability in the Cloud

Masmoudi, Fatma, Sellami, Mohamed, Loulou, Monia, Hadj Kacem, Ahmed

Year:

2018

Language:

english

File:

PDF, 257 KB

english, 2018

97

[ACM Press the 20th International Conference - Yogyakarta, Indonesia (2018.11.19-2018.11.21)] Proceedings of the 20th International Conference on Information Integration and Web-based Applications & Services - iiWAS2018 - An Approach of Recommending Personalized Web Services through Annotations in Learning Environment

Mazhoud, Omar, Kalboussi, Anis, Kacem, Ahmed Hadj

Year:

2018

Language:

english

File:

PDF, 900 KB

english, 2018

98

Modelling and verifying time-aware processes for cyber-physical environments

Graja, Imen, Kallel, Slim, Guermouche, Nawal, Cheikhrouhou, Saoussen, Hadj Kacem, Ahmed

Journal:

Year:

2019

File:

PDF, 12 KB

2019

99

Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review

Fakhfakh, Faten, Tounsi, Mohamed, Mosbah, Mohamed, Kacem, Ahmed Hadj

Journal:

Procedia Computer Science

Year:

2018

Language:

english

File:

PDF, 396 KB

english, 2018

100

Preserving the Correctness of Dynamic Workflows within a Cloud Environment

Fakhfakh, Fairouz, Kacem, Hatem Hadj, Kacem, Ahmed Hadj, Fakhfakh, Faten

Journal:

Procedia Computer Science

Year:

2018

Language:

english

File:

PDF, 542 KB

english, 2018