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…

El software de simulación es una herramienta de gran ayuda en diversas disciplinas. En este caso, se plantea la simulación de métodos de recolección y registro de información arqueológica. El software implementa un modelo definido y genera información estadística, utilizada…

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…

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…

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 presente trabajo tiene por objeto profundizar en la temática de la imputación de datos faltantes en base de datos con operadores de la mayoría MA-OWA, como técnica de imputación.
Se parte de una base de datos completa simulando pérdida…

Recientemente ha sido propuesto un nuevo modelo de bases de datos, las bases de datos métrico-temporales, que utiliza conceptos de espacios métricos para realizar eficientemente consultas por similitud, y de bases de datos temporales para permitir almacenar y recuperar eficientemente…