{"id":59130,"date":"2018-03-09T22:46:59","date_gmt":"2018-03-09T22:46:59","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/description-and-verification-of-multimedia-systems-and-web-services-with-time-constraints\/"},"modified":"2018-03-09T22:46:59","modified_gmt":"2018-03-09T22:46:59","slug":"description-and-verification-of-multimedia-systems-and-web-services-with-time-constraints","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/description-and-verification-of-multimedia-systems-and-web-services-with-time-constraints\/","title":{"rendered":"Description and verification of multimedia systems and web services with time constraints"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Mar\u00eda  Emilia Cambronero Piqueras <\/strong><\/h2>\n<p>Esta tesis aborda el an\u00e1lisis de diversos sistemas de tiempo real utilizando para ello m\u00e9todos formales, en concreto, usamos aut\u00f3matas temporizados para dicho prop\u00f3sito. en primer lugar, se estudia la paralelizaci\u00f3n del algoritmo de compresi\u00f3n de v\u00eddeo mpeg-2, realizando una comparativa entre los resultados obtenidos con las versiones secuencial y paralela, y analizando as\u00ed, la potencial mejora obtenida con la versi\u00f3n paralela. por otro lado, en los \u00faltimos tiempos internet ha experimentado un gran cambio, apareciendo nuevos lenguajes y nuevas tecnolog\u00edas, como xml, el desarrollo basado en componentes, los servicios web, etc. Esto ha derivado en el surgimiento de un nuevo campo en ingenier\u00eda del software, llamado ingenier\u00eda web. En esta tesis nos centramos en el estudio de los servicios web, los cuales son uno de los elementos m\u00e1s importantes en el \u00e1rea de los sistemas de informaci\u00f3n web (wis), presentamos una metodolog\u00eda para el modelado y verificaci\u00f3n de servicios web, as\u00ed como la herramienta que la implementa. los servicios web cubren un gran conjunto de sistemas, y se pueden considerar un paso evolutivo en el dise\u00f1o de aplicaciones distribuidas. La verificaci\u00f3n de propiedades en estos sistemas puede ser de gran importancia, ya que algunos negocios dependen de ellos, as\u00ed como el an\u00e1lisis para dar posibles soluciones a los problemas encontrados. en esta tesis utilizamos m\u00e9todos formales, que permiten dar una descripci\u00f3n de los sistemas a desarrollar a cualquier nivel de detalle; esta descripci\u00f3n pude ser usada para verificar que los requerimientos de los sistemas en desarrollo han sido especificados de una manera completa y adecuada. En este caso, usamos \u00abmodel checking\u00bb para llevar a cabo el an\u00e1lisis de estos sistemas. por otro lado, la mayor\u00eda de los lenguajes utilizados para implementar estos servicios web est\u00e1n basados en xml, que puede ser muy complicado de utilizar para desarrolladores que no sean expertos en dicho lenguaje.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Description and verification of multimedia systems and web services with time constraints<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Description and verification of multimedia systems and web services with time constraints <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Mar\u00eda  Emilia Cambronero Piqueras <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Castilla-la mancha<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 19\/06\/2007<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Valentin Valero Ruiz<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: fernando Cuartero gomez <\/li>\n<li>Manuel Nu\u00f1ez garcia (vocal)<\/li>\n<li>p. Ravn anders (vocal)<\/li>\n<li>Mar\u00eda  del mar Gallardo melgarejo (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Mar\u00eda Emilia Cambronero Piqueras Esta tesis aborda el an\u00e1lisis de diversos sistemas de tiempo real utilizando para [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[18451,1890,126],"tags":[5510,39796,77041,130652,130653,54644],"class_list":["post-59130","post","type-post","status-publish","format-standard","hentry","category-castilla-la-mancha","category-ciencia-de-los-ordenadores","category-matematicas","tag-fernando-cuartero-gomez","tag-manuel-nunez-garcia","tag-maria-del-mar-gallardo-melgarejo","tag-maria-emilia-cambronero-piqueras","tag-p-ravn-anders","tag-valentin-valero-ruiz"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/59130","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=59130"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/59130\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=59130"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=59130"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=59130"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}