PROJECTS

Concluded
PROFUNDIS - Proofs of Functionality for Mobile Distributed Systems
1 Jan 2002 - 30 Apr 2005
Luís Monteiro, Luis Caires, Hugo Torres Vieira
Concluded
MIMO - Models and Infra-structures for Mobile cOmputing
1 Jan 2002 - 31 Dec 2004
Luis Caires, Hervé Paulino, Vasco Vasconcelos, Francisco Martins
Concluded
RITOS2 - Red Iberoamericana de Tecnologías del Software
1 Jan 2002 - 30 Dec 2004
Ana Moreira, João Araújo, Isabel Brito
Concluded
- POLAR
1 Jan 2002 - 1 Jan 2003
Carlos Viegas Damásio
Concluded
FLUX - Flexible Logic Updates
1 Jan 2002 - 1 Sep 2005
João Leite
Concluded
RRA - Rational and Reactive Agents
1 Oct 2001 - 1 Jan 2002
João Leite, José Júlio Alferes, Luís Moniz Pereira, Carlos Viegas Damásio
Concluded
IQN - Rational Mobile Agents and Systems of Agents (International Quality Network)
1 Oct 2001 - 1 Jan 2003
José Júlio Alferes, Luís Moniz Pereira
Concluded
WebPark - Geographically relevant information for the mobile user in protected areas
1 Oct 2001 - 30 Sep 2004
Armanda Rodrigues
Concluded
POLY - Declarative Programming with Concurrency and Mobility
1 Jan 2001 - 31 Dec 2002
Luis Caires, Margarida Mamede, Artur Miguel Dias, Hugo Torres Vieira, José Pacheco
Concluded
DataBricks - Data Components for Mobile Applications
1 Jan 2001 - 30 Sep 2004
José Legatheaux Martins, Luis Caires, João Costa Seco, Henrique João Domingos, Sérgio Duarte, Nuno Preguiça
Concluded
Databricks - Databricks - Data Components for Mobile Applications
1 Jan 2001 - 30 Sep 2004
José Legatheaux Martins, Luis Caires, João Costa Seco, Henrique João Domingos, Sérgio Duarte, Nuno Preguiça
Concluded
ESERNET - Experimental Software EngineeRing NETwork
1 Jan 2001 - 31 Dec 2003
Miguel Goulão, Fernando Brito e Abreu