JAVA is a general purpose concurrent class-based object-oriented programming language. This work presents an interactive program that interprets JAVA source programs directly. The cornerstone of its execution model is an execution graph, in which each node is constituted by three…

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…

O atual modelo de produção científica tem como maior prioridade a promoção dessa produção através de artigos publicados em eventos científicos, o qual foram referendados por sua qualidade através de um corpo editorial.
Não há uma forma explícita de escrever…

El objetivo que perseguimos en este trabajo fue el desarrollo de un servidor Web multiplataforma basado en el protocolo HTTP 1.0 con implementación de la interfaz CGI, utilizando como lenguaje de programación JAVA. Los métodos que implementa son GET, HEAD,…

Este trabajo presenta una implementación en JAVA de un modelo de consistencia temporal para datos de tiempo real. Los Sistemas de Bases de Datos de Tiempo Real, incorporan el concepto de transacciones y datos con tiempo de vencimiento. El vencimiento…

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…

El framework de desarrollo JSF (JAVA Server Faces) es uno de los más popularmente usados en el desarrollo de aplicaciones Web. Este incorpora la novedad de permitir construir “componentes a medida” o “componentes customizadas”, aunque la implementación inadecuada desemboca en…

En este trabajo se presenta el desarrollo de una Aplicación Web (SIMAWEB) que interactúa en tiempo real con un Sistema de Procesamiento de Imágenes en un Ambiente Distribuido (SIMA) para la aplicación de operaciones sobre imágenes. SIMAWEB permite el procesamiento…

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…

O presente artigo tem por objetivo apresentar um ambiente para a execução de avaliações remotas em Ensino á Distância, dentro do conceito de sistemas multiagentes. O emprego da tecnologia de Orientação a Objetos e o uso de Java como suporte…