DLP is a basic java-based IDE specifically conceived for DeLP, that allows to compile DeLP programs and queries into JAM opcodes, execute those opcodes, and even witness the actual step by step construction of the dialectical tree that is built…

El proyecto, continuidad del presentado para WICC 2002, plantea el estudio, modelación y simulación de entornos de BDD. En particular las investigaciones que se están realizando se centran en los aspectos concernientes a la replicación y fragmentación de la información,…

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

This paper presents a JAVA based framework for RTL modeling and simulation of digital hardware designs. After linking between object-oriented concepts and RTL models, the JAVA analogy to features found in a widely used hardware description language like Verilog is…

Currently, the number of mobile applications that require (wireless) connectivity is constantly increasing. The need for sharing information among mobile devices exists in many applications, and almost every data exchange between these devices involve the same requirements: a means for…

Todos los auditores necesitan la actualización de las herramientas para auditar y responder a las necesidades de los clientes que necesariamente deben contar con una metodología de seguridad.

En base a las necesidades que tienen los auditores de…

Este proyecto presenta la alternativa de realizar el duplicado de llaves del tipo plana de forma automática, que a diferencia de una máquina duplicadora manual que utiliza la llave original como modelo, éste emplea una fotografía de la llave que…

La docencia asistida por ordenador se aplica a diferentes y muy diversas áreas o materias. En nuestro caso, hemos elegido los gráficos por ordenador por ser un tema donde inherentemente aparecen conceptos gráficos e interactivos. El objetivo de este trabajo…

Descripción completa.

El proyecto pretende minimizar el uso del papel y los procesos manuales mediante el manejo de contratos digitales proporcionando una mejor gestión de los documentos que ingresan a la entidad. Actualmente se pueden observar la fila de personas esperando por…