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…

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…

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…

Using COTS software promises faster time-to-market, which can yield substantial advantages over competitors with regards to earlier placement of a new product on a market. At the same time, component-based software introduces risks, such as unknown quality properties of the…

O presente trabalho busca fornecer, através de exemplo práticos e representações gráficas, uma estrutura capaz de orientar a aplicação de um processo de software. Um dos principais esforços dos pesquisadores envolvidos com a Engenharia de Software tem sido apresentar e…

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…