La extensión del uso de sistemas computarizados exigen a estos a cumplir mayores requisitos de seguridad ya que son constantemente expuestos a intentos de acceso no autorizados, los DBMS no están exentos de esto. Las plataformas de ejecución manejada, tales…

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…

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…

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…

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…

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 completa.

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

Nivel monográfico, Mérida, del 7 de Junio al 5 de Julio de 2003