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…

El objetivo principal de este trabajo es desarrollar un enfoque práctico para la generación dinámica de interfaces de usuario a partir de modelos basados en esquemas XML, de acuerdo a las especificaciones W3C XML Schema Structures and Datatypes. El trabajo…

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…

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…

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…

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 el marco de las ciencias de la computación, el área de construcción de compiladores ha logrado un estado relativamente maduro de desarrollo, tanto en aspectos teóricos como en aplicaciones prácticas. Este grado de desarrollo se hace evidente en las…

Unidad 5. Herencia.