WorldCat Identities

Jmaiel, Mohamed

Overview
Works: 52 works in 79 publications in 3 languages and 1,449 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, dgs, Thesis advisor, Other, htt, Opponent, Contributor
Publication Timeline
.
Most widely held works by Mohamed Jmaiel
The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings by ICOST( )

4 editions published in 2020 in English and held by 272 WorldCat member libraries worldwide

This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic
2008 Third international conference on Risks and security of internet and systems (CRiSIS 2008) : Tozeur, Tunisia, October 28-30, 2008 : proceedings by International Conference on Risks and Security of Internet and Systems( )

3 editions published in 2008 in English and held by 266 WorldCat member libraries worldwide

2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) Tozeur, Tunisia, May 31-June 2, 2010 by International Conference on New Technologies of Distributed Systems( )

2 editions published in 2010 in English and held by 236 WorldCat member libraries worldwide

WET ICE 2013 : 22nd IEEE International WETICE Conference : WETICE 2013 : 17-20 June 2013, Hammamet, Tunisia by IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises( )

1 edition published in 2013 in English and held by 230 WorldCat member libraries worldwide

Pattern Recognition and Artificial Intelligence 4th Mediterranean Conference, MedPRAI 2020, Hammamet, Tunisia, December 20{u2013}22, 2020, Proceedings by Mediterranean Conference on Pattern Recognition and Artificial Intelligence( )

4 editions published in 2021 in English and held by 137 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 4th Mediterranean Conference on Pattern Recognition and Artificial Intelligence, MedPRAI 2020, held in Hammamet, Tunisia, in December 2020. Due to the COVID-19 pandemic the conference was held online. The 24 revised papers presented were thoroughly reviewed and selected from 72 submissions. The papers are covering the topics of recent advancements in different areas of pattern recognition and artificial intelligence, such as statistical, structural and syntactic pattern recognition, machine learning, data mining, neural networks, computer vision, multimedia systems, information retrieval, etc
The Impact of Digital Technologies on Public Health in Developed and Developing Countries : 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings by Mohamed Jmaiel( )

2 editions published in 2020 in English and held by 42 WorldCat member libraries worldwide

This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic
Service-Oriented Computing - ICSOC 2011 Workshops : ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers by George Pallis( )

6 editions published in 2012 in English and held by 32 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed proceedings of the 2011 ICSOC Workshops consisting of 5 scientific satellite events, organized in 4 tracks: workshop track (WESOA 2011; NFPSLAM-SOC 2011), PhD symposium track, demonstration track, and industry track; held in conjunction with the 2011 International Conference on Service-Oriented Computing (ICSOC), in Paphos, Greece, December 2011. The 39 revised papers presented together with 2 introductory descriptions address topics such as software engineering services; the management of service level agreements; Web services and service composition; general or domain-specific challenges of service-oriented computing and its transition towards cloud computing; architecture and modeling of services; workflow management; performance analysis as well as crowdsourcing for improving service processes and for knowledge discovery
Proceedings, 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) : Tozeur, Tunisia, May 31-June 2, 2010 by International Conference on New Technologies of Distributed Systems( )

1 edition published in 2010 in English and held by 29 WorldCat member libraries worldwide

Specifying and Monitoring Non-functional Properties by Slim Kallel( )

1 edition published in 2011 in English and held by 25 WorldCat member libraries worldwide

Enhancing enterprise and service-oriented architectures with advanced web portal technologies( )

1 edition published in 2012 in English and held by 23 WorldCat member libraries worldwide

"This book offers the latest research and development within the field, filled with case studies, research, methodologies and frameworks from contributors around the world and addressing a wide range of subject matters, levels of technical expertise and development, and new technological advances within the field"--Provided by publisher
Service-Oriented computing - ICSOC 2011 Workshops : ICSOC 2011 International Workshops, WESOA, NFPSLAM-SOC, and satellite events, Paphos, Cyprus, December 5-8, 2011 : revised selected papers by ICSOC (Conference)( )

