a) Publications Internationales 

1

Hemam., M. et Boufaida., Z. (2011).  "MVp-OWL: A Multi-Viewpoints Ontology Language for the Semantic Web". Int. Journal Reasoning-based Intelligent Systems (IJRIS). Inderscience Publishers, Vol. 3, N° 3/4, pp. 147–155.www.inderscience.com/ijris

2

S-M. Hemam and K-W. Hidouci.: “Replicated Database Transactions Processing in Peer-To-Peer Environment”. Journal of Networking Technology Volume 2 Number 2 June 2011, pp 63-72.

3

S-M. Hemam and K-W. Hidouci.: “Towards a Novel Architecture for Managing Distributed and Replicated Database in P2P System with Node Dynamicity ”. à apparaître dans procedia computer sciences journal-elsevier

4

T. Djouad, A. Mille, C. Reffay, M. Benmohammed.   Ingénierie des indicateurs d'activités à partir de traces modélisées pour un Environnement Informatique d’Apprentissage Humain.   Sciences et Techniques de l'Information et de la Communication pour l'Éducation et la Formation 16():43, ISSN 1764-7223.   2009.   

5

T. Djouad, L. S Settouti, Y. Prié, C. Reffay, A. Mille.  Un Système à Base de Traces pour la modélisation et l’élaboration d’indicateurs d’activités éducatives individuelles et collectives. Mise à l’épreuve sur Moodle.   TSI 29(6):721-741.   2010.  

6

Elkamel  MERAH, Allaoua CHAOUI  “Distributed Caml Light” International Review On Computers and Software (IRECOS) ISSN 1828-6003 Vol.3 N.5   IRECOS Journal Italia, September 2008.

7

Elkamel  MERAH, Allaoua CHAOUI « TOWARDS A MOBILE CAML LIGHT: mCamllight »  Ubiquitous (UBICC) Special issue on New Technologies, Mobility and Security. (NTMS) ISSN Online 1992-8424 ISSN Print 1994-4608 UBICC Journal South Korea October 2008.

8

Elkamel Merah, Allaoua Chaoui « Caml Light: A Language Predisposed to Mobility » International Journal of Information Studies (IJIS) Volume 2, Issue 1, pp. 12-21, January 2010.

9

T. M. Maarouk and D. E. Saidouni. Formal verification of real-time systems using a true concurrency semantics. Journal of Procedia Technology (Elseiver), To appear.

10

A. Badis and N. Trabelsi, Soluble minimal non-(finite-by-Baer) groups. Riccerche di

matimatica, Ricerche mat. (2010) 59, 129–135

11

A. Badis and N. Trabelsi, Groups with few non -((locally finite) -by- Baer ) subgroups.

Note di matematica 2010, 30(2), 104-109

12

A. Badis and N. Trabelsi, Groups whose proper subgroups are Baer-by-Chernikov or Baer-by-(finite rank), Cent. Eur. J. Math.,  9(6) , 2011, 1344-1348

13

T. M. Maarouk and D. E. Saidouni. Towards a calculus for distributed, real-time and mobile systems. Journal of Software, To appear.

14

R.  Mahdaoui, H. Mouss et  D. Mouss.  A  Temporal Neuro-Fuzzy Monitoring System to Manufacturing  Systems.  IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 3, No. 1, May 2011  ISSN (Online): 1694-0814.2011    http://www.ijcsi.org/

15

R.  Mahdaoui, H. Mouss et  D. Mouss. Temporal Neuro-Fuzzy systems in fault diagnosis and prognosis. International review on modeling ans simulations (IREMOS)., vol.4 N.1, February 2011, ISSN1974-9821.2011.

www.praiseworthyprize.com/iremos.htmEn cache  - Pages similaires 

16

O. Chouhal , H.L. Mouss ,  R. Mahdaoui .  Multi agent system using web services for diagnosing Manufacturing Systems .  International Review of Mechanical engineering (I.RE.M.E.), Vol. 05, N. 3 .   ISSN  1970 – 8734. 2011. www.praiseworthyprize.com/ireme.htmEn cache  - Pages similaires 

17

Hichem Houassi et Azeddine Bilami «IP Address Lookup Algorithm using a dynamic content binary trie », International Review on Computers and Software (I.RE.CO.S.), Vol. 5, n.3, Mai 2010  http://www.praiseworthyprize.com/IRECOS-latest/IRECOS_vol_5_n_3.html

18

