Este trabalho apresenta uma forma de transformar aplicações orientadas a objetos tolerantes a falhas de crash, podendo ser utilizado em um ambiente distribuído baseado em objetos que se comunicam entre si, a fim de executarem uma ação. Para garantir a…

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…

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…

Este artigo propõe recursos para o escalonamento de objetos distribuídos. Para tanto, são definidos dois mecanismos tidos como centrais para tal: um primeiro que irá realizar a instanciação remota de objetos Java, e um segundo que terá a cargo a…

A atividade de teste constitui uma fase de grande importância no processo de desenvolvimento de software, tendo como objetivo garantir um alto grau de confiabilidade nos produtos desenvolvidos. Com o advento do paradigma da orientação a objetos, novos problemas foram…

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…

This paper describes an desktop application framework to be used with the Java Swing API. The goal of this framework is to promote the decoupling between the Frames and its actions, turning up the modularity of desktop application systems and…

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…

Investigar experimentalmente diferentes modelos de sistemas distribuidos, estudiando especialmente la migración dinámica de procesos y datos, así como el comportamiento de redes móviles en procesos de tiempo real.
Los temas fundamentales propuestos en el proyecto se refieren al desarrollo de…

This paper presents an evolution of a simulation environment where situations in which a DDB should maintain data integrity are modeled and implemented. These situations include failures taking place during transactions, and the focus is mainly on the utilization and…