The objective of this work is to supply one more contribution to the scientific community presenting techniques that will be used in distributed systems that need file replications in real time guaranteeing the permanent availability of the system. As the…

As aplicações distribuídas estão potencialmente sujeitas a falhas. A orientação a grupos é uma boa ferramenta para garantir a continuidade da aplicação, mesmo na presença de falhas. Este artigo apresenta a implementação de um protocolo multicast confiável, para comunicação de…

O objetivo deste trabalho é descrever a arquitetura dos Web Services como um dos recursos disponíveis para facilitar a integração de sistemas heterogêneos, ou seja, sistemas que são desenvolvidos em diferentes linguagens e que necessitam trocar informações e recursos entre…

Este trabalho apresenta o desenvolvimento de um sistema de informação on-line que auxilie na tomada de decisão quanto ás condições de colheita do Mexilhão Perna perna. O sistema parte de um projeto já desenvolvido, intitulado Sistema Especialista para Determinação do…

El presente trabajo investiga las herramientas que provee el lenguaje Java para el desarrollo de aplicaciones de ingeniería que transmitan los datos a través del internet o para modificar aplicaciones existentes para proveerles esta funcionalidad. Para ello, primeramente se presenta…

In this note, I propose two extensions to the Java virtual machine (or VM) to allow dynamic languages such as Dylan, Scheme and Smalltalk to be efficiently implemented on the VM. These extensions do not affect the performance of pure…

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…

Vídeo sobre el funcionamiento del framework 3D de JavaVis.

This paper presents a new approach to algorithm design and analysis that benefits from the OO characteristics of Java. It consists of first defining the inheritance structure of a collection of algorithms, at different levels of abstraction. Then, correctness proofs…