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…

Descripción completa.

El presente trabajo es una herramienta generadora de código para aplicaciones Web escritas en JAVA; cuyo principal objetivo es agilizar el proceso de desarrollo de software. Esta aplicación utiliza los metadatos de un motor de base de datos para construir…

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…

Descripción completa.

Los sistemas de bases de datos inteligentes se derivan de la integración de la tecnología de bases de datos con técnicas desarrolladas en el campo de los sistemas expertos y la inteligencia artificial, que permite hacer deducciones a través de…

Bluetooth es la especificación que define un estándar global de comunicaciones inalámbricas para redes de área personal dicha especificación permite la transmisión de voz y datos entre diferentes equipos mediante un enlace por radiofrecuencia en entornos de comunicaciones móviles y…

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…

Descripción completa.

Descripción completa.