Etude Et Vérification De Cohérence Temporelle Des Documents Smil En Utilisant La Logique De Hoare
Résumé: Nos jours, les ordinateurs et l'Internet jouent un rôle très important dans notre vie quotidienne. On assiste à une véritable révolution technologique avec l'explosion des systèmes multimédias et du World Wide Web qui comporte : le téléenseignement, la visioconférence, la publicité, la création des sites web, l'infographie, etc. Il est devenu alors possible de combiner différents médias (son, vidéo, texte, images, animations ...) pour produire des documents plus sophistiqués communément appelés Documents Multimédia (DMM en abrégé). SMIL (Synchronized Multimedia Integration Language) est un standard du World Wide Web Consortium (W3C) créé en 1998 qui permet de spécifier l'organisation spatiale et temporelle des DMM interactifs et synchronisés. En effet, la création des DMM à l'aide du langage SMIL est une tâche difficile et génératrice d'erreurs, en particulier lorsque la structure temporelle d'un document est complexe. C'est pour cela, nous nous sommes intéressés dans ce mémoire à l'étude et à la vérification de cohérence temporelle des documents SMIL en utilisant la logique de Hoare, ce qui contribue à leur production et diffusion.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
