Este trabajo presenta resoluciones de queries a una base de datos que mantiene información acerca de redes de computadoras, utilizando Lógica de Primer Orden extendida con los cuantificadores Clausura Transitiva, Clausura Transitiva Determinística, Puntos fijos en sus variantes Inflaccionario y…

Un sistema de memoria compartida consiste de una colección de procesos en comunicación, como en un sistema de red. Pero en vez de enviar y recibir mensajes sobre un canal de comunicación, los procesos realizan operaciones instantáneas sobre datos compartidos.

This article presents a brief study on the public key algorithm RSA and its vulnerabilities, setting some changes in it, taking advantage on certain well known numeric properties. This new version of the algorithm is going to be tested, compared…

O presente trabalho tem por objetivo descrever uma metodologia para realizar testes com ferramentas IPS (Intrusion Prevention Systems). Essas ferramentas são mecanismos que são implementados como gateways (in-line) em uma rede de computadores para receber, analisar e encaminhar o tráfego…

Una temática abordada a menudo en Bases de datos es el estudio de los rangos y las consultas por rangos, denominado Búsquedas por Rangos. Este problema tratado desde una perspectiva geométrica nos permite diseñar y analizar algoritmos y estructuras de…

En este trabajo se realiza un análisis de los sistemas de reconocimiento de rostros. Para ello se presentan los conceptos básicos sobre los cuales nos basaremos para la tarea de reconocer rostros.
Posteriormente, se estudia e implementa un modelo de…

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. Los métodos espacio-temporales permiten responder consultas que involucran predicados espacio-temporales en forma eficiente, donde los más considerados,…

En este documento presentamos una traducción de diagramas de clases UML complementados con expresiones OCL a expresiones Object-Z.
Nuestro fin es proveer una formalización de los modelos gráfico-textuales expresados mediante UML/OCL que permita aplicar técnicas clásicas de verificación y prueba…

Se propone una estrategia de diseño y desarrollo de un DataWarehouse para su aplicación en el apoyo a la toma de decisiones de los profesionales médicos que atienden pacientes diabéticos. Se consideran tres niveles de análisis. El primero centrado en…

En este artículo se presenta un diseño de una base de datos difusa en UML. Se sentaron las bases conceptuales para la definición de atributos difusos y de los mecanismos que permiten consultar la base de datos difusa una vez…