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…

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…

El presente trabajo describe brevemente el proyecto TecnoDB, iniciado en el año 2002, con acreditación de las Secretaria de Ciencia y Técnica de la Utn desde 2004 y finalizado en Diciembre de 2005. De ese proyecto se generó un grupo…

En el contexto de bases de datos, el concepto de preservacióon de teorí as en una cierta l ógica y entre dos estructuras relacionales A y B dadas, signi fica que el conjunto de consultas Booleanas que son expresables en…

El sistema de ayuda de la plataforma Eclipse1 define puntos de extensión con los cuales podemos contribuir.
Uno de los aspectos menos documentados es la producción de ayuda en forma dinámica. En este artículo trataremos el uso del punto de…

En este trabajo presentamos la implementación de componentes para un plug-in de Eclipse que permite la visualización del Modelo de Byrd de depuración de programas lógicos sobre el código fuente de los programas. La depuración en el código fuente es…

Se presenta un modelo de simulación del proceso de transformación lluvia-caudal. El sistema permite elegir el mejor conjunto de algoritmos en cada fase del proceso, en función de la información disponible.
Se diseñó y desarrolló el sistema computacional, programando los…