• Les réseaux de pétri transactionnels (TPNs) , un cadre sémantique des activités dans UML2 

  Belala Faiza; Boufenara Sabine (2017-01-01)
• Une approche basée objectif pour la gestion des processus métier flexibles 

  Fedjkhi (NéeBentellis) Adla; Boufaida Zizette (2017-01-01)
• Définition dénotationnelle de A.R.L 

  Forrand Ph.; Habbas née Talantikit Zineb (2017-01-01)
• Approche basée sur deux modèles de spécification algèbrique des systèmes concurrents 

  Bettaz Mohamed; Alouk née Choutri A?cha (2017-01-01)
• Implementation of image processing algorithms on a multi-transputer system 

  Benlamri Rachid; Ritchings R.T. (2017-01-01)
• Compression des données 

  Bergeron Jean; Rezzik Chabane (2017-01-01)
• A Structure editor for the top down development of pascal programs by strepwise refinement 

  Benrachi Baya; Mcintyre H.A.J. (Université Frères Mentouri - Constantine 1, 1987-01-01)
• Numerical methods for solving dimensional problems with a moving boundary 

  Boureghda Abdellatif; Gilles Denis C. (Université Frères Mentouri - Constantine 1, 1988-09)
• Exploration multi-robots dans des environnements partiellement connus 

  Benmohamed Mohamed; Kadi Soheib (Université Frères Mentouri - Constantine 1, 2017-01-01)
• Algorithmes de model checker opérant sur les DATA*(Durational Action Timed Automata) 

  Boumaza Amel; Saidouni Djamel-Eddine (Université Frères Mentouri - Constantine 1, 2017-01-01)
• Convention sociale dans les SMAs analyse, Modélisation et simulation 

  Maamri Ramdane; Achichi Boubakeur (Université Frères Mentouri - Constantine 1, 2017-01-01)
• Une approche d'annotation sémantique à partir d'une ontologie multi-points de vue 

  Boufaida Zizette; Djama Ouahiba (2017-01-01)
• Approche mixte de modélisation par les réseaux de Petri et SMA 

  Zaghib Nadia; Haiouni Houda (2017-01-01)
• Prise en compte de la notion de flou pour la représentation d'ontologies multi-points de vue en logique de descriptions 

  Djellal Asma; Boufaida Zizette (2017-01-01)
• Atelier de génie logiciel à base d'agents 

  Abderrezak Samira; Maamri R. (2017-01-01)
• Approche basée sur deux modèles de spécification algébrique des systèmes concurrents 

  Alouk (Née Choutri) A?cha; Bettaz Mohamed (2017-01-01)
• Un système d'aide au diagnostic médical dans un environnement temps-réel et critique 

  Saidouni J.E.; Saidane Nadjoua (2017-01-01)
• Conversion des requêtes en langage naturel vers nRQL 

  Boumechaal Hasna; Boufaida Zizette (2017-01-01)
• Contribution à la reconnaissance automatique de l'écriture manuscrite arabe, application sur les montants littéraux des chèques 

  Benmohammed M.; Bougamouza Fateh (2017-01-01)
• Une approche de transformation de la notation BPMN vers BPEL basée sur la transformation de graphe 

  Kholladi Mohamed Naoufel; Chaoui Allaoua (2017-01-01)

View more