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…

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…

Currently, the telecommunications management systems are powerful, however, maintain centralized and proprietary platforms, limiting this way, the growth of these telecommunications networks. This factor generates the need for scalable and open systems, stimulating the sectors of the telecommunications area to…

El presente proyecto tiene como alcance el investigar, analizar y proponer la mejor solución para crear un sistema académico, con el fin de que se cumplan todas las expectativas que el Centro Educativo ÁGAPE anhela, así como lo relacionado a…

El presente trabajo de tesis previo a la obtención del título de ingeniería electrónica, está enfocado en el campo de la TV digital, centrando su estudio en el manejo del middleware Ginga, media la utilización de su motor de presentación…

Analyser le code permet de vérifier ses fonctionnalités, détecter des bogues ou améliorer sa performance. L’analyse du code peut être statique ou dynamique. Des approches combinants les deux analyses sont plus appropriées pour les applications de taille industrielle où l’utilisation…

Se presenta el proceso realizado para el desarrollo de una aplicación multimedia en el sistema operativo Android, utilizando el lenguaje de programación Java y la interfaz de programación proporcionada por Eclipse IDE.
Se utilizó el SDK 2.2 (Software Develoment kit)…

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

La aplicación fue desarrollada con la tecnología JAVA en Netbeans para la web, siendo desarrollado con herramientas libres como: PostgreSQL, en el lenguaje de programación se utilizó HTML con JSF, con ello se permitió que le la herramienta sea multiplataforma…

Los estudiantes de primer curso de Físicas de la Universidad de Murcia utilizan la herramienta de modelado Easy Java Simulations, Ejs, para realizar sus propias simulaciones, dicha herramienta permite desarrollar simulaciones con un aceptable pequeño esfuerzo informático, el Ejs produce…