En este artículo se presenta un análisis de los frameworks Brainstorm/J y Framas desarrollados en el Instituto de Sistemas ISIST AN. El análisis tiene como objetivo determinar las ventajas y las limitaciones de cada uno de ellos en el desarrollo…

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 presenta un nuevo algoritmo para el reconocimiento automático de rostros Eigenfaces de Imagen Reducida basado en el modelo Eigenfaces buscando mejorar el porcentaje de reconocimiento.
Se desarrollaron dos algoritmos diferentes del método original de Eigenfaces para…

We present point slicing, a new slicing technique for imperative programs that gives an answer to the question Which sentences can be executed if sentence p is executed?, very common in program testing, debugging, and understanding tasks and, as far…

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…

O artigo tem como proposta aplicar os conceitos de extração de dados para aumentar o conhecimento sobre o custo do processo produtivo de Empresas Virtuais. Esta abordagem usa técnicas de IA, especialmente lógica fuzzy, “embutidas” em agentes estacionários para calcular…

Desde hace dos décadas se realizan investigaciones tendientes a desarrollar sistemas de bases de datos capaces de considerar información temporal en un modo más sofisticado que lo permitido a través del modelo tradicional. Las propuestas de la literatura técnica han…

En este trabajo se presenta un algoritmo para procesar consultas cuyos predicados establecen restricciones sobre atributos derivados de la geometría (área o perímetro) de los objetos. Nuestro algoritmo se basa en el método de acceso espacial R-Tree para evaluar las…