Hichem Houassi et Azeddine Bilami  «IP address lookup for Internet routers using cache routing table», (IJCSI),  International Journal of Computer Science Issues, Vol. 7, Issue 4, July 2010.

http://www.ijcsi.org/papers/IJCSI-Vol-7-Issue-4-No-8.pdf#page=49

19

Z.A. Seghir, F. Hachouf. “Edge-region information measure based on deformed and displaced pixel for Image Quality Assessment”, Elsevier (Impact Factor: 1.186), Signal Processing: Image Communication, Volume 26, Issue 8-9, pp. 534-549. http://www.sciencedirect.com/science/article/pii/S0923596511000695

c) Communications Internationales 

1

Hemam., M. et Boufaida., Z. (2004). "An Ontology Development Process for the Semantic Web".  Workshop on Knowledge Management and the Semantic Web (EKAW'04), pp.51-56. Whittlebury Hall, Northamptonshire, UK.

      www-sop.inria.fr/acacia/WORKSHOPS/EKAW2004-KMSW/call.html

2

Hemam., M. et Boufaida., Z. (2008). "Prise en compte des points de vue dans la construction des ontologies en logique de descriptions". Actes du Colloque International sur l'Optimisation et les Systèmes d'Information (COSI'08), pp.287–298. Tizi ouzou, Algérie.       www.isima.fr/cosi/cosi2008/

3

Hemam., M. et Boufaida., Z. (2008).  "Représentation d’ontologies multi-points de vue: une approche basée sur la logique de descriptions". Papier court dans 20^es Journées Francophones d'Ingénierie des Connaissances (IC’09), Hammamet, Tunisie.      www-sop.inria.fr/edelweiss/events/ic2009/

4

Hemam., M. et Boufaida., Z. (2009).  "Raisonnement par classification sur une ontologie multi-points de vue". In 3èmes Journée Francophone sur les Ontologies (JFO’09), ACM Edition, pp.149–156. Poitiers, France.

 www.jfo2009.lisi.ensma.fr

5

Hemam., M. et Boufaida., Z. (2010).  "MVp-OWL: A Multi-Viewpoints Ontology Language for the Semantic Web". In Proceedings of the Third International Conference on Web and Information Technologies (ICWIT’10), pp.120–131. Marrackech, Maroc.      www.ucam.ac.ma/icwit2010/

6

S-M. Hemam and Z.Boufaïda.: “A contribution to middleware interoperability”. International Conference on Computer Theory and Application ICCTA'04, Egypt (Alexandria), September 28-30 2004.

7

S-M. Hemam and Z.Boufaïda.: “Meta-middleware: A Solution Allowing Interoperability Between Middlewares”. 5 ^th International Arab Conference on Information Technology.ACIT’2004,  Algeria (Constantine), December 12-15 2004.

8

S-M. Hemam and K-W. Hidouci.: “A Fully Decentralized Algorithm to Timestamping Transactions in Peer-To-Peer Environments”. IEEE International Conference on Machine and Web Intelligence IEEE ICMWI’10 . Algeria (Algiers) October 2010,  pp 164-168.

9

S-M. Hemam and K-W. Hidouci.: “A Fully Decentralized Algorithm To Processing Transactions in a Peer-To-Peer Environments”. International Conference on Information Technology and e-Services ICITeS’11. Tunisia (sousse) April 2011, PP 264-269.

10

T. Djouad  Transcibe Actions For Synchronous Leaning Platforms "Tasync: A Transcription and Visualization Tool”., dans: The 4th International Multiconference on Computer Science and information Technology, Jordanie, 2006

11

T. Djouad.   Analyser l'activité d'apprentissage collaboratif : Une approche par transformations spécialisées de traces d'interactions.   Dans Secondes Rencontres Jeunes Chercheurs en EIAH, Lille. pp. 93-98.   2008.   

12

T. Djouad, A. Mille, M. Benmohammed.   Un outil spécifique à Moodle pour le calcul des indicateurs d’interaction.   Dans MoodleMoot 2010, la conférence annuelle des utilisateurs francophones de la plateforme Moodle d'apprentissage en ligne, Troyes, France.   2010.   

13

Elkamel Merah, Allaoua Chaoui « Towards Mobility For Caml Light » First International Conference on ‘Networked Digital Technologies’ (NDT 2009) Technical co-sponsored by IEEE. VSB- Technical University of Ostrava, Czech Republic. July 28-31, 2009. 978-1-4244-4615-5/09/$25.00 ©2009 IEEE

14

Elkamel Merah, Allaoua Chaoui « Design of A Concurrent Caml Light : ACCL » Second International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2009) Technical co-sponsorship by IEEE UK&RI Selection. London Metropolitan University, United Kingdom August 4-6, 2009. 978-1-4244-4457-1/09/$25.00 ©2009 IEEE

15

Groups whose proper subgroup are Cernikov –by-Baer groups

3 ^ème  Conférence International des Mathématiques (ICM 2008) Elain UAE,  3-6  Mars 2008

16

Groupes localement gradué de rang fini ayant peu de sous-groupes non-((localement fin)- par-Baer) Journées internationales d’algèbre et application 2009, Université de Jijel, Algerie  3-5 novembre

17

Groups all whose subgroups are  locally finite-  by –hypercentral    Poster , Conférence International des Mathématiques et Applications  Université Islamique Al-Imam Muhammed Ibn Saud  KSA, 23-24  Mars 2011

18

Groupes non-(Baer-par-Chernikov) minimaux, Journées internationales d’algèbre appliqués 2011,  Université deMsila, Algerie  29 Novembre-01 Décembre

19

T. M. Maarouk, D. E. Saidouni, and M. Khergag. DD-LOTOS : A distributed real time language. In Proceedings 2nd Annual International Conference on Advances in Distributed and Parallel Computing (ADPC 2011) Special Track on : Real Time & Embedded Systems (RTES 2011), pages 45-50, Singapore, 2011.

http://www.dpcomputing.org/PriorYear'sPaper2011.html

20

T. M. Maarouk and D. E. Saidouni. Prise en charge de la mobilité dans les algèbres de processus temps réel. In Proceedings of International Conference on Applied Informatics ICAI2009, Bordj Bouarréridj, Algeria,  2009.

http://kharkov.academia.edu/AbdelaaliBoudjemaa/Papers/813926/Places_of_the_conference_Sciences_and_Technology_Institute

21

R. Mahdaoui , H. Mouss ,   Djemal Mouss,  Ouahiba Chouha . Reconnaissance des formes par les systèmes neuro-flous ELMAN: Application au pronostic des systèmes de production . ICIEM’10 International Conference on Industrial Engineering and Manufacturing.

22

R.  Mahdaoui , H. Mouss ,   Djemal Mouss,  Ouahiba Chouha . Apprentissage des systèmes Neuro-Flous par des données numériques et/ou symboliques pour la reconnaissance dynamique de formes : Application au diagnostic industriel . ICIEM’10 International Conference on Industrial Engineering and Manufacturing. Batna–Algeria du 09 au 10 Mai 2010.

23

O. Kadri, Hayet Mouss, A. Abdelhdi, et R. Mahdaoui . Vers une optimisation de l’algorithme anttreestoch . ICIEM’10 International Conference on Industrial Engineering and Manufacturing. Batna–Algeria du 09 au 10 Mai 2010

24

Hichem Houassi et Azeddine Bilami  «Une Architecture Parallèle pour la Consultation des Tables de Routage IP », 5th International Conference: Sciences of Electronic, Technologies of Information and Telecommunications (SETIT’09) Mars,  2009, Tunisie. http://www.setit.rnu.tn/last_edition/setit2009/Telecom%20and%20Network/257.pdf

25

Hichem Houassi et Azeddine Bilami «Une architecture parallèle pour la consultation d’adresses IP », CITIC’09,  Conférence Internationale des Technologies de l’Information et de la Communication, Mai, 2009, Université Ferhat Abbes de Sétif. www.univ-setif.dz/externe/programmeCITIC09.pdfPages similaires

26

Hichem Houassi et Azeddine Bilami  «Une technique de recherche de route par une table de routage cache », First International Conference on Industrial ingineering & Manufacturing, May, 2010, Université de Batna, Algérie. http://lab.univ-batna.dz/lap/images/stories/documents/pdf88%20poster-%20Houassi_I%2013.pdf

27

Hichem Houassi et Azeddine Bilami « IP address lookup for Internet routers using cache routing table », E-Medisys 2010 Third International Conference: E-Medical Systems, May, 2010, Maroc http://www.setit.rnu.tn/E-medisys/?main=1&pg=accept_pap

28

Siam Abderrahim , Maamri Ramdhane ''Building agents by Assembly Software Components under Organizational constraints of multi-agent system''     3rd International Conference on Intelligent Decision Technologies  KES IDT 2011  University of Piraeus,Greece20-22July2011 http://idt-11.kesinternational.org/

29

L'utilisation d'une ontologie pour la classification d'appels téléphoniques Halima Bahi, Wahid Chergui
lien:http://www.jfo2009.lisi.ensma.fr/programme.php

30

Z.A. Seghir, F. Hachouf, F. Nicolier “Distance transform measure based on edge-region information: An algorithm for image quality assessment” to be appeared  in Proc. 3th Congress on Nature and Biologically Inspired Computing (IEEE, NaBIC2011), Salamanca, Spain, Oct 19-21, pp. 125-130.

http://ieeexplore.ieee.org/search/searchresult.jsp?newsearch=true&queryText=zianou&x=36&y=21&tag=1

31

Z.A. Seghir, F. Hachouf. “Edge-region information with distorted and displaced pixels measure for image quality evaluation” in Proc. 10th International Conference on Information Science, Signal Processing and their Applications (IEEE, ISSPA 2010), Kuala Lumpur, Malaysia, May 10- 13, pp. 77-80.

http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5605504

32

Z.A. Seghir, F. Hachouf. “Image Quality Assessment based on Edge-region information and Distorted pixel for JPEG and JPEG2000”, in Proc. ACIVS 2009, (Springer), Bordeaux, France, Sept.28 - Oct.2, LNCS 5807, pp. 156-166.

 http://www.springerlink.com/content/742718072855788q/

33

Seghir, Z.A. ;Hachouf, F.; Zeggari, A.; “ A Generic Methodology for Image Segmentation Evaluation “ 2^nd IEEE International Conference OnInformation and Communication Technologies, 2006. ICTTA '06. 2nd Volume 1,  24-28 April 2006 Page(s):1794 – 1799. Damascus, Syria. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1684658

34

Hachouf, Zeggari Ahmed, A. Seghir, Z “An Image Segmentation Algorithm Based on Fuzzy Clustering and Genetic Algorithms with a New Distance” Proceedings of the 6th WSEAS Int. Conf. on EVOLUTIONARY COMPUTING, Lisbon, Portugal, June 16-18, 2005 (pp141-145)   www.wseas.us/e-library/conferences/2005lisbon/papers/496-255.pdf

35

Z.A. Seghir, F. Hachouf. “Image Quality Assessment Measure based on Region-displacement with distorted pixels for compressed Images”, Third International Conference on Electrical Engineering Design and Technologies (ICEEDT09), Oct. 31- Nov. 2, 2009, Sousse, Tunisia.

36

Z.A. Seghir, F. Hachouf. “Edge-displacement measure for Image Quality Assessment”, in Proc. International conference On Applied Informatics (ICAI09), November 15-17, 2009, Academic centre of Bordj Bou Arreridj, Algeria, vol III image processing, pp. 250-255.  http://www.icai09.org/index.php?page=ip&PHPSESSID=a7cc6c5a84fd36d8dc71c0b49b5920de

37

Z.A. Seghir, F. Hachouf. “Full Reference Image Quality Assessment for Compressed Image”, International Conference on System and Information Processing (ICSIP'09), May 2-4, 2009, Guelma, Algeria.

http://www.univ-guelma.dz/icsip09/program.pdf

38

Z.A. Seghir, F. Hachouf , “Etude comparative des méthodes d’évaluation de la qualité d’image “, ISPA2010,Second International Conference on Image and Signal and their Application, 6-8 décembre 2010 , Biskra university, Algeria,

http://www.univ-biskra.dz/ispa2010/files/Programme_ISPA2010_final.pdf

39

Seghir, Z.A. ;Hachouf, F.; Zeggari, A, “ Élaboration de Méthodes d'Evaluation d'Algorithmes de Segmentation d'Images“  (I3SPA) The 3rd International Summer School on    Signal Processing and its Applications, 08 – 12 Juillet 2006,  Université de Jijel

40

Seghir, Z.A. ;Hachouf, F.; Zeggari, A , “ Une méthode non supervisée d'évaluation d'algorithmes de segmentation d'images “. (CIIE’06)Conférence Internationale sur Ingénierie de Electronique 06-Mai/28-29 , Université des Sciences et de la Technologie, Oran ,Mohamed Boudiaf.

41

RCIS, Fès Maroc, avril 2009 (indexé par DBLP) http://www.farcampus.com/rcis/index.php
        Titre :   A Model based Agent and Ontology for Semantic Information Search
        Auteurs : Djamel NESSAH , Okba KAZAR

42

ICIT Amman Jordanie, Juin 2009 www.alzaytoonah.edu.jo/icit/
          Titre : Semantic Approach based Multi-agent system for information
                  Search on the web.
        Auteurs : Djamel NESSAH , Okba KAZAR

43

SIIE  Sousse - Tunisie ,Fevrier 2010        http://siie2010.loria.fr/
      Titre :  A Hybrid Approach based Multi-agents System for Information Retrieval in Semantic Web
     Auteurs : Djamel NESSAH , Okba KAZAR

d) Communications nationales 

1

Hemam., M. et Boufaida., Z. (2008).  "Conceptualisation d’ontologies multi-points de vue ",  6ème Séminaire National en Informatique (SNIB’08), pp.5–10. Biskra, Algérie.

2

Hemam., M., Djema., O. et Boufaida., Z. (2010). "Vers une approche d'annotation sémantique multi-points de vue". Actes des Journées d'Etudes Doctorales (JED'10), pp.13–18. Annaba, Algérie.

