Production par auteur

Par équipe
Spécification et Vérification des Systèmes Evaluation des Performances et Qualité de Service Systèmes avec Appels Répétés et Analyse Systèmes basés composants et Analyse

Par année



Par auteur

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  


Production scientifique

Analyzing Negociation in E-commerce Multi Agents System based on FIPA Protocols
TAIBI Meriem, IOUALALEN Malika, Septembre 2013
An Automatic Petri Net Generator for Modeling Multiagent Systems
TAIBI Meriem, IOUALALEN Malika, Novembre 2013
26. Analyzing E-commerce Multi-Agent systems using hierarchical Colored Petri nets
TAIBI Meriem, IOUALALEN Malika, SALMI Nabila, Janvier 2012
Formalisation des SMA par les RdP: Application à l'étude d'un système E-commerce
TAIBI Meriem, Janvier 2011
Distributed Performance Evaluation, Quatrièmes Journées Scientifiques du Laboratoire des Systèmes Informatiques
TAIBI Meriem, Janvier 2010
Distributed Performance Evaluation
TAIBI Meriem, IOUALALEN Malika, BOUKALA Mohand Cherif, Novembre 2010