3 editions published in 2012 in English and German and held by 21 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed proceedings of the 2011 ICSOC Workshops consisting of 5 scientific satellite events, organized in 4 tracks: workshop track (WESOA 2011; NFPSLAM-SOC 2011), PhD symposium track, demonstration track, and industry track; held in conjunction with the 2011 International Conference on Service-Oriented Computing (ICSOC), in Paphos, Greece, December 2011. The 39 revised papers presented together with 2 introductory descriptions address topics such as software engineering services; the management of service level agreements; Web services and service composition; general or domain-specific challenges of service-oriented computing and its transition towards cloud computing; architecture and modeling of services; workflow management; performance analysis as well as crowdsourcing for improving service processes and for knowledge discovery
Development of communication protocols with algebraic temporal specifications by Mohamed Jmaiel( Book )

3 editions published in 1996 in English and German and held by 18 WorldCat member libraries worldwide

Third International Conference on Risks and Security of Internet and Systems, 2008 CRiSIS '08 ; Tozeur, Tunisia, 28-30 Oct. 2008( )

1 edition published in 2008 in English and held by 15 WorldCat member libraries worldwide

Development of communication protocols by composing and refining temporal specifications by Mohamed Jmaiel( Book )

3 editions published in 1994 in English and German and held by 13 WorldCat member libraries worldwide

Abstract: "This paper presents a modular temporal logic for the specification and verification of communication protocols. Based on this setting we present a development method that supports stepwise refinement of distributed systems. An inference rule for composing temporal specifications as well as proof rules for the verification of refinements are given. We illustrate the application of our method by refining a message-transmission medium."
Specifying communication protocols with temporal logic by Mohamed Jmaiel( Book )

2 editions published in 1994 in German and English and held by 11 WorldCat member libraries worldwide

WETICE 2013 : Proceedings, 22nd IEEE International WETICE Conference : Hammamet, Tunisia, 17-20 June 2013 by IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises( Book )

1 edition published in 2013 in English and held by 7 WorldCat member libraries worldwide

Approche sémantique basée sur les intentions pour la modélisation, la négociation et la surveillance des contrats de qualité de service by Kaouthar Fakhfakh( Book )

2 editions published in 2011 in French and held by 3 WorldCat member libraries worldwide

Nos travaux de thèse s'inscrivent dans le cycle de vie des contrats de qualité de service pour les architectures orientées services. Le cycle de vie de ces contrats se caractérise par une phase de spécification et de modélisation des niveaux requis de qualité, une phase de négociation de ces niveaux et une phase de surveillance du contrat de QdS élaboré entre le client et le fournisseur. Concernant la première phase, nous avons remarqué que les approches existantes de modélisation des contrats de QdS se limitent à une description incomplète notamment dans le cas où les niveaux de service requis sont composés à partir d'autres métriques élémentaires de qualité. Pour remédier à cette insuffisance, nous avons défini un modèle sémantique nommé "SLAOnt". Quant à la deuxième phase, nous avons constaté que les approches existantes de négociation consistent à choisir un sous-ensemble de clauses et de valeurs parmi des choix prédéfinis par le fournisseur. Cependant, le client peut ne pas comprendre ces choix dans le cas où il n'est pas expert du domaine. Pour cela, nous avons proposé une approche de négociation basée sur un alignement d'objectifs de qualité de service pour l'élaboration de ces contrats. Cette phase d'alignement se termine par une génération complète d'un contrat de qualité de service en cas de compatibilité. Concernant la troisième phase traitant la surveillance des contrats de qualité de service, nous avons remarqué l'absence d'une approche automatique pour faciliter la tâche d'observation et de détection des violations de contrats de QdS. Pour remédier à ces insuffisances, nous avons élaboré une approche sémantique de surveillance de QdS pour détecter ces violations
Development of communication protocols by composing and refining temporal specifications by Mohamed Jmaiel( Book )

1 edition published in 1994 in English and held by 3 WorldCat member libraries worldwide

The SemSPM approach: fine integration of WS-SecurityPolicy semantics to enhance matching security policies in SOA by Monia Ben Brahim( )

1 edition published in 2016 in English and held by 2 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.54 (from 0.42 for WET ICE 20 ... to 0.97 for Proceeding ...)

Enhancing enterprise and service-oriented architectures with advanced web portal technologies
Covers
Pattern Recognition and Artificial Intelligence 4th Mediterranean Conference, MedPRAI 2020, Hammamet, Tunisia, December 20{u2013}22, 2020, ProceedingsEnhancing enterprise and service-oriented architectures with advanced web portal technologies
Alternative Names
Jamiel, Mohamed 1966-

Jmaiel, M.

Languages
English (37)

German (4)

French (2)