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…

El propósito general de este artículo se centra en
presentar una serie de herramientas para la
enseñanza a distancia de robótica industrial, que
permite a los usuarios interactuar con simulaciones
de robots reales de una manera intuitiva y
económica. Mediante…

Esta tesis propone una infraestructura genérica para el desarrollo de aplicaciones
distribuidas y paralelas sobre laWeb. Esta infraestructura está orientada
a permitir que todos los usuarios de Internet sean capaces de participar
en la ejecución de aplicaciones distribuidas, usando una…

La plataforma .NET de Microsoft se basa en una filosofía de just-in-time compilation (compilación bajo demanda al momento de la ejecución). Los programas desarrollados de esta manera se ejecutan en un entorno o framework independiente de la plataforma, basado en…

Con el principal objetivo de unir las ventajas de
los laboratorios virtuales y los entornos
colaborativos on-line, se presenta en este artículo
un sistema de comunicación síncrono entre
simulaciones interactivas desarrolladas en Easy
Java Simulations (Ejs) a través del protocolo

Este trabajo presenta herramientas interactivas que
pueden ser utilizadas para la enseñanza de
robótica. Mediante estas herramientas el usuario
puede adquirir desde conceptos básicos de
robótica hasta un aprendizaje práctico en el
manejo de robots. Las aplicaciones ofrecen una
interfaz…

El Proyecto de Titulación se centra en el desarrollo de una biblioteca de clases que permita el manejo de las interfaces gráficas de usuario de aplicaciones basadas en la plataforma Java Micro Edition. Esta biblioteca permitirá a los desarrolladores crear…

Unidad 4. Gestión de errores

En los últimos años se han desarrollado bastantes
laboratorios virtuales para la simulación y
teleoperación de robots orientados a la docencia,
que permiten a numerosos grupos de alumnos
realizar prácticas de robótica, sin que la
institución docente deba afrontar los…