Una de las mejores implementaciones de agentes de la familia BDI (B: Belief, D: Desire, I: Intention) es mediante los llamados Sistemas de Razonamiento Procedural (PRS). En este trabajo se plantea una extensión de los PRS para permitir generar agentes…

Este proyecto está enfocado en proporcionar una aplicación para la administración de citas médicas utilizando un dispositivo móvil y la tecnología de Internet, para así disponer de información veraz y oportuna, sobre las citas y fichas médicas de los pacientes…

Descripción completa.

Este artículo presenta una evolución de un ambiente de simulación donde se modelizan e implementan situaciones en la que una BDD debe mantener la integridad de la información ante fallos producidos durante la ejecución de transacciones, enfocándose principalmente en la…

La representación tridimensional de grandes volúmenes de datos de terreno requiere un gran número de polígonos y de texturas, significando un problema la transmisión por red de los modelos. El enfoque multiresolución permite la transmisión progresiva, es decir, la transmisión…

En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se…

Segunda parte de la presentación sobre Java.

JAVA is a general purpose concurrent class-based object-oriented programming language. This work presents an interactive program that interprets JAVA source programs directly. The cornerstone of its execution model is an execution graph, in which each node is constituted by three…

Protecting sensitive information has become an important facet of software development.
One aspect of software security relies on information flow control (IFC), a technique for discovering information leaks in software. Despite the large body of work on language-based IFC, there…

El sistema Mercurio es un servidor personalizado de noticias que trabaja con una
representación del cliente basada en los últimos avances sobre modelado de usuario. El servidor de
noticias está desarrollado como una aplicación Java que recibe suscripciones de los…