|
MCSEAI'2002, Annaba - Algeria,
4-6 May
2002
The MCSEAI'02 is the seventh Maghrebian conference related to the software
engineering and the artificial intelligence. It was initially
intended to only two
these fields, that’s why it’s called: the MCSEAI (Maghrebian
Conference on Software Engineering and Artificial Intelligence). But
through the thread of years, this biennial conference enlarged the
themes treated seeing the computer system evolution, and
welcomed a larger
community to participate. It constitutes a forum for researchers,
practitioners and industrials to share their experiences, exchange their ideas, and
strengthen their theoretical knowledge in order to improve and
promote the computer technology practice. It remains the most important
international scientific manifestation in the Maghreb. The previous
editions were held respectively in 1989 at Constantine
(Algeria), 1992 at
Tunis (Tunisia), 1994 at Rabat (Morocco), 1996 at Algiers
(Algeria), 1998 at
Tunis (Tunisia) and
2000 at Fès (Morocco).
This seventh edition will permit to situate the
state of research in the Maghreb, to assess the Maghrebian
contribution through the world and
confront its experience to the contact of the international
scientific community.
While we talk of planetary village and
globalisation, this first edition of the third millennium, will be
certainly the opportunity to make the point of the new technologies
of information and their impact in the Maghreb.
This
Web site assigned to the seventh MCSEAI will include utilities that
will allow us, to create, first,
relations between members of the Maghreb community and then
enhance them. To achieve this goal,
an electronic directory of researchers and spaces of
discussions will be created. We remain open
to any of your suggestions and comments and we are looking
forward to seeing you in Annaba, in May 2002 and make MCSEAI’02 a
success.
|
|
Comité du
Programme/ Program Committee
| Coordination |
| Sellami Mokhtar |
Univ. Annaba,
Algeria |
| Laskri Mohamed Tayeb |
Univ. Annaba,
Algeria |
|
| A. W. McCall John |
Univ. Aberdeen, G.
Bretagne |
| Achour Karim |
CDTA,
Alger |
| Adnan Amin |
Univ. of NSW,
Australie |
| Adel M. Alimi |
Univ. de Sfax, ENIS,
Tunisie |
| Ahmed-Nacer Mohamed |
USTHB, Alger, Algérie |
| Aimeur
Esma |
Univ. de Montréal,
Canada |
| Ait Ameur
Yamine |
ENSAE-SUPAERO,
France |
| Alimazighi
Zahia |
USTHB, Alger,
Algérie |
| Attoui
Amar |
Univ. de Savoie,
France |
| Ayeb Bechir |
Univ Sherbrooke, Canada |
| Babes
Malika |
Univ. annaba,
Algérie |
| Badache Nadjib |
USTHB, Algérie |
| Badri
Mourad |
Univ. Trois-Rivières,
Quebec |
| Barkaoui Kamel |
CNAM, Paris,
France |
| Batouche Mohamed |
Univ.
Constantine, Algérie |
| Beghdadi
Azeddine |
Univ. Paris 13,
France |
| Belhassen Zouari |
Univ. de
Tunis , Tunisie |
| Belkhiter
Nadir |
Univ. Laval, Quebec,
Canada |
| Ben Ahmed
Samir |
FST Tunis,
Tunisie |
| Benali
Khalid |
Univ. Nancy 2-LORIA,
France |
| Benhamaddou Abdelmadjid |
Univ. de
Sfax, Tunisie |
| Benkiran Amine |
EMI, Rabat,
Maroc |
| Bennani
Abdelfdil |
ENSIAS, Rabat,
Maroc |
| Bensebaa
Tahar |
Univ. Annaba,
Algérie |
| Benslimane Djamal |
LISI, Univ de Lyon |
| Bessalah Hamid |
CDTA, Alger , Algérie |
| Bouchaffra
Djamel |
Oakland Univ., USA |
| Boudjlida
Nacer |
LORIA, Nancy1,
France |
| Boufaida
Mahmoud |
Univ. Constantine,
Algérie |
| Boufaida Zizette |
Univ. Constantine,
Algérie |
| Boughanem
Mohand |
IRIT, Toulouse,
France |
| Bouguettaya
Athman |
Univ. Virginia
Tech, USA |
| Boukadoum
Mounir |
Univ. du Québec,
Canada |
| Boukala
Ioualalen |
USTHB,
Algérie |
| Boutaba Raouf |
Waterloo Univ., Canada |
| Bouyakhf
El Houssine |
Univ. Mohammed
V,
Maroc |
| Brunie
Lionel |
INSA Lyon,
France |
| Bsaïes
Khaled |
FST, Tunis, Tunisia |
| Chaib-Draa
Brahim |
Univ. Laval, Québec |
| Cheriet
Mohamed |
Univ. du Québec,
Canada |
| Deriche
Rachid |
INRIA, UR de Sophia,
France |
| Derniame J-C. |
Univ.
de Nancy, France |
| Djeddi Nour
Eddine |
Univ. de Biskra,
Algérie |
| Drias Habiba |
USTHB, Algérie |
| El Iraki
Abdelhamid |
ENIM, Maroc |
| Fayad
Med E. |
Univ.
of
Nebraska-Lincoln |
| Ghorbel Fawzi |
ENSI et CERT Tunis,
Tunisie |
| Guessoum
Zahia |
Paris, LIP6,
France |
| Hammad
Ahmed |
Univ. Franc-Comté,
France |
| Hanachi Chihab, |
Univ. Toulouse, France |
| Harald Kosh |
Univ.
Klagenfurt -
Autriche |
| Haton
Marie-Christine |
Univ. Nancy 1,
France |
| Henni
Abderrezak |
INI, Oued Smar,
Alger |
| Hocine Amrane |
Univ. de Pau, France |
| Karmouch
Ahmed |
Univ. of
Ottawa, Canada |
| Khammaci
Tahar |
Univ. de Nantes, France |
| Khelalfa
Halim |
CERIST,
Algerie |
|
Kholladi
Md-Khireddine |
Univ.
Constantine |
| Knippel J.
M. |
Univ. of Provence, France |
| Lalam
Mustapha |
Univ. Tizi-Ouzou,
Algérie |
| Mansour
Nashat |
American Univ., Liban |
| Mehaoua
Ahmed |
Univ. de Versailles -
France |
| Meknassi
Mohamed |
Fac des Sciences, Fès, Maroc |
| Merouani Hayett |
Université Annaba, Algérie |
| Mezghiche Mohamed |
Univ.
Boumerdés |
| Mili Ali |
West Virginia Univ., USA |
| Mohamed
Jmaiel |
ENI, Sfax,
Tunisie |
| Mokhtari-Aissani
Aïcha |
USTHB, Alger,
Algérie |
| Mouaddib
Noureddine |
Univ. Nantes, France |
| Mouradi
Abdelhak |
Mohammed V Souissi,
Maroc |
| Ounelli Habib |
FST Tunis,
Tunisie |
| Oussalah
Mourad |
Univ. de Nantes, France |
| Perennou
Guy |
IRIT, Toulouse,
France |
| Rahmoun
Abdellatif |
Univ. Sidi Bel-Abbes,
Algérie |
| Robbana
Riadh |
Ecole Polytechnique de
Tunisie |
| Rusinowich Michael |
Loria Nancy, France |
| Sadeg Bruno |
LIH, Université du Havre |
| Sahnoun Zaidi |
Univ. Constantine,
Algérie |
| Slaoui
Said |
Fac Sciences Rabat,
Maroc |
| Slimani
Yahya |
Tunis El Manar,
Tunisie |
| Smaïli Kamel |
LORIA (Nancy),
France |
| Tabbone S. |
LORIA UMR 7503,
France |
| Vigouroux
Nadine |
IRIT, Toulouse,
France |
| Vincent
Nicole |
Univ. de Tours ,
France |
| Zakaria Maamar |
Zayed Univ. - Dubai |
| Zarhouni Noureddine |
Univ. De
Besançon |
| Ziou
Djemel |
Univ. Sherbrooke,
Canada |
|
|
|
|
Conférences
Programme: Sunday May 5, 2002 /
Dimanche 5 Mai 2002
|
Advanced formation / Formation
avancée
Salle Kahina - Hôtel International
Seybouze
Theme: Multiagents models / Modèles
multiagents
Dr
GUESSOUM
Zahia
,
Maître de Conférences en Informatique
Laboratoire
d'Informatique de Paris 6 (LIP6), |
| 10h00 -
12h00 |
Introduction
aux Systèmes multiagents |
| 14h00 -
15h30 |
Architectures
et Modèles de coordination |
| 16h00 -
17h30 |
Agents et
Systèmes multiagents adaptatifs |
Programme: Monday May 6, 2002 /
Lundi 6 Mai 2002
|
| 08h15 -
09h30 |
Registration /
Accueil des participants |
| 09h30 -
10h30 |
Opening
Ceremony / Cérémonie d'ouverture |
| 10h30 - 12h30 |
Invited lecture / Conférence
Invitée
Theme: Agent et systèmes
multiagents
Pr CHAIB-DRAA Brahim,
Département Informatique, Université
Laval, Canada |
| 12h30 - 14h00 |
Lunch / Déjeuner |
|
SESSION-1: Salle: La
Kahina
GL1
|
| 14h00 - 15h30 |
Parallel programming using
skeletons
RABHI
F. A, BENABDALLAH B.,
School of information systems University of New South
Wales, Sydney , Australia |
Symbolic model checking using rewriting
logic
BOURAHLA
M., BENMOHAMED
M., Department of computer science, university
of Biskra,BP 145, Biskra,
Algeria |
Improving the commit protocol process for distributed
real-time transactions
SADEG B., HAUBERT J.,
LIH, Faculté des
Sciences et Techniques du Havre, 25 rue Philippe Lebon, 76
600 Le Havre, FRANCE |
Interfaces Homme-Machine : du langage C à la
programmation fonctionnelle
El AMRANI Y.,
GCSM, Faculté des
Sciences de Rabat Université Mohamed V Rabat,
Maroc |
SESSION-1: Salle:
Nefertiti
TWEB1 |
| 14h00 - 15h30 |
Web Engineering: A New Discipline for Building
Web-Based Applications,
HADJEROUIT Said,
Agder University College,
Kristiansand, Norway |
Contribution
a la détection d’intrus
BELKHIR A., BELKHIRAT A.,
ADDA M., GUERROUT F. , USTHB -
Alger |
Plate-forme
de fourniture de services pour les environnements
mobiles,
FOUIAL
O., BOUKHATEM N. , DEMEURE I. ,
Ecole Nationale Supérieure des Télécommunications,
Paris France |
Conception
d’un Système d’Assistance à la Navigation et à l’Apprentissage
sur Internet - SANA,
A. HERROUZ,
Département des Maths & Informatique Faculté des
Sciences & Ingénieurs Université de
Ouargla |
SESSION-1: Salle:
Diane
RF1 |
| 14h00 - 15h30 |
Un
modèle syntactico-prosodique pour la synthèse de la parole à
partir du texte en arabe standard voyellé
BALOUL Sofiane, Laboratoire d’Informatique de
l’Université du Maine Le Mans -
FRANCE |
Reconnaissance automatique
des phonèmes arabes dans la parole continue
ABBAS M., DEBYECHE M.
C.R.S.T.D.L.A.
, Alger, Algérie |
Reconnaissance de la parole à l’aide de modèles de
Markov cachés
KHABET S,
Equipe Media 2000 Parole, Institut National d’Informatique,
INI – Oued Smar - Alger |
Proposition d’une
architecture d’un système hybride HMM/PMC pour la
reconnaissance de la parole arabe
LAZLI L., SELLAMI
M., Laboratoire LRI, Département d'Informatique,
Université Annaba, Algérie |
| 15h30 - 16h00 |
Coffee break /
Pause-café |
SESSION-2: Salle: La
Kahina
GL2 |
| 16h00 - 18h00 |
Generalization of modular specifications
SADAOUI
S., Dept of Math & Computer
Sciences, University
Drive, Lethbridge, Canada |
Optimisation
du coût de la vérification dans les systèmes
temporisés
KLOUCHE-DJEDID A.,
BOURENANE M., Département
Informatique - Université d’Oran,
Algérie |
De la
spécification B vers les diagrammes d’états-transitions
UML
Hammad
A., Tatibouët B., Voisinet
J.C.
Laboratoire d’Informatique de l’université de
Franche-Comté L.I.F.C16, route de Gray 25030 Besançon-cedex,
France |
Automatic
synthesis of behavioral object specifications from UML
scenarios
ELKOUTBI
M., KHRISS I., KELLER R. K., BENNANI M.,
École Nationale Supérieure d’Informatique et d’analyse
des Systèmes ENSIAS, Rabat,
Maroc |
SESSION-2: Salle:
Nefertiti
TWEB2 |
| 16h00 - 18h00 |
Repository de
documents XML : modélisation et recherche d’informations
pertinentes
SMADHI
S.,
LO
M.,
HOCINE A. , Laboratoire
d’Informatique
Faculté des Sciences et Techniques
Université de Pau ,
France |
Environnement
auteur pour la production de cours hypermédias adaptatifs sur
le Web
BENTALEB
Z., BELGASMI Y., BENKIRAN A., AIHOUN R. RIM,
Ecole Mohammadia des Ingénieurs Rabat, Maroc
|
Architectures
d’échange et de partage de l’information via le web pour
les applications “supplychain” , BOURAS
A. , OUZROUT Y., ALLOMBERT S., El Beqqali O., Sapidis N.
S.
CERRAL/PRISMa,Université
Lyon 2 – IUT Lumière, Bron
France |
Un modèle
d'interaction de services pour la coopération des
procédés
BAINA K., TATA S., BENALI K.
LORIA-INRIA-CNRS-UMR7503
Vandoeuvre-lès-Nancy,
France
|
SESSION-2: Salle: Diane
RF2 |
| 16h00 - 18h00 |
Combining Positive and Negative Examples in
Content-Based Image Retrieval
M.
L. KHERFI, D. ZIOU, CoRIMedia, Faculté des
sciences, Université de Sherbrooke,
Qc,
Canada J1K
2R1. |
Un
système multi-classifieurs neuronaux à combinaison floue
pour la reconnaissance de l’écriture arabe manuscrite
AZIZI N., SARI T., SOUICI L., SELLAMI M. ,
Laboratoire LRI,
Département d'Informatique,
Université Annaba,
Algérie |
A
method for detecting objects using legendre
transform
CARON Y., MAKRIS P., VINCENT N.,
Labo Recherche –
Université de Tours, France
|
Optimisation par les colonies de fourmis pour la
segmentation des images
S. OUADFEL,
Département Informatique , Université de Batna.
Algérie |
| 18h00 - 19h00 |
Free Listening session /
Session d'écoute libre |
Programme: Tuesday May 7, 2002 / Mardi
7 Mai 2002
|
| 08h15 - 08h30 |
Registration / Accueil
des participants |
| 08h30 - 10h30 |
Invited
lecture / Conférence Invitée
Theme: Application of
Artificial intelligence to software
engineering
Houari Sahraoui
1 and
Mounir
Boukadoum 2
1Université de Montréal (Canada),
2Université du Québec à Montréal
(Canada) |
| 10h30 - 11h00 |
Coffee break /
Pause-café |
SESSION-3: Salle: La
Kahina
GL3 |
| 11h00 - 12h30 |
Object-oriented virtual memory paging on computer
clusters
FELLAH A., DJEBBAR M.,
Dpt of Maths and
Computer Science
University of Lethbridge,
Canada |
An integrated approach for specifying real-time
scenarios
using
generative sequence diagrams
KIMOUR
M. T., BENDELLOUL M. S., Laboratory
of Research on Informatics (LRI), University of Annaba,
Algeria |
| Un
environnement de recherche et d’intégration de composant
logiciel KHEMAKHEM S., JMAIEL
M., BENHAMADOU A., DRIRA K., Laboratoire LARIS,
Faculté des Sciences de Gestion de Sfax, Tunisie |
Un modèle
pour la synchronisation des modules réactifs
répartis,
ROMADI R. BOUNABAT B., Equipe IHM/GL ;
ENSIAS, université Med V, Rabat-
Maroc |
SESSION-3: Salle:
Nefertiti
SI-BD1 |
| 11h00 - 12h30 |
Une Architecture à Base de Médiateurs pour la Gestion
de Compétences
N. BOUDJLIDA,
LORIA, UHP Nancy 1, Campus scientifique,
Vandœuvre Lès Nancy |
Toward a model for understanding cooperative-work in developing information
systems
BENDOUKHA
L., Hamburg
University, Computer Science Department , Hamburg, Germany |
Coopetitive
multi-enterprise process modelling:
principles and guidelines on reports
P.
CANALDA,
Laboratoire d’Informatique de Université de Franche-Comté,
Montbéliard, France |
| UML class diagram fusion
HADDAR N., Gargouri F., Ben Hamadou A.,
Département d’Informatique, Laboratoire LARIS,
Faculté des Sciences Gestion de Sfax,
Tunisie |
| 12h30 - 14h00 |
Lunch / Déjeuner |
| 14h00 - 16h00 |
Invited lecture / Conférence
Invitée
Theme: "De la technologie Bases de données à la
technologie Web"
Pr
Nacer Boudjlida
Université Henri Poincaré Nancy 1
LORIA, UMR
7503 |
| 16h00-18h00 |
Listening session /
Session d'écoute |
| 20h00- .. |
Diner Gala |
Programme: Wednesday May 8, 2002 /
Mercredi 8 Mai 2002
|
| 08h15 - 08h30 |
Registration / Accueil
des participants |
| 08h30 - 10h30 |
Invited lecture / Conférence Invitée
Theme:
Network Architectures for the
Internet
Pr Boutaba Raouf*, Mehaoua
Ahmed**
*)
Waterloo University, Canada
**) Université de
Versailles - France |
| 10h30 - 11h00 |
Coffee break / Pause-café |
SESSION-4: Salle: La
Kahina
GL4 |
| 11h00 - 12h30 |
Inductive Theorem Prover Based Verification of
Concurrent Algorithms IMINE A., SLIMANI Y.,
STRATULAT S.
Dépt. Informatique -
Faculté des Sciences, USTO, Oran, Algérie
|
| A bottom-up
framework design method BOUASSIDA N., BEN-ABDALLAH H.,
GARGOUR F. , Département
d’Informatique, Laboratoire LARIS, Faculté des Sciences
Gestion de Sfax, Tunisie
|
Formalisation
de ramasse-miettes pour les langages d’acteurs
DOUZI
K., EL-FAKER
A. , Univ. Hassan
II Mohammedia, Maroc
|
MORE 2 P : un
modèle de représentation et de recherche de patterns orientés
objets
OUSSALAH M. , KHAMMACI T., GIUSEPPIN B. ,
IRIN, Université de
Nantes, France |
SESSION-4: Salle: Nefertiti
IA1 |
| 11h00 - 12h30 |
Dynamic
temporal constraint satisfaction for scheduling and planning
MOUHOUB M., YIP J.
Department of Math &
Computer Science, Lethbridge,
Canada |
Modélisation des systèmes
de contrôle intégrant la réalité virtuelle
YESSAD A., BENSEBAA T. ,
Département
d’informatique, Université d’Annaba,
Algérie |
Jointure de deux
quadriques par une surface à base de courbes
Hermitiennes,
GARNIER L.,
FOUFOU S., NEVEU M. , Equipe Synthèse
d’Images - LE2i UFR Sciences, Université de Bourgogne,
Dijon France |
Rebuilding
Huffman Trees in Linear Time
ARAFAT S. M., BELAL A.
A., SELIM M. S.
, Department
of Computer Science & Automatic Control - University of
Alexandria, Egypt |
| 12h30 - 14h00 |
Lunch / Déjeuner |
|
SESSION-5: Salle: La
Kahina
SI-BD2
|
| 14h00 - 16h00 |
Un modèle de projet et une
mémoire de projet pour l’aide à l’élaboration de cahiers de
charges au sein de
SONATRACH TRC
BENFERHAT R., BOUKRAA
D., ADMANE L.,Institut National
d’Informatique, INI – Oued Smar – Alger,
Algérie |
| Amélioration continue des
systèmes de production : Approches et Architecture
SEKLOULI A., GIEN D., BOURAS A., OUZROUT Y. ,
LIMOS/IFMA
Université Blaise Pascal-
Institut Français de Mécanique Avancée - Campus des Cézeaux,
BP 265 – F63175 Aubière,
France |
Base de données en
maintenance industrielle et Accès distant
OULEBSIR BOUMGHAR F., BOUZIRI M., SENTOUH
C , Equipe ParIMéd
Laboratoire
Robotique Parallélisme et Energétique de U.S.T.H.B. Alger
Algérie |
Un Système à
Base de Connaissances Neuro-Flou pour la Gestion du
Trafic d’un réseau local
BELLAFKIH
M., IDRISSI KAITOUNI. B. ELHEBIL F., RAMDANI M.
, Institut
National des Postes et Télécom. (INPT), Rabat,
MAROC |
Une approche méthodologique pour la conception de
systèmes d'information
Laïd
BOUZIDI , IAE - Université Jean Moulin Lyon,
France |
SESSION-5: Salle:
Nefertiti
IA2 |
| 14h00-16h00 |
Vers un
modèle de communication inter-agents
KHERISSI
F., LASKRI
M.
T. , GRIA – Département
d’Informatique Faculté des Sciences – Université de Annaba,
Algérie |
Une
approche multi-agents pour l’analyse syntaxique de la
langue arabe (application à la théorie
Néo-khalilienne)
FERFERA S. ,
C.R.S.T.D.L.A
Laboratoire
de traitement automatique de la langue, Alger,
Algérie |
Modèle
d'Agent pour la Coopération de Systèmes de Supervision
NEDJARI M.S , Laboratoire
de Robotique et d’Intelligence Artificielle, CDTA,
Baba Hassen, Algérie |
Artificial
neural networks for discrimination of visual evoked
potentials
MGHARI A. , REGRAOUI F. ,
BOUYAKHF E.H., Université Moulay Ismail,
faculté des sciences et techniques, Errachidia -
Maroc |
Student
modeling in Wbits: Review of the available
techniques.
KOSBA E. M., Arab Academy for Science
and Technology - Egypt |
| 16h00-16h15 |
Closing session / Session de
clôture |
|
LRI - Laboratoire de Recherche en
Informatique
Département d'Informatique - Université de
Annaba
BP 12 - 23000 - Annaba - Algérie
Tel & fax:
213 38 87 29 91 - Fax: 213 38 87 29 04
Département
informatique: Tel & Fax: 213 38 87 27
56
|
|
|
ORGANISATION
|
|
| |