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…

Resulta fundamental disponer de una herramienta de reportes que permitan un fácil y rápido acceso hacia los datos contenidos en bases de datos Postgres como parte de una estrategia Open Source aplicable a cualquier organización, considerando el ahorro en licencias…

La aplicación “Cluster de Red” fue desarrollada para proveer alta disponibilidad de servicio computacional, similar o equivalente a las encontradas en las poderosas y costosas supercomputadoras clásicas. Esta aplicación esta diseñada para ser administrada mediante un entorno Web.

Los esquemas de análisis sintáctico son un formalismo de definición de
algoritmos de análisis sintáctico que permite abstraer detalles de bajo nivel. En este
trabajo, presentamos una técnica de compilación para transformar automáticamente
un esquema de análisis sintáctico en una…

En el presente proyecto se desarrolla un sistema de gestión académica y administrativa vía web para el colegio La Providencia de la ciudad de Quito.
Para la realización del proyecto se siguen los lineamientos de la metodología de desarrollo de…

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…

Se presenta un diseño de Laboratorio Virtual Basado en Simulaciones (LVBS) para el estudio del comportamiento de un resorte en los modos estático y dinámico. Para el desarrollo de la experiencia se ha usado un programa de simulación basado en…

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…

Descripción completa.

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…