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…

This thesis attempts to gauge the strengths and limitations of the Java programming language in terms of its use in the production of multimedia compositions: in particular, the ways in which Java supports the creation of interactive, non-deterministic musical works.…

Descripción completa.

The objective of this work is to supply one more contribution to the scientific community presenting techniques that will be used in distributed systems that need file replications in real time guaranteeing the permanent availability of the system. As the…

Java provides many attractive features such as platform independence, execution safety, garbage collection and object orientation. These features facilitate application development but are expensive to support; applications written in Java are often much slower than their counterparts written in C…

Descripción completa.

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.

Este artigo apresenta a aplicação de um framework orientado a objetos para escalonamento de tarefas no ambiente ExPSEE. ExPSEE é um ambiente experimental de engenharia de software orientado a processos, no entanto, o framework também pode ser utilizado em outros…

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…