Completed Research Projects

Completed Research Projects

Location-based Applications and Frameworks

Active Classroom

MobiCS: A Framework for prototyping and simulating mobile protocols

Collaborative Engeneering Environments

Anubis: A Framework for Formal Analysis of Mululti-Agent Systems applied to Security

Integrade2: A Middleware Architecture for Grid Computing

Integrade: a Middleware Architecture for Grid Computing

MONET

This is PLENA's follow-up project that aims at building mobile agent support for Web-based execution and analysis of environmental simulations.
The Modelling and Simulation of real systems consisting of intelligent agents that cooperate with each other has recently emerged as an important field of research. Systems of this kind can be found in the empirical sciences, in technology and in mathematical theories.
MONET is a cooperation project between IME/USP and GMD FIRST, supported by CNPq (Brazil) and BMBF (Germany).

Project ACCORDS (Automatic Configuration and Monitoring of Component-Based Distributed Systems)

Component Technology turns out to be a promising approach for the construction of complex, distributed and heterogenous software systems. In this project the goal is to investigate techniques for managing and configuring componments and their interaction mechanisms. These techniques are intended to enhance system's reliability, robustness, flexibility and automatic adaptation to changing execution environments.
ACCORDS is joint project between LCPD at IME/USP, UNICAMP and the Department of Computer Science of University of Illinois at Urbana Champaign, and is supported by CNPq/NSF Collaborative Research Program (Grant No. 680037/99-3).

Project SIDAM

The goals of project SIDAM (Distributed Information Systems for Mobile Agents) are to foster research in the issues related to the design and implementation of distributed information services for mobile users, and to develop new methods, services, technologies and protocols suitable for building such services.
A general model has been proposed as an integrator of the several research areas involved, namely: distributed systems, performance analysis, fault tolerance, software architectures, databases and knowledge representation.
The construction of this model was motivated by a real-life application: an on-line service providing traffic information in a big city such as São Paulo. However, we expect the model to be generic enough to be easily adaptable to a variety of applications, ranging from support systems for strategical actions to eletronic mail systems for portable computers.

The Sampa Project

The goal of the Sampa project is to provide a high-level support for availability management of distributed applications and services. Sampa defines a decentralized architecture with support for monitoring, checkpointing, reliable group communication, control and reconfiguration of fault-tolerant distributed programs.
This project was supported by CNPq and FAPESP.

PLENA

Project PLENA aims at investigating and developing methods and techniques that support the development of parallel programs for environmental modeling, analysis and simulation.
This project was a cooperation project between IME/USP and GMD FIRST, supported by CNPq (Brazil) and BMBF (Germany).