El presente artículo presenta la implementación de un laboratorio virtual para que a través de Internet cumpla con objetivos pedagógicos en el estudio de los dispositivos electrónicos básicos usados en la enseñanza de la electrónica en las Universidades. Se desarrolla…

La incorporación y uso adecuado de las TIC‟s durante el proceso de enseñanza-aprendizaje puede convertirse en un instrumento que ayuda a lograr aprendizajes significativos por un lado al construir el código fuente de un simulador, y por otro cuando se…

1999

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…

BACKGROUND:Sequence data analyses such as gene identification, structure modeling or phylogenetic tree inference involve a variety of bioinformatics software tools. Due to the heterogeneity of bioinformatics tools in usage and data requirements, scientists spend much effort on technical issues including…

El proyecto pretende minimizar el uso del papel y los procesos manuales mediante el manejo de contratos digitales proporcionando una mejor gestión de los documentos que ingresan a la entidad. Actualmente se pueden observar la fila de personas esperando por…

Protecting sensitive information has become an important facet of software development.
One aspect of software security relies on information flow control (IFC), a technique for discovering information leaks in software. Despite the large body of work on language-based IFC, there…

Programming embedded devices has been historically a difficult task, involving the learning of the features of a specific device such as the assembly language of a processor. This led to the use of Java in embedded system as a way…

Varios intentos se han realizado para mejorar la producción de programas en diversos lenguajes. No es difícil imaginar cuán conveniente sería poder aplicar técnicas inteligentes para colaborar en este sentido. El presente trabajo realiza el desarrollo y evaluación de un…

El presente trabajo, basado en la tesis de grado de los autores, provee la implementación de un mecanismo de prueba de dispositivos financieros con una base de costos considerablemente inferior a la de los mecanismos actualmente disponibles de verificación, basado…