
Ahmed Hadj Kacem
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
- [j33]Imen Graja, Slim Kallel
, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem:
A comprehensive survey on modeling of cyber-physical systems. Concurr. Comput. Pract. Exp. 32(15) (2020) - [j32]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Ensuring the correctness of adaptive business processes: a systematic literature review. Int. J. Comput. Appl. Technol. 62(3): 189-199 (2020) - [j31]Wael Sellami
, Hatem Hadj Kacem
, Ahmed Hadj Kacem:
Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment. J. Netw. Syst. Manag. 28(2): 367-397 (2020) - [c142]Houssem Aloulou, Hamdi Aloulou, Bessam Abdulrazak, Ahmed Hadj Kacem:
Personalized and Contextualized Persuasion System for Older Adults' Physical Activity Promoting. ICOST 2020: 142-154 - [c141]Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem:
Study of Healthcare Professionals' Interaction in the Patient Records Based on Annotations. ICOST 2020: 316-328 - [c140]Nesrine Charradi, Anis Kalboussi, Ahmed Hadj Kacem:
Web-based Applications and Services of Annotation in Electronic Commerce. iiWAS 2020: 322-330 - [c139]Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem:
Assistance of Student by Web Services based on Annotations. SIGITE 2020: 260-265 - [e2]Slim Kallel, Frédéric Cuppens, Nora Cuppens-Boulahia, Ahmed Hadj Kacem:
Risks and Security of Internet and Systems, 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings. Lecture Notes in Computer Science 12026, Springer 2020, ISBN 978-3-030-41567-9 [contents]
2010 – 2019
- 2019
- [j30]Imen Graja
, Slim Kallel
, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem:
Modelling and verifying time-aware processes for cyber-physical environments. IET Softw. 13(1): 36-48 (2019) - [j29]Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem:
Accountability management for multi-tenant cloud services. Int. J. Grid Util. Comput. 10(2): 141-158 (2019) - [j28]Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
Feature models as service contracts in service oriented architecture. Int. J. Serv. Technol. Manag. 25(3/4): 267-288 (2019) - [c138]Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem:
An Annotation Model for Patient Record. HEALTHINF 2019: 272-280 - [c137]Emna Taktak
, Mohamed Tounsi
, Mohamed Mosbah
, Ahmed Hadj Kacem
:
Energy Efficient Handshake Algorithm for Wireless Sensor Networks. DiCES-N@ICTAC 2019: 57-76 - [c136]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Formal Verification approaches of Self-adaptive Systems: A Survey. KES 2019: 1853-1862 - [c135]Amine Guidara, Saúl E. Pomares Hernández, Lil María X. Rodríguez Henríquez, Hatem Hadj Kacem, Ahmed Hadj Kacem:
A Study of the Forwarding Blackhole phenomenon during Software-Defined Network Updates. SDS 2019: 186-193 - 2018
- [j27]Thouraya Gouasmi
, Wajdi Louati, Ahmed Hadj Kacem:
Exact and heuristic MapReduce scheduling algorithms for cloud federation. Comput. Electr. Eng. 69: 274-286 (2018) - [j26]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns. Int. J. Comput. Appl. Technol. 57(1): 28-44 (2018) - [j25]Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem:
Semantic Web Services Discovery: A Survey and Research Challenges. Int. J. Semantic Web Inf. Syst. 14(4): 57-72 (2018) - [j24]Sahar Kallel, Chouki Tibermacine
, Slim Kallel
, Ahmed Hadj Kacem, Christophe Dony:
Specification and automatic checking of architecture constraints on object oriented programs. Inf. Softw. Technol. 101: 16-31 (2018) - [c134]Emna Taktak, Mohamed Tounsi
, Mohamed Mosbah, Ahmed Hadj Kacem:
Distributed Computations in Wireless Sensor Networks by Local Interactions. ADHOC-NOW 2018: 293-304 - [c133]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud. EMCIS 2018: 144-157 - [c132]Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem:
Optimal Evidence Collection for Accountability in the Cloud. ICEBE 2018: 78-85 - [c131]Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem:
Study of Annotations in e-health Domain. ICOST 2018: 189-199 - [c130]Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem:
An Approach of Recommending Personalized Web Services through Annotations in Learning Environment. iiWAS 2018: 253-262 - [c129]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Translation of UML Models for Self-adaptive Systems into Event-B Specifications. ISDA (2) 2018: 421-430 - [c128]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Faten Fakhfakh:
Preserving the Correctness of Dynamic Workflows within a Cloud Environment. KES 2018: 1541-1550 - [c127]Faten Fakhfakh, Mohamed Tounsi
, Mohamed Mosbah, Ahmed Hadj Kacem:
Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. KES 2018: 1551-1560 - [c126]Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem:
Geo-Distributed BigData Processing for Maximizing Profit in Federated Clouds Environment. PDP 2018: 85-92 - [c125]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Formalizing compound MAPE patterns for decentralized control in self-adaptive systems. RCIS 2018: 1-10 - [c124]Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem:
Efficient distribution of mapreduce jobs for maximizing profit on federated cloud. SAC 2018: 207-209 - [c123]Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cédric Eichler, Ahmed Hadj Kacem:
A refinement-based approach for specifying multi-scale software architectures: application to SoS. SAC 2018: 1660-1667 - [c122]Faten Fakhfakh, Mohamed Tounsi
, Mohamed Mosbah, Ahmed Hadj Kacem:
A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. SEKE 2018: 348-347 - [c121]Sahar Kallel, Chouki Tibermacine, Ahmed Hadj Kacem, Christophe Dony:
Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models. SOFSEM 2018: 180-193 - [c120]Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Elastic Multi-Tenant Business Process Based on Temporal Constraints. WETICE 2018: 42-47 - [c119]Emna Taktak
, Mohamed Tounsi
, Mohamed Mosbah, Ahmed Hadj Kacem:
Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations. WETICE 2018: 217-222 - 2017
- [j23]Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem:
Computing of Learner's Personality Traits Based on Digital Annotations. Int. J. Artif. Intell. Educ. 27(2): 241-267 (2017) - [j22]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem:
Proving Distributed Coloring of Forests in Dynamic Networks. Computación y Sistemas 21(4) (2017) - [j21]Nizar Omheni, Anis Kalboussi
, Omar Mazhoud, Ahmed Hadj Kacem:
Recognition of Learner's Personality Traits through Digital Annotations in Distance Learning. Int. J. Distance Educ. Technol. 15(1): 28-51 (2017) - [j20]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
An Evaluative Review and Research Challenges of the Simulation in Cloud Environment. Int. J. Softw. Innov. 5(4): 59-73 (2017) - [j19]Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem:
Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents. Int. J. Space Based Situated Comput. 7(2): 57-71 (2017) - [j18]Mouna Ktari, Mohamed Amine Haddar, Mohamed Mosbah, Ahmed Hadj Kacem:
Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations. RAIRO Theor. Informatics Appl. 51(2): 51-70 (2017) - [j17]Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem:
Generating reusable, searchable and executable "architecture constraints as services". J. Syst. Softw. 127: 91-108 (2017) - [j16]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Dealing with structural changes on provisioning resources for deadline-constrained workflow. J. Supercomput. 73(7): 2896-2918 (2017) - [c118]Faten Fakhfakh, Mohamed Tounsi
, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem:
A correct-by-construction approach for proving distributed algorithms in spanning trees. ICIS 2017: 1-6 - [c117]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Simulation tools for cloud computing: A survey and comparative study. ICIS 2017: 221-226 - [c116]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Design and timed verification of self-adaptive systems. ICIS 2017: 227-232 - [c115]Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem:
Cost-Efficient Distributed MapReduce Job Scheduling across Cloud Federation. SCC 2017: 289-296 - [c114]Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández
, Ahmed Hadj Kacem:
A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems. AICCSA 2017: 622-629 - [c113]Fatma Masmoudi, Mohamed Sellami
, Monia Loulou, Ahmed Hadj Kacem:
From Event to Evidence: An Approach for Multi-tenant Cloud Services' Accountability. AINA 2017: 1082-1089 - [c112]Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem:
Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations. ANT/SEIT 2017: 351-358 - [c111]Ilhem Khlif, Mohamed Hadj Kacem, Marwa Kallel, Khalil Drira, Ahmed Hadj Kacem:
Model consistency for multi-scale architectures applied to smart systems. ANT/SEIT 2017: 400-407 - [c110]Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
Transformation of compound SOA Design Patterns. ANT/SEIT 2017: 408-415 - [c109]Imen Graja, Slim Kallel
, Nawal Guermouche, Ahmed Hadj Kacem:
Modeling and verification of temporal properties in cyber-physical systems. CCNC 2017: 325-330 - [c108]Imen Graja, Aicha Mechim, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem:
Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems. CCNC 2017: 593 - [c107]Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
Feature Model based on Design Pattern for the Service Provider in the Service Oriented Architecture. ICEIS (2) 2017: 111-120 - [c106]Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
Feature Model as a Design-pattern-based Service Contract for the Service Provider in the Service Oriented Architecture. ICEIS (Revised Selected Papers) 2017: 239-264 - [c105]Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem:
Verification of the Consistency of Time-Aware Cyber-Physical Processes. ICSOC Workshops 2017: 67-79 - [c104]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Designing Compound MAPE Patterns for Self-adaptive Systems. ISDA 2017: 92-101 - [c103]Faten Fakhfakh, Mohamed Tounsi
, Mohamed Mosbah, Ahmed Hadj Kacem:
Algorithms for Finding Maximal and Maximum Cliques: A Survey. ISDA 2017: 745-754 - [c102]Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem:
Iterative multi-scale modeling of software-intensive systems of systems architectures. SAC 2017: 1781-1786 - [c101]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment. SERA 2017: 195-202 - [c100]Ahmed Ben Ayed, Julien Subercaze, Frédérique Laforest, Tarak Chaari, Wajdi Louati, Ahmed Hadj Kacem:
Docker2RDF: Lifting the Docker Registry Hub into RDF. SERVICES 2017: 36-39 - [c99]Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques. SCSS 2017: 96-106 - [c98]Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem:
rMatcher: A Tool for Semantic Web Services Discovery & Publication. WETICE 2017: 311-313 - 2016
- [j15]Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel:
Special issue Editorial: New technologies of distributed systems. Concurr. Comput. Pract. Exp. 28(9): 2749 (2016) - [j14]Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem:
A stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants. Int. J. Agent Oriented Softw. Eng. 5(2/3): 134-166 (2016) - [j13]Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem:
Functionalities provided by Annotation Systems for Learners in Educational Context: An Overview. iJET 11(2): 4-11 (2016) - [j12]Houda Khlif, Hatem Hadj Kacem
, Saúl E. Pomares Hernández
, Ahmed Hadj Kacem, Cédric Eichler, Alberto Calixto Simon
:
An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability. J. Syst. Softw. 122: 364-377 (2016) - [j11]Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem:
Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs. Rev. d'Intelligence Artif. 30(1-2): 159-183 (2016) - [c97]Mouna Ktari, Mohamed Amine Haddar, Mohamed Mosbah, Ahmed Hadj Kacem:
Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents. AINA Workshops 2016: 331-336 - [c96]Maha Boussabbeh, Mohamed Tounsi
, Mohamed Mosbah, Ahmed Hadj Kacem:
Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions. ABZ 2016: 198-212 - [c95]Ilhem Khlif, Mohamed Hadj Kacem, Cédric Eichler, Khalil Drira, Ahmed Hadj Kacem:
Multi-scale modeling for software-intensive systems-of-systems architectures. SiSoS@ECSA 2016: 10:1-10:6 - [c94]Imen Graja, Slim Kallel
, Nawal Guermouche, Ahmed Hadj Kacem:
Time patterns for cyber-physical systems. ISCC 2016: 1208-1211 - [c93]Nizar Omheni, Ahmed Hadj Kacem:
"i-Read": A Collaborative Learning Environment to Support Students with Low Reading Abilities. ITS 2016: 221-226 - [c92]Maha Boussabbeh, Mohamed Tounsi
, Ahmed Hadj Kacem, Mohamed Mosbah:
Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing. PDP 2016: 504-511 - [c91]Ilhem Khlif, Mohamed Hadj Kacem, Patricia Stolf, Ahmed Hadj Kacem:
Software Architectures: Multi-Scale Refinement. SERA 2016: 265-272 - [c90]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Modeling and verifying self-adaptive systems: A refinement approach. SMC 2016: 3967-3972 - [c89]Marwa Hachicha, Emna Dammak, Riadh Ben Halima, Ahmed Hadj Kacem:
A correct by construction approach for modeling and formalizing self-adaptive systems. SNPD 2016: 379-384 - [c88]Faten Fakhfakh, Mohamed Tounsi
, Ahmed Hadj Kacem, Mohamed Mosbah:
A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. WETICE 2016: 44-49 - [c87]Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem:
Multiple Software Product Lines for Service Oriented Architecture. WETICE 2016: 56-61 - [c86]Imen Graja, Slim Kallel
, Nawal Guermouche, Ahmed Hadj Kacem:
BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems. WETICE 2016: 152-157 - [c85]Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem:
A Novel Approach for Semantic Web Service Discovery. WETICE 2016: 250-252 - 2015
- [j10]Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
A refinement-based approach for building valid SOA design patterns. Int. J. Cloud Comput. 4(1): 78-104 (2015) - [c84]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. ICIS 2015: 642-646 - [c83]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
A Provisioning Approach of Cloud Resources for Dynamic Workflows. CLOUD 2015: 469-476 - [c82]Imen Graja, Nawal Guermouche, Ahmed Hadj Kacem, Khalil Drira:
An Approach for Multiple-Instance Based Service Composition. SCC 2015: 435-442 - [c81]Faten Fakhfakh, Mohamed Tounsi
, Ahmed Hadj Kacem, Mohamed Mosbah:
A formal pattern for dynamic networks through evolving graphs. AICCSA 2015: 1-4 - [c80]Mouna Ktari, Mohamed Amine Haddar, Ahmed Hadj Kacem, Mohamed Mosbah:
Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks. AICCSA 2015: 1-7 - [c79]Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
A formal approach for SOA design patterns composition. AICCSA 2015: 1-8 - [c78]Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem:
Processus pour la génération automatique de composants exécutables à partir de contraintes d'architecture. CAL 2015: 61-78 - [c77]Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem:
Automatic Translation of Architecture Constraint Specifications into Components. ECSA 2015: 322-338 - [c76]Nizar Omheni, Anis Kalboussi
, Omar Mazhoud, Ahmed Hadj Kacem:
Modelling Learner's Personality Profile through Analysis of Annotation Digital Traces in Learning Environment. ICALT 2015: 66-67 - [c75]Anis Kalboussi
, Nizar Omheni, Omar Mazhoud, Ahmed Hadj Kacem:
An Interactive Annotation System to Support the Learner with Web Services Assistance. ICALT 2015: 409-410 - [c74]Fatma Masmoudi, Mohamed Sellami
, Monia Loulou, Ahmed Hadj Kacem:
Analyzing Multi-tenant Cloud Services' Accountability. ICEBE 2015: 239-244 - [c73]Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Controlling Elasticity Dependencies for Multi-tenant Business Process. ICEBE 2015: 251-256 - [c72]Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
A UML-based Approach for Multi-scale Software Architectures. ICEIS (2) 2015: 374-381 - [c71]Anis Kalboussi
, Nizar Omheni, Omar Mazhoud, Ahmed Hadj Kacem:
How to Organize the Annotation Systems in Human-Computer Environment: Study, Classification and Observations. INTERACT (2) 2015: 115-133 - [c70]Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
Towards a multi-scale modeling approach for software architectures. SAC 2015: 1468-1470 - [c69]Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony, Ahmed Hadj Kacem:
Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs. SNPD (revised selected papers) 2015: 213-226 - [c68]Faten Fakhfakh, Mohamed Tounsi
, Ahmed Hadj Kacem, Mohamed Mosbah:
Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs. SNPD (revised selected papers) 2015: 227-243 - [c67]Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
An Approach for SOA Design Patterns Composition. SOCA 2015: 219-226 - [c66]Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem:
Automatic Recognition of Personality from Digital Annotations. WEBIST 2015: 273-280 - [c65]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. WETICE 2015: 23-28 - [c64]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud. WETICE 2015: 35-40 - [c63]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. WETICE 2015: 191-196 - 2014
- [j9]Anis Kalboussi
, Omar Mazhoud, Nizar Omheni, Ahmed Hadj Kacem:
A new annotation system based on a semantic analysis of a learner's annotative activity to invoke web services. Int. J. Metadata Semant. Ontologies 9(4): 350-370 (2014) - [c62]Nizar Omheni, Omar Mazhoud, Anis Kalboussi
, Ahmed Hadj Kacem:
The annotation: a track of reader's personality traits on paper. ACM Southeast Regional Conference 2014: 10:1-10:6 - [c61]Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem:
Feature model for modeling compound SOA design patterns. AICCSA 2014: 381-388 - [c60]Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Towards a Multi-tenancy Aware Cloud Service Composition. AINA Workshops 2014: 404-409 - [c59]Ahmed Jemal, Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Khalil Drira, Mohamed Jmaiel:
Energy Saving in WSN Using Monitoring Values Prediction. ANT/SEIT 2014: 1154-1159 - [c58]Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing. CloudCom 2014: 154-161 - [c57]Fatma Masmoudi, Monia Loulou, Ahmed Hadj Kacem:
Multi-tenant Services Monitoring for Accountability in Cloud Computing. CloudCom 2014: 620-625 - [c56]Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem:
A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants. EMAS@AAMAS 2014: 40-57 - [c55]Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
A multi-scale modelling perspective for SoS architectures. ECSA Workshops 2014: 30:1-30:5 - [c54]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Workflow Scheduling in Cloud Computing: A Survey. EDOC Workshops 2014: 372-378 - [c53]Imen Graja, Imen Loulou, Ahmed Hadj Kacem:
SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties. ENASE 2014: 172-179 - [c52]Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem:
A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B. ICAART (2) 2014: 229-236 - [c51]Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem:
Interoperability of healthcare information systems. ISNCC 2014: 1-5 - [c50]Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem:
Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs. JFSMA 2014: 139-148 - [c49]Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem:
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. SEFM 2014: 363-377 - [c48]Nizar Omheni, Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem:
Prediction of Human Personality Traits From Annotation Activities. WEBIST (2) 2014: 263-269 - [c47]Maha Boussabbeh, Mohamed Tounsi
, Ahmed Hadj Kacem, Mohamed Mosbah:
Enhancing Proofs of Local Computations through Formal Event-B Modularization. WETICE 2014: 50-55 - [c46]