La plataforma .NET de Microsoft se basa 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 o framework independiente de la plataforma, basado en…

This paper presents an object-oriented design and implementation of a software module to be used as the monitoring application for a Computer Integrated Building (CIB) in an intranet/extranet context., Sistemas Distribuidos - Redes Concurrencia - Sesión de pósters

TCP es un protocolo ampliamente difundido en la Internet. Gran parte del tráfico de la Internet, proviene de aplicaciones que lo utilizan. Esta característica indica la importancia de la tasa a la cual TCP introduce sus datos en la red.…

Este trabalho apresenta o desenvolvimento de uma aplicação distribuída na área de gerência de segurança para redes de telecomunicações. Está sendo desenvolvida uma aplicação que consiste em um sistema que procura evitar a clonagem de telefones celulares. Este trabalho é…

JavaVis es una librería de visión computacional en Java, la cual usa una interfaz gráfica con el fin de mostrar los resultados de aplicar diferentes métodos y algoritmos de visión artificial. El origen de esta librería surge siguiendo la filosofí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…

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…

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…

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…

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…