Los lenguajes orientados a objetos son utilizados en la programación de agentes y, ge- neralmente, satisfacen muchos de sus requerimientos pero presentan inconvenientes en la representación y tratamiento de actitudes mentales. Los lenguajes lógicos permiten repre- sentar actitudes mentales en…

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…

Durante el proyecto de investigación No 383 surgió la necesidad de un sistema de componentes reusables multi-propósito, junto con un entorno integrado de desarrollo que los utilice. Existiendo muchas tecnologías disponibles se optó por extender el modelo Java-Beans de Sun.

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…

El desarrollo de Sistemas Multi-agente es un problema complejo, su resolución generalmente involucra el análisis de problemas típicos de sistemas distribuidos, con entidades (agentes) que negocian, tienen la capacidad de aprendizaje, etc. Las soluciones existentes van desde desarrollos de cero…

Programming embedded devices has been historically a difficult task, involving the learning of the features of a specific device such as the assembly language of a processor. This led to the use of Java in embedded system as a way…

Currently, the telecommunications management systems are powerful, however, maintain centralized and proprietary platforms, limiting this way, the growth of these telecommunications networks. This factor generates the need for scalable and open systems, stimulating the sectors of the telecommunications area to…

Varios intentos se han realizado para mejorar la producción de programas en diversos lenguajes. No es difícil imaginar cuán conveniente sería poder aplicar técnicas inteligentes para colaborar en este sentido. El presente trabajo realiza el desarrollo y evaluación de un…

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…

A Internet possui hoje, mais de 100 milhoes de pessoas em mais de 100 países. Tomou proporções tais que não pode mais ser ignorada pelo mercado.
Paulatinamente, a cultura da rede mundial foi aceitando o fato de coexistir com empresas…