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…

Con la evolución de las tecnologías de información y comunicación, han surgido depósitos no estructurados de información. No sólo se consultan nuevos tipos de datos tales como texto libre, imágenes, audio y vi deo; sino que además, en algunos casos,…

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…

El avance tecnológico y la cantidad de apli-caciones surgidas en el campo de las bases de datos espaciales, provocaron que las in-vestigaciones en torno a la resolución de consultas de tipo espacial, se profundizaran a fin de mejorar el desempeño…

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…

La exposición de un CRM con apoyo de un Contact Center, tiende a reproducir ciertas características de productos comerciales que se encuentran disponibles en el mercado. La aplicación que se detalla en el presente trabajo, trata de exponer algunos puntos…

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…

Varios estudios han demostrado la incidencia de la formación en Matemática sobre el desempeño de los alumnos. Esta fortaleza resulta clave para el avance en las carreras que se ofrecen en la Facultad de Ciencias Exactas de la UNNE, dado…

Software tools processing partially common set of data should share an understanding of what these data mean. Since ontologies have been used to express formally a shared understanding of information, we argue that they can be used to improve integration…