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.

Descripción completa.

Este artigo propõe recursos para o escalonamento de objetos distribuídos. Para tanto, são definidos dois mecanismos tidos como centrais para tal: um primeiro que irá realizar a instanciação remota de objetos Java, e um segundo que terá a cargo a…

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

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…

O objetivo deste comunicado é apresentar a implementação JavaTM do filtro para detecção de bordas de Canny (Canny, 1986). A implementação é uma necessidade de uso em projetos desenvolvidos na Embrapa Informática Agropecuária na área de processamento de imagens aplicado…

Este proyecto va dirigido a todas aquellas organizaciones que no tienen una gestión adecuada de los diferentes recursos informáticos.

La solución al problema es un Sistema de Auditoría a nivel de Hardware y Software, el cual va ha facilitar…

El Sistema de Administración Académica para la Escuela Cristóbal Colón bajo Plataforma Web, es una aplicación dinámica para administrar los datos de matriculas, estudiantes, materias, calificaciones, profesores, datos de la institución, implementara seguridades de acceso a los usuarios y generara…

O presente trabalho foi elaborado a fim de que os usuários que utilizam o Sistema Bife de Qualidade pudessem consultar um manual de uso das ferramentas do sistema sempre que tivessem dúvidas em relação ao uso do mesmo. A vantagem…