Search

Filters

Use filters to refine the search results.

Now showing items 31-40 of 91

Sur le raisonnement qualitatif; une approche à base d'agents dialogiques pour l'explication de la simulation qualitative

Zaidi Sahnoune; Laraba Mohamed El Habib (2017-01-01)
Intégration des ressources Web dans un environnement P2P, basée sur les ontoloigies et la gestion de la confiance

Djaghèoul Younes; Boufaida Zizette (2017-01-01)
Incrustation d'objets virtuels dans les séquences vidéo pour la réalité augmentée temps réel

Chikhi Salim; Bouzenada Mourad (2017-01-01)
Développement des outils basés Maude pour les ECATNets.Domaine d'applicationAnalyse des programmes Ada

Chaoui Allaoua; Boudiaf Noura (2017-01-01)
Mise en oeuvre de la confiance et de l'adaptabilité pour la protection de l'agent mobile

Hacini Salima; Boufaida Zizette (2017-01-01)
Définition d'un langage de spécification formelle basé sur les ECATNets

Zeghib Nadia; Bettaz M. (2017-01-01)
Reconnaissance de formes par les systèmes auto-organisés

Kholladi M.K.; Mazouzi Smaine (2017-01-01)
Contribution à la coopération dans les systèmes d'information basés WEB.

Brahimi, Mahmoud; Boufiada, Mahmoud (Université Frères Mentouri - Constantine 1, 2010-01-01)
Modélisation et vérification des processus métiers dans les entreprises virtuellesune approche basée sur la transformation de graphes

Elmansouri Raida; Boufaida Zizette (2017-01-01)
Méthodologie de vérification formelle pour les microarchitectures RISC.Approche fonctionnelle

Benmohammed M.; Merniz Salah (2017-01-01)

Now showing items 31-40 of 91