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…

This paper describes an desktop application framework to be used with the Java Swing API. The goal of this framework is to promote the decoupling between the Frames and its actions, turning up the modularity of desktop application systems and…

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…

Acantholybas steinbaueri, a brachypterous new species, is described and illustrated from Java (Bali Island and Dammerman). The genus Acantholybas is redescribed, and a key to the four known species is provided.

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

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

Se revisan los conceptos y marco teórico de los Network Computers y su conectividad a servidores AS400, RS6000 y PC Servers, analizando sus ventajas y desventajas. Los conceptos estudiados como marco de referencia para extender esta tecnología son: costo total…

Cada vez es más frecuente la aparición de animaciones en páginas Web y existe una gran variedad de alternativas para presentarlas. Algunas de estas alternativas requieren que sean abiertos una cantidad importante de archivos conteniendo los sucesivos cuadros que conforman…

Descripción completa.

Descripción completa.