Please use this identifier to cite or link to this item: http://dspace.univ-guelma.dz/jspui/handle/123456789/457
Full metadata record
DC FieldValueLanguage
dc.contributor.authorZelit, Saoussan-
dc.date.accessioned2018-07-09T12:43:30Z-
dc.date.available2018-07-09T12:43:30Z-
dc.date.issued2008-
dc.identifier.urihttp://dspace.univ-guelma.dz:8080/xmlui/handle/123456789/457-
dc.description.abstractDans ces dernières années, on assiste à l'accroissement spectaculaire des réseaux, l'émergence des systèmes distribués et d'Internet en particulier. Les systèmes d'agents et en particulier les systèmes d'agents mobiles, qui sortent à peine des laboratoires, montrent des potentialités intéressantes par leur flexibilité, adaptations et réduction de la charge des réseaux à grande échelle. Les agents mobiles sont une forte abstraction pour la conception des systèmes complexes répartis. Ils peuvent exhiber la majorité des attributs des agents comme l'intelligence, l'autonomie, l'adaptabilité, et la sociabilité et ils peuvent aussi se déplacer vers d'autres ordinateurs pour bénéficier de la performance des interactions locales. Dans ce mémoire on a présenté une approche formelle et intuitive pour la modélisation du comportement des agents mobiles basée sur les ECATNets, qui sont une catégorie de réseau de Petri de haut niveau. Les ECATNets exploitent les forces des types abstraits algébriques qui permettent de décrire abstraitement les données, et leur sémantique est définie en termes de la logique de réécriture qui offre une base solide et rigoureuse pour toute démarche de vérification. Pour bien illustrer les apports des ECATNets dans la modélisation des agents mobiles, on a démontré l'approche proposée par la modélisation d'un système d'administration à distance des Firewalls basée sur le paradigme d'agents mobiles.en_US
dc.language.isofren_US
dc.subjectModélisation.système d'agent mobile.ECATNetsen_US
dc.titleModélisation d'un système d'agent mobile par les ECATNetsen_US
dc.typeThesisen_US
Appears in Collections:Magister

Files in This Item:
File Description SizeFormat 
Modélisation d'un système d'agents mobiles par les ECATNets.pdf948,78 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.