El propósito del presente proyecto es proveer seguridad de la información al utilizar aplicaciones web, el
sistema utiliza la autenticación de dos pasos o fases permitiendo de mejor manera validar y autorizar el
acceso a clientes e impidiendo el acceso…

Un proyecto es un esfuerzo temporal para crear un único servicio o producto. Como temporal nos referimos a que todo proyecto tiene un comienzo claro y un final definido. Y como único, que el producto o servicio es diferente de…

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…

Conforme crece el uso y la adopción de los dispositivos móviles, se espera que brinden funcionalidades cada vez más complejas. En consecuencia, la demanda de nuevas aplicaciones aumenta considerablemente. Android es una nueva plataforma licenciada como software libre que será…

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

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…

Un proceso de negocio es un conjunto de tareas lógicamente relacionadas que se ejecutan para obtener un cierto resultado de negocio. Un proceso de negocio incluye tanto recursos humanos como materiales.
UML (Unified Model language) es una notación de modelado…

This paper presents a JAVA based framework for RTL modeling and simulation of digital hardware designs. After linking between object-oriented concepts and RTL models, the JAVA analogy to features found in a widely used hardware description language like Verilog is…

Presentaciones del curso "Internet Programming with Java" impartido en la Université M'Hamed Bougara (Bourmerdes, Argelia) en abril de 2007., Proyecto financiado por la Unión Europea: TEMPUS JEP-32102-2004, Licence Professionnelle Technologies des Applications Web (Professional License for Web Application Technologies).

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…