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…

Definição de superfície. Cálculo dos valores de curvatura com SurfRace., 2002, Acesso em: 30 maio 2008.

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

Presentación del software libre JavaVis para prácticas de visión por ordenador.

This paper presents an easier way of creating a medicine web application in Java. It describes the concepts of JavaBean, Enterprise Java Bean and Java Server Pages and the way we can use them for producing a collection of medicine…

En este proyecto se trata de investigar las características de replicación y fragmentación de la información, en particular la propagación y regulación de las actualizaciones de datos. El esquema de replicación planteado en este estudio se considera estático y preestablecido,…

Descripción completa.

Descripción completa.

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…

El framework de desarrollo JSF (JAVA Server Faces) es uno de los más popularmente usados en el desarrollo de aplicaciones Web. Este incorpora la novedad de permitir construir “componentes a medida” o “componentes customizadas”, aunque la implementación inadecuada desemboca en…