Search Results - Kacem, Hatem Hadj

Refine Results
  1. 1
    Towards Causal Consistent Updates in Software-Defined Networks

    Towards Causal Consistent Updates in Software-Defined Networks by Guidara, Amine, Pomares Hernández, Saúl E., Rodríguez Henríquez, Lil María X., Hadj Kacem, Hatem, Hadj Kacem, Ahmed

    Published in Applied sciences
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment

    Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment by Sellami, Wael, Hadj Kacem, Hatem, Hadj Kacem, Ahmed

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Spatio-temporal Behavior in Cyber-Physical Systems from a Natural Phenomena Perspective

    Spatio-temporal Behavior in Cyber-Physical Systems from a Natural Phenomena Perspective by Khlif, Houda, Kacem, Hatem Hadj, Hernandez, Saul Pomares, Avila-Cortes, Ojilvie

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Dealing with structural changes on provisioning resources for deadline-constrained workflow

    Dealing with structural changes on provisioning resources for deadline-constrained workflow by Fakhfakh, Fairouz, Kacem, Hatem Hadj, Kacem, Ahmed Hadj

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Workflow Scheduling in Cloud Computing: A Survey

    Workflow Scheduling in Cloud Computing: A Survey by Fakhfakh, Fairouz, Kacem, Hatem Hadj, Kacem, Ahmed Hadj

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Track Report of Future Internet Services and Applications (FISA'2019)

    Track Report of Future Internet Services and Applications (FISA'2019) by Sellami, Mohamed, Hadj Kacem, Hatem, Santana De Oliveira, Anderson

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability

    An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability by Khlif, Houda, Hadj Kacem, Hatem, Hernandez, Saúl E. Pomares, Hadj Kacem, Ahmed, Eichler, Cédric, Simón, Alberto Calixto

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Randomized broadcasting in wireless mobile sensor networks

    Randomized broadcasting in wireless mobile sensor networks by Abdallah, Nesrine Ouled, Kacem, Hatem Hadj, Mosbah, Mohamed, Zemmari, Akka

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems

    A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems by Khlif, Houda, Hadj Kacem, Hatem, Pomares Hernandez, Saul E., Hadj Kacem, Ahmed

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Fault Tolerance Approach Based on Checkpointing towards Dependable Business Processes

    Fault Tolerance Approach Based on Checkpointing towards Dependable Business Processes by Vargas Santiago, Mariano, Pomares Hernandez, Saul Eduardo, Morales Rosales, Luis Alberto, Hadj Kacem, Hatem

    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification

    CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification by Rebai, Sirine, Hadj Kacem, Hatem, Karaa, Mohamed, Pomares, Saul E., Hadj Kacem, Ahmed

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems

    A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems by Khlif, Houda, Kacem, Hatem Hadj, Pomares Hernandez, Saul E., Eichler, Cedric, Kacem, Ahmed Hadj, Simon, Alberto Calixto

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration

    Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration by Rebai, S., Hadj Kacem, Hatem, Hadj Kacem, Ahmed

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    BpelVT: A Tool for Formal Validation of Web Service Orchestrations

    BpelVT: A Tool for Formal Validation of Web Service Orchestrations by Sellami, W., Hadj Kacem, Hatem, Hadj Kacem, Ahmed

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Preserving the Correctness of Dynamic Workflows within a Cloud Environment

    Preserving the Correctness of Dynamic Workflows within a Cloud Environment by Fakhfakh, Fairouz, Kacem, Hatem Hadj, Kacem, Ahmed Hadj, Fakhfakh, Faten

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud

    Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud by Fakhfakh, Fairouz, Kacem, Hatem Hadj, Kacem, Ahmed Hadj

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Algebraic Elimination of epsilon-transitions

    Algebraic Elimination of epsilon-transitions by Duchamp, Gérard, Kacem, Hatem Hadj, Laugerotte, Eric

    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Track Report of Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC 2014)

    Track Report of Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC 2014) by Kacem, Hatem Hadj, Halima, Riadh Ben, Tata, Samir

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    A Formal Approach for the Validation of Web Service Orchestrations

    A Formal Approach for the Validation of Web Service Orchestrations by Kacem, H. H., Sellami, W., Kacem, A. H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    FISA 2015 Track Report: Future Internet Services and Applications

    FISA 2015 Track Report: Future Internet Services and Applications by Kacem, Hatem Hadj, De Oliveira, Anderson Santana, Sellami, Mohamed, Lefebvre, Sylvain

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: