Typed assembly languages have the goal of providing security guarantees, for example, for the limited use of resources in a host machine or the detection of autoupdate code. This work presents a simple typed assembly language which allows us to…

Las Bases de Datos Espacio-Temporales permiten almacenar y consultar los cambios de posición, forma y/o tamaño de objetos a lo largo del tiempo.
Para responder muchas consultas que involucran predicados espacio-temporales, es fundamental contar con métodos de acceso que permitan…

Este documento resume el trabajo de investigación desarrollado en el área de Web Semántica y Resolución Colaborativa de Problemas en Comunidades de Práctica Virtuales. En el documento se introducen los conceptos relevantes del área -Comunidades de Práctica Virtuales, Resolución Colaborativa…

En este trabajo se propone la especificación de un mecanismo de coordinación de agentes, los cuales definen un sistema de gestión de eventos autónomo. Esta especificación se lleva a cabo mediante la definición de los procesos de negociación que se…

La lingüística computacional es la ciencia que trata de la aplicación de los métodos computacionales en el estudio del lenguaje natural (Gelbukh and Bolshakov, 1999). El objetivo más importante es la comprensión del lenguaje, es decir, la transformación del lenguaje…

En una comunidad tan amplia como la universitaria, la necesidad de que la información fluya y sea accesible por todos sus miembros es tan importante como que dicha información mantenga su validez e integridad.
Con la propuesta de utilizar la…

El presente proyecto contempla los siguientes aspectos; i) el empleo para la construcción de software del paradigma del Tríptico de la Ingeniería del Software, compuesto por la Ingeniería del Dominio, Ingeniería de Requisitos y el Diseño del Software, ii) el…

Por varios años los Sistemas de Información Geográfico (SIG) avanzaron independientemente definiendo sus propios modelos de representación que se ajustaran a un problema particular. Actualmente se necesita dar respuesta al requerimiento de integrar datos de orígenes dispares y, en el…

En la actualidad la forma de trabajo en la mayoría de las organizaciones ha cambiado a un modo colaborativo. Por esta razón han surgido sistemas que permiten la gestión de contenidos a través de la web. Estos sistemas, que se…

UML es un lenguaje de representación de amplio propósito general, el cual para tal fin cuenta con vocabulario gráfico. En algunos casos cuando se quiere modelar un tipo de aplicación particular el vocabulario gráfico de UML resulta ser muy reducido.…