La incorporación y uso adecuado de las TIC’s durante el proceso de enseñanza-aprendizaje puede convertirse en un instrumento que ayuda a lograr aprendizajes significativos por un lado al construir el código fuente de un simulador, y por otro cuando se…

TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, para luego analizar la especificación obtenida…

Investigar experimentalmente diferentes modelos de sistemas distribuidos, estudiando especialmente la migración dinámica de procesos y datos, así como el comportamiento de redes móviles en procesos de tiempo real.
Los temas fundamentales propuestos en el proyecto se refieren al desarrollo de…

El desarrollo de Sistemas Multi-agente es un problema complejo, su resolución generalmente involucra el análisis de problemas típicos de sistemas distribuidos, con entidades (agentes) que negocian, tienen la capacidad de aprendizaje, etc. Las soluciones existentes van desde desarrollos de cero…

El presente trabajo sintetiza el proceso de diseño y creación de medios digitales en distintos formatos: animaciones en formato swf, modelos 3D interactivos en formato skp, java o pdf y la implementación de una aplicación on-line para el dibujo asistido…

Dentro de los desarrollos de software empresarial, uno de los principales actores continúan siendo las aplicaciones cliente/servidor construidas sobre J2EE. La estabilidad de esta tecnología y la capacidad de usar dichas aplicaciones en el escenario Internet/Intranet, usando tanto clientes java…

La docencia asistida por ordenador se aplica a diferentes y muy diversas áreas o materias. En nuestro caso, hemos elegido los gráficos por ordenador por ser un tema donde inherentemente aparecen conceptos gráficos e interactivos. El objetivo de este trabajo…

Las experiencias se enmarcan en el contexto de las Tecnologías en Educación, en materia de robótica, se presentan específicamente aquellas que contribuyen a la conformación de un laboratorio en robótica, integrado básicamente por robots clásicos, bípedos y cuadrúpedos que se…

En los últimos años se ha incrementado la complejidad y la heterogeneidad de las redes de datos, por ello, el gerenciamiento de las mismas se vuelve cada vez más complejo e importante. El trabajo de los administradores de redes no…

Hasta hace poco tiempo, el soporte de comunicaciones de TCP/IP, TCP y UDP, fue suficiente para satisfacer los requerimientos de las aplicaciones. Esto cambió con la aparición de las aplicaciones multimedia en tiempo real. TCP no permite a la aplicación…