Towards Causal Consistent Updates in Software-Defined Networks von Guidara, Amine, Pomares Hernandez, Saul E., Rodriguez Henriquez, Lil Maria X., Kacem, Hatem Hadj, Kacem, Ahmed Hadj

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

A Formal Approach for the Validation of Web Service Orchestrations: KNOWLEDGE SHARING, SERVICE ORCHESTRATION AND MANAGEMENT AT RUNTIME FROM THR IEEE WETICE 2012 CONFERENCE ON STATE... von SELLAMI, Wael, HADJ KACEM, Hatem, HADJ KACEM, Ahmed

Volltext

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

Volltext

Specification and verification of the structural and behavioral properties of Publish/Subscribe architectures von Siwar Khelifi, Hatem Hadj kacem, Ahmed Hadj Kacem

Volltext

Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model von Abdallah, N O, Kacem, H H, Mosbah, M, Zemmari, A

Volltext

An unexpected application of minimization theory to module decompositions von Duchamp, Gerard, Kacem, Hatem Hadj, Laugerotte, Eric

Volltext bestellen

Algebraic Elimination of epsilon-transitions von Duchamp, Gerard, Kacem, Hatem Hadj, Laugerotte, Eric

Volltext bestellen

An unexpected application of minimization theory to module decompositions von Duchamp, Gerard, Hatem Hadj Kacem, Laugerotte, Eric

Volltext

miRNA implication in the pathogenesis and the outcome of Tunisian endemic pemphigus foliaceus von Khabou, Boudour, Fakhfakh, Raouia, Tahri, Safa, Bahloul, Emna, Hadj Kacem, Hassen, Belmabrouk, Sabrine, Hachicha, Hend, Sellami, Khadija, Turki, Hamida, Masmoudi, Hatem, Abida, Olfa

Volltext

Interoperability for medical information systems: an overview von Hammami, Randa, Bellaaj, Hatem, Hadj Kacem, Ahmed

Volltext

Mixed-Integer Programming and Constraint Programming Models for the Flexible Job Shop Scheduling Problem von Fekih, Asma, Hadda, Hatem, Kacem, Imed, Hadj-Alouane, Atidel B.

Volltext