3

T. Djouad, M. Benmohammed, A. Mille. Indicators computation from modeled traces in the context of computer Human Learning environment.      Dans International Symposium on Modelling and Implementation of Complex systems, Constantine,  Algérie. pp. 1-7.   2010.

4

Elkamel Merah, Allaoua Chaoui « Un Caml Light Distribué » Proceedings of the 2nd Conférence Internationale sur l'Informatique et ses Applications (CIIA'09), Saida, Algeria, May 3-4. DBLP Computer Science Bibliographie db/conf/ciia/ciia2009.html

5

D. E. Saidouni and T. M. Maarouk.  MD-lotos : un modèle de spécification formelle des systèmes temps réel et mobile. Séminaire nationale en informatique de biskra (Snib 08).

http://www.univ-biskra.dz/manifestations/snib2008/Sessions.htm

6

T. M. Maarouk and D. E. Saidouni. Spécification formelle des systèmes temps réel et mobile. In Proceedings of Conference Internationnelle sur les systèmes embarqués, Ecole Militaire polytechnique, Algerie, 2008.

7

Hichem Houassi et Azeddine Bilami  «Recherche de route dans un routeur par table cache », Colloque sur l'Optimisation et les Systèmes d'Information, Avril 2010, Université de Ouargla, Algérie.

