Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDAhmed 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]