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:
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-…

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

Cada vez es más frecuente la aparición de animaciones en páginas Web y existe una gran variedad de alternativas para presentarlas. Algunas de estas alternativas requieren que sean abiertos una cantidad importante de archivos conteniendo los sucesivos cuadros que conforman…

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…

Temario de la presentación:
Visión global del informe (diagrama)
Free/Libre Open Source Software (FLOSS)
Motivación e influencias del informe
Integración de aplicaciones y patrones de integración
Service-oriented Architecture (SOA)
Enterprise Service Bus (ESB)
Java…

Una de las mejores implementaciones de agentes de la familia BDI (B: Belief, D: Desire, I: Intention) es mediante los llamados Sistemas de Razonamiento Procedural (PRS). En este trabajo se plantea una extensión de los PRS para permitir generar agentes…

En los últimos años se ha incrementado la complejidad y la heterogeneidad de las redes de datos, por ello, el gerenciamiento de las mismas se vuelve cada vez más complejo e importante. El trabajo de los administradores de redes no…

Hasta hace poco tiempo, el soporte de comunicaciones de TCP/IP, TCP y UDP, fue suficiente para satisfacer los requerimientos de las aplicaciones. Esto cambió con la aparición de las aplicaciones multimedia en tiempo real. TCP no permite a la aplicación…