http://www.isima.fr/cosi/cosi2010/accepted.php

8

S-M. Hemam and Z.Boufaïda.: “Une architecture permettant l’interopérabilité des composants dans un contexte B2B”. Deuxièmes journées d’informatique pour l’entreprise JIE2’04. Algérie (Blida). 04-06 octobre 2004.

9

 Z.A. Seghir, F. Hachouf, S. Chikhi, “Full Reference Image Quality Assessment Measure based on Color and Position“, (SNIB'2008), 6-8 Mai 2008, Biskra university, Algeria, pp. 227-232, 2008. 

http://www.univ-biskra.dz/manifestations/snib2008/Sessions.htm

10

[16] Seghir, Z.A. ;Hachouf, F.; Zeggari, A. “ Evaluation D’algorithmes De Segmentation D'images Couleur“; (Ciia05) Congres International En Informatique Appliquée Bordj  Bou Arréridj  19 – 21 Novembre 2005.

11

Z.A. Seghir, F. Hachouf, S. Chikhi, “Image Quality Assessment Measure Based on Intensity and Position“, (C V A ’ 2007), 18-19-20 November 2007, faculty of Electronic engineering and computing, University of Mouloud Mammeri, Tizi-Ouzou, Algeria, pp. 223-226, 2007.

12

Seghir, Z.A. ;Hachouf, F.; Zeggari, A.; “ Evaluation D’algorithmes De Segmentation D'images Couleur Par De Nouvelles Distances “ (CNTSA 2005) Colloque National sur le Traitement du Signal et ses Applications, 19-20 Septembre 2005, Guelma, Algérie. 

http://www.univ-guelma.dz/recherche/labs/laig/LAIG2009/Programme.CNTSA05.htm

23

1 JSIA Guelma Algerie, Mars 2009   www.univ-guelma.dz/JSIA2009/index.html
       Titre : Approche Sémantique à base d’Ontologie pour la Recherche d’Informations Basée Agents.
     Auteurs : Djamel NESSAH , Okba KAZAR

g) Expérience dans les projets et programmes de recherche

