Durante el proyecto de investigación No 383 surgió la necesidad de un sistema de componentes reusables multi-propósito, junto con un entorno integrado de desarrollo que los utilice. Existiendo muchas tecnologías disponibles se optó por extender el modelo Java-Beans de Sun.

En este trabajo se presenta el desarrollo de una Aplicación Web (SIMAWEB) que interactúa en tiempo real con un Sistema de Procesamiento de Imágenes en un Ambiente Distribuido (SIMA) para la aplicación de operaciones sobre imágenes. SIMAWEB permite el procesamiento…

Quizás uno de los mayores inconvenientes que posee XML, es que no ha sido pensado para almacenar información, en vez de ello, ha sido diseñado para permitir la publicación y el intercambio de información a través de la especificación XSL…

Actualmente las redes de comunicaciones son el eje fundamental de trabajo en la mayoría de las empresas, por tanto los administradores deben procurar el buen desempeño de la red para garantizar el correcto funcionamiento de la organización.
Cuando una red…

Nivel monográfico, Mérida, del 19 de Julio al 16 de Agosto de 2003

Nivel monográfico, Mérida, del 7 de Junio al 5 de Julio de 2003

Un Workflow es la automatización parcial o total del proceso de negocio, con el objetivo de lograr interacción de diversas actividades realizadas por personas y máquinas.
Los SGD (Sistemas de Gestión Documental) son sistemas dedicados a incrementar el rendimiento y…

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…

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…