The book is intended to be used in an introductory and intermediate level course on computer networks, both whitin Computer Science and Electric Engineering scopes. One of its characteristics is that the entire research software is presented in Java, but…

Tesis presentada a la Facultad de Contaduría y Administración de la Universidad Veracruzana, Región Xalapa.

Java for high performance and distributed computing.
(Baker, Mark A.; Shafi, Aamir y Grove, Matthew)


Abstract

The Java language first came to public attention in 1995; very soon after it was being speculated that Java may…

Sumario:
1- Introducción
2- Sistemas móviles y sensibles al contexto
3- E-commerce y M-commerce
4- Hipermedia e hipermedia física
5- Descripción del sistema basado en hipermedia física
6- Diseño
7- Implementación
8-…

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…

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…

Sumario:
I. Conceptos generales
1- Introducción y conceptos generales
2- Infraestructura de clave pública
3- Certificados digitales
4- Firma digital
II. J2EE Java 2 Platform Enterprise Edition
5- J2EE introducción y modelo

This paper presents a laboratory session of an advanced programming course to introduce students to the technology involved with the Java programming language. In this special lab session the educational software tool VisualJVM is used, providing a graphical front-end to…

Microsoft's .NET Framework, and JAVA platforms, are based in a just-in-time compilation philosophy. Software developed using these technologies is executed in a hardware independent framework, which provides a full object-oriented
environment, and in some cases allows the interaction
of several…

Ponencias Orales





Algoritmo paralelo para la detección y caracterización de halos de materia oscura en simulaciones cosmológicas.
Parallel algorithm for the detection of dark matter halos and computation of their properties in cosmological simulations.
Vera,…