Intitulé du Programme (CNEPRU, AUF, CRDI, UE..)

Année

Organisme

 « Code mobile et programmation typée »  code : B/0501/03/2002

2002

Univ. Batna

 « Sécurité dans les cartes à puce » code : B 4001/01/05

2005

Univ. Khenchela

 « L’Architecture Dirigée par les Modèles (MDA) appliquée à la conception d’un logiciel »  code : B*03520090002 

2010

Univ. Khenchela

 Ingénierie Dirigée par les Modèles   code : B*03520120002 

2012

Univ. Khenchela

Ontologies, Web sémantique et point de vue

2009-2013

Labo LIRE, Univ. Constantine

L’intelligence artificielle, les méthodes bio-inspirées, NTIC et  les méthodes d’émergences : outils pour la supervision et la e-maintenance  des systèmes de production. B*03520100014

2011-2013

Univ. Khenchela

“Impacts de la mobilité sur  les réseaux sans-fil. Les risques et les solutions pour la sécurité et la qualité de service.”

2007-2009

Univ. Batna

“L’intelligence artificielle, les méthodes bio-inspirées, NTIC et les méthodes d’émergences : outils pour la supervision et la e-maintenance des systèmes de production.”

2011-2013

Univ. Khenchela

Vérification distribuée des systèmes critiques

