En este trabajo se presentan las líneas del grupo de investigación del Departamento de Computación de la UNRC constituido por los autores. Los aspectos fundamentales son la creación de modelos y herramientas de última generación para la generación de procesadores…

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…

Sumario:
1- Introducción
2- Sistemas móviles y sensibles al contexto
3- E-commerce y M-commerce
4- Hipermedia e hipermedia física
5- Descripción del sistema basado en hipermedia física
6- Diseño
7- Implementación
8-…

The knowledge imperfections should be considered when modeling complex problems. A solution is to develop a model that reduces the complexity and another option is to represent the imperfections: uncertainty, vagueness and incompleteness in the knowledge base. This paper proposes…

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…

Se presenta el desarrollo de un applet, utilizando el programa EJS, Easy Java Simulations. .
En el mismo se analizan las fuerzas de interacción entre dos partículas cargadas para verificar si se cumple el principio de acción y reacción de…

Sumario:
I. Conceptos generales
1- Introducción y conceptos generales
2- Infraestructura de clave pública
3- Certificados digitales
4- Firma digital
II. J2EE Java 2 Platform Enterprise Edition
5- J2EE introducción y modelo

La plataforma .NET de Microsoft, así como los entornos de programación en JAVA, se basan en una filosofía de just-in-time compilation (compilación bajo demanda al momento de la ejecución). Los programas desarrollados de esta manera se ejecutan en un entorno…

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…

Debido al incremento en la cantidad e importancia de la información manejada por sistemas informáticos, también se incrementa la importancia de controlar la difusión de información privada de los usuarios. Los mecanismos de control del acceso y las técnicas criptográficas…