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…

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…

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…

En este trabajo presentamos un paquete que hemos desarrollado para manejar y visualizar reticulados y álgebras de Łukasiewicz finitos. Este provee al investigador matemático herramientas para realizar en forma sencilla cálculos que normalmente conllevan un arduo trabajo. El paquete ha…

El descubrimiento de las Reglas de Asociación es una de las técnicas de Data Mining. Tiene como objetivo buscar patrones interesantes (reglas) para el soporte en los procesos de tomas de decisiones. Las Reglas de Asociación Temporales son aquellas que…

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…

Un datawarehouse es una colección de datos no volátiles, variables en el tiempo y orientado a un tema específico utilizado para tomar decisiones. La necesidad de registrar valores que permitan evaluar tendencias, variaciones, máximos y mínimos, justifican considerar en el…

La información se codifica mediante registros, tuplas para el lenguaje de bases de datos.
Múltiples registros de la misma naturaleza integran una tabla. De este modo surge la visión relacional del proceso de información.
Las tablas de una base de…

El problema de buscar objetos en una base de datos que sean similares a uno dado puede formalizarse por medio del modelo de Espacios Métricos. La mayoría de las soluciones existentes para búsquedas por similitud en espacios métricos suponen que…

Se presenta una síntesis del proyecto Prometeo y los avances logrados durante el año 2008. Se enuncian los antecedentes, características de la heurística usada y los objetivos del software, logros recientes y avances previstos en este año., Eje: Ingeniería de…