2009-2012

Univ. Constantine

Action de recherche coopérative ModoCop : Model checking Of Concurrent Object-oriented Programs.

OASIS (Active Objects, Semantics, Internet and security) 

2002

INRIA sophia antipolis France.

Ingénierie d'un système d'information pour un développement durable des collectivités territoriales

2010-2012

Univ. Tebessa

a) Mémoires de magister et de Master soutenus

Num :1
 

Nom & Prénom de l’étudiant

SAIDI Halima

Date et lieu de soutenance

28 juin 2012 Khenchela

Rapporteur

MERAH Elkamel

Intitulé du titre

Des Diagrammes de Communication UML 2 vers des Automates à Etats Finis

URL résumé ou version pdf

Num :2
 

Nom & Prénom de l’étudiant

MAAROUK Chouaib

Date et lieu de soutenance

28 juin 2012 Khenchela

Rapporteur

MAHDAOUI Rafik

Intitulé du titre

Résolution du problème du voyageur de commerce par les algorithmes génétiques

URL résumé ou version pdf

Num :3
 

Nom & Prénom de l’étudiant

MASSAS Abdelaziz

Date et lieu de soutenance

28 juin 2012 Khenchela

Rapporteur

MAAROUK Toufik

Intitulé du titre

Implémentation de la mobilité dans un environnement distribué

URL résumé ou version pdf

Num :4
 

Nom & Prénom de l’étudiant

GHAZLAOUI Abdelfatteh et Yahia Batoul

Date et lieu de soutenance

28 juin 2012 Khenchela

Rapporteur

HEMAM Soufiane

Intitulé du titre

Simulation de la cohérence des données réparties et répliquées sur le réseau P2P à base des quorums

URL résumé ou version pdf

Num :5
 

Nom & Prénom de l’étudiant

ROBEI Saloua et HANI Assia

Date et lieu de soutenance

28 juin 2012 Khenchela

Rapporteur

HEMAM Soufiane

Intitulé du titre

Simulation du maintient de la cohérence des répliques dans un environnement pur P2P

URL résumé ou version pdf

Num :6
 

Nom & Prénom de l’étudiant

SEKIOU Sara

Date et lieu de soutenance

28 juin 2012 Khenchela

Rapporteur

HEMAM Mounir

Intitulé du titre

Vers une approche pour la conception des BD à base ontologique

URL résumé ou version pdf

Num :7
 

Nom & Prénom de l’étudiant

MERAD Nadjet

Date et lieu de soutenance

28 juin 2012 Khenchela

Rapporteur

HEMAM Mounir

Intitulé du titre

Conception et implémentation d’une ontologie multipoints de vue

URL résumé ou version pdf

Num :8
 

Nom & Prénom de l’étudiant

BOURMADA Naoual et BOURMADA Med

Date et lieu de soutenance

28 juin 2012 Khenchela

Rapporteur

MAAROUK Toufik

Intitulé du titre

Spécification, vérification formelle et Implémentation d’un contrôleur de système de climatisation

URL résumé ou version pdf

Num :9
 

Nom & Prénom de l’étudiant

BOUZIANE Asma et BOUHRAOUA R

Date et lieu de soutenance

28 juin 2012 Khenchela

Rapporteur

SIAM Abderrahim

Intitulé du titre

Utilisation de la logique floue pour verifier la validation fonctionnelle des assemblages de composants pour construire des applications à base de composants

1. Conférences nationales

JNIAK’2012 29-30 Avril 2012 Khenchela