A partir de cette page vous pouvez :
Retourner au premier Ă©cran avec les Ă©tagĂšres virtuelles... |
RĂ©sultat de la recherche
1 rĂ©sultat(s) recherche sur le mot-clĂ© 'Gestion et contrôle de conférence, Description formelle, Vérification, Mécanismes de réalisation, J MF, Platine.'
Affiner la recherche Faire une suggestion
Formalisation et implémentation de protocoles de gestion et de contrÎle dans un systÚme de vidéo conférence sur internet / Ouzzif Mohammed
Titre : Formalisation et implémentation de protocoles de gestion et de contrÎle dans un systÚme de vidéo conférence sur internet Type de document : thÚse Auteurs : Ouzzif Mohammed, Auteur Année de publication : 2005 Langues : Français (fre) Catégories : Informatique Mots-clés : Gestion et contrÎle de conférence, Description formelle, Vérification, Mécanismes
de rĂ©alisation, J MF, Platine.Index. dĂ©cimale : Doct/43 RĂ©sumĂ© : Le développement conjoint de la technologie multimédia et des réseaux informatiques a
permis l'émergence des systèmes de téléconférence multimédia (MMTS pour Multt Media
Teleconferencing System). Ces systèmes permettent à des personnes géographiquement éloignées
de se voir, communiquer et travailler sur des objets partagés. Un système de téléconférence
comporte généralement deux composantes principales. La première composante permet la mise
en place d'une téléconférence. La deuxième composante contrôle son déroulement. Plusieurs
travaux ont été proposés dans ce sens. Toutefois, peu de travaux s'intéressent à la description
formelle d'un système de téléconférence selon des politiques de gestion et de contrôle, à la
vérification de propriétés attendues de tels systèmes et à l'élaboration de mécanismes
implémentant le contrôle de leur déroulement.
Dans ce travail, nous proposons une nouvelle architecture de gestion et de contrôle de
conférence. Nous spécifions ensuite le comportement relatif à la composante de gestion et de
contrôle du déroulement de la conférence à l'aide du formalisme'd 'états finis. Ceci nous permet
d'aboutir à des descriptions claires, exactes et vérifiables. Nous identifions ainsi des propriétés
temporelles exprimant des besoins attendus des systèmes spécifiés, que nous vérifions à l'aide de
l'outil Promela/Spin. Pour l'implémentation de ces spécifications, nous adoptons des
mécanismes basés sur des algorithmes d'exclusion mutuelle distribués que nous améliorons pour
le support de l'insertion et la suppression dynamique de participants. Ces mécanismes servent de
base pour la réalisation des systèmes de téléconférence spécifiés. Ces implémentations sont
effectués à l'aide de Java et JMF ou en utilisant des environnement de visioconférence existant
tel que Platine.
Formalisation et implémentation de protocoles de gestion et de contrÎle dans un systÚme de vidéo conférence sur internet [thÚse] / Ouzzif Mohammed, Auteur . - 2005.
Langues : Français (fre)
Catégories : Informatique Mots-clés : Gestion et contrÎle de conférence, Description formelle, Vérification, Mécanismes
de rĂ©alisation, J MF, Platine.Index. dĂ©cimale : Doct/43 RĂ©sumĂ© : Le développement conjoint de la technologie multimédia et des réseaux informatiques a
permis l'émergence des systèmes de téléconférence multimédia (MMTS pour Multt Media
Teleconferencing System). Ces systèmes permettent à des personnes géographiquement éloignées
de se voir, communiquer et travailler sur des objets partagés. Un système de téléconférence
comporte généralement deux composantes principales. La première composante permet la mise
en place d'une téléconférence. La deuxième composante contrôle son déroulement. Plusieurs
travaux ont été proposés dans ce sens. Toutefois, peu de travaux s'intéressent à la description
formelle d'un système de téléconférence selon des politiques de gestion et de contrôle, à la
vérification de propriétés attendues de tels systèmes et à l'élaboration de mécanismes
implémentant le contrôle de leur déroulement.
Dans ce travail, nous proposons une nouvelle architecture de gestion et de contrôle de
conférence. Nous spécifions ensuite le comportement relatif à la composante de gestion et de
contrôle du déroulement de la conférence à l'aide du formalisme'd 'états finis. Ceci nous permet
d'aboutir à des descriptions claires, exactes et vérifiables. Nous identifions ainsi des propriétés
temporelles exprimant des besoins attendus des systèmes spécifiés, que nous vérifions à l'aide de
l'outil Promela/Spin. Pour l'implémentation de ces spécifications, nous adoptons des
mécanismes basés sur des algorithmes d'exclusion mutuelle distribués que nous améliorons pour
le support de l'insertion et la suppression dynamique de participants. Ces mécanismes servent de
base pour la réalisation des systèmes de téléconférence spécifiés. Ces implémentations sont
effectués à l'aide de Java et JMF ou en utilisant des environnement de visioconférence existant
tel que Platine.
RĂ©servation
RĂ©server ce document
Exemplaires
Code barre Cote Support Localisation Section DisponibilitĂ© Doct/43 Doc/43 OUZ Texte imprimé unité des thèses UFR Doctorat Disponible