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…

The knowledge imperfections should be considered when modeling complex problems. A solution is to develop a model that reduces the complexity and another option is to represent the imperfections: uncertainty, vagueness and incompleteness in the knowledge base. This paper proposes…

Java programming is popular both in Academia and IT Industry. Further, it is the maximum usage of programming across the world. There is a wide edge between industry expectations and knowledge of students in Java programming. Teaching and learning of…

The paper describes a framework for the implementation of an elearning system based on the Semantic Web, using software agents and Java Web Services. Hopefully we have elucidated the enormous potential of making web content machine-understandable. One of the killer…

El proyecto se trata acerca del diseño y la
implementación de una aplicación web de administración de red, basado en la utilización del protocolo SNMPv3, con el fin
de mejorar la seguridad de la información. La aplicación puede…

La red provee de innumerables recursos interactivos que el docente puede utilizar en el trabajo con sus alumnos.
Los applets java representan un método tremendamente versátil para incluir contenido multimedia en las páginas web. Su gran ventaja respecto al resto…

En el presente trabajo, presentamos el primer ensayo de montaje de un curso básico de Electricidad y Magnetismo en la UPIITA, usando Ambientes Virtuales de Aprendizaje a través de la aplicación de Plataformas Interactiva. Los materiales didácticos fundamentales en este…

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…

Debido al incremento en la cantidad e importancia de la información manejada por sistemas informáticos, también se incrementa la importancia de controlar la difusión de información privada de los usuarios. Los mecanismos de control del acceso y las técnicas criptográficas…

This study aims to obtain the digital image encryption algorithm with a simple but secure process, fast and efficient computing resources. The algorithms developed in this study were super-encryption algorithm that combines two of cipher called Playfair cipher and the…