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…

A atualização dinâmica de sistemas é uma atividade crucial em software para missão crítica, que não pode parar a sua execução a qualquer momento. O presente artigo aborda aspectos sobre atualização de componentes em sistemas orientados a objetos, sem a…

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,…

Los estudios de diversidad microbiológica basados en información genética involucran procesos computacionales fundados en la minería de datos y en la estimación estadística. Con el objetivo de obtener la riqueza de especies, entendida como el número de las mismas, y…

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,…

Knowledge-intensive processes are widely used to recover from errors, handle exceptional cases and complaints, and to improve or adapt a process itself. In this context, evolved Business-Process Reengineering (BPR) techniques are changing to give some answers to this reality. In…

When stakeholders are geographically distributed communication presents new challenges for software engineering community. In order to improve communication between stakeholders, we have previously proposed to apply learning style models to characterise the way people interact. In this work we enhance…

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…

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…

In omplete information is a problem in many aspe ts of a tual environments. Further- more, in many s enarios the knowledge is not represented in a risp way. It is ommon to nd fuzzy on epts or problems with…