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…

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…

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…

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…

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…

Varios intentos se han realizado para mejorar la producción de programas en diversos lenguajes. No es difícil imaginar cuán conveniente sería poder aplicar técnicas inteligentes para colaborar en este sentido. El presente trabajo realiza el desarrollo y evaluación de un…

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…

Descripción completa.

El sistema de mensajería instantánea CSJabber fue desarrollada para permitir que los usuarios comunicarse de forma rápida y segura. Este hace uso del protocolo Jabber, el mismo que permite obtener múltiples beneficios de seguridad con el uso de SSL en…

El Módulo de Control Presupuesto y Costos del Proyecto fue realizado para el cálculo de los costos que intervienen en un proyecto y la correcta administración del presupuesto que se le asigna a sistemas. Esta aplicación fue diseñada usando arquitectura…