Java decompilers convert Java class files to Java source. Common Java decompilers are javac-specific decompilers since they target bytecode produced from a particular javac compiler. We present work carried out on Dava, a tool-independent decompiler that decompiles bytecode produced from…

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…

TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, para luego analizar la especificación obtenida…

El estudio de la radiactividad y su influencia en los seres vivos es un tema fundamental para la formación de los alumnos de los grados en Biología y Ciencias del Mar, y por lo tanto aparece incluido en el plan…

Bluetooth es la especificación que define un estándar global de comunicaciones inalámbricas para redes de área personal dicha especificación permite la transmisión de voz y datos entre diferentes equipos mediante un enlace por radiofrecuencia en entornos de comunicaciones móviles y…

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…

Object-oriented frameworks are, perhaps, the most important reuse technology today available. This is so, because they enable the reuse of both code and design. However, the effective use of frameworks to instantiate new applications represents one of the most limiting…

The essential purpose of this paper is to describe a framework, in a simple and complete way, which enables the concurrent visualization of audio/video streaming combined with its corresponding synchronous vectorial information. The architecture presented uses Java JMF API, which…

The paper describes a framework for the implementation of an elearning system based on the Semantic Web, using software agents and Java Web Services. Hopefully we have elucidated the enormous potential of making web content machine-understandable. One of the killer…

O objetuvo deste comunicado é apresentar a implementação Java da transformada discreta de Fourier e sua inversa, usando a biblioteca Java Advanced Imaging (JAI), para mapeamento entre os domínios espacial e de frequência em imagens digitais., 2006, Acesso em: 28…