En este trabajo de Tesis se obtuvo el modelo matemático de un robot
paralelo de seis grados de libertad y estructura 6-RSS ubicado en el Instituto
Nacional de Astrofísica, Óptica y Electrónica (INAOE):

Se revisó la estructura del…

Descripción completa.

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…

Introducción al lenguaje Java orientado a programadores con algo de experiencia en C++-

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…

Descripción del entorno de desarrollo Eclipse para Java, con actividades a realizar para conocer sus características.

Descripción completa.

Sumario:
1- Introducción
2- Sistemas móviles y sensibles al contexto
3- E-commerce y M-commerce
4- Hipermedia e hipermedia física
5- Descripción del sistema basado en hipermedia física
6- Diseño
7- Implementación
8-…

Sumario de la presentación:
I. Definición del Problema
II. Conceptos Generales
III. Debug
IV. Sistema de carga de clases en Java
V. AgletClassLoader
VI. Entendiendo la Excepción
VII. Resolviendo el problema
VIII.Conclusión