MIMO - Models and Infra-structures for Mobile Computing
This is the official homepage for the MIMO project. The project will
span over three years and is being financed by FCT (Fundação para a Ciência e
Tecnologia).
All information and results for the project will be
posted in this page throughout its duration. This will include
announcements, publications, software and progress reports.
The project's aims
The work will focus on the theoretical foundations and implementations
of provably correct distributed systems supporting computational
mobility. More specificaly, one goal of the project is to produce
a comprehensive specification for a distributed system with mobile
computations. The following issues will be addressed:
- support for computational migration;
- support for multiple migration protocols;
- failure detection and recovery; processing network exceptions;
- secure interactions using restricted mobility, bindings,
capabilities and types;
- resource availability / network connectivity, asynchronous tasks,
dynamic binding;
Another goal of the project focuses on implementation and it involves:
- develop a fully multithreaded abstract machine
architecture, the basic computational unit;
- introduce compilation techniques and optimizations, namely
type-driven, to improve performance;
- develop a working prototype of the whole distributed system using
the above specification
People
- Luís Lopes, PhD 1999, DCC-FCUP
- Fernando Silva, PhD 1993, DCC-FCUP
- Vasco Vasconcelos, PhD 1994, DI-FCUL
- António Ravara, PhD 2000, DM-IST
- Luís Caires, PhD 1999, DI-UNL
- Álvaro Figueira, PhD student, DCC-FCUP
- Ana Gualdina, researcher, DCC-FCUP
- Hervé Paulino, PhD student, DI-UNL
- Francisco Martins, PhD student, DI-FCUL
- Licínio Oliveira, Msc student, DCC-FCUP
MIMO: Lista de Publicações Citadas no Relatório Final
- Vasco T. Vasconcelos, António Ravara, and Simon Gay. Session Types for Functional
Multithreading. In 15th International Conference on Concurrency
Theory, volume 3170 of LNCS, p. 497-511, Springer-Verlag, 2004.
- Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste,
Luís Lopes, Licínio Oliveira, Hervé Paulino, Vasco
T. Vasconcelos. A Software Framework for
Rapid Prototyping of Run-Time Systems for Mobile Calculi. In
Global Computing IST/FET International Workshop, GC 2004, Rovereto,
Italy, March 9-12, 2004 (Revised Selected Papers Series), volume
3267 of LNCS, p. 179-207, Springer-Verlag, 2005.
- Álvaro Reis Figueira. Design
and Implementation of a Distributed System with Mobility based on a
Process Calculus. Tese de doutoramento em Ciência de
Computadores pela Faculdade de Ciências da Universidade do Porto,
Maio de 2004.
- Pedro Marques. Uma Implementação
Multi-Threaded da Linguagem TyCO. Tese de mestrado. Mestrado de
Informática do Departamento de Ciência de Computadores da Faculdade
de Ciências da Universidade do Porto, Junho de 2004.
- João Paulo Magalhães. Um Sistema
de Ficheiros Distribuído para uma Arquitectura Peer-to-Peer.
Tese de mestrado. Mestrado de Informática do Departamento de Ciência
de Computadores da Faculdade de Ciências da Universidade do Porto.
- Hervé Paulino, Luís Lopes. The Mob
Core Language and Abstract Machine. Technical Report DCC-2005-05,
DCC - FC \& LIACC, Universidade do Porto, May, 2005.
- F. Martins, L. Salvador, V.T. Vasconcelos and L. Lopes.
MiKO: Mikado Koncurrent Objects.
In Foundations of Global Computing, Dagstuhl Seminar 05081, 2005.
Contact (project manager)
Email: 
Phone: +351 22 607 8830 ext. 108
Fax: +351 22 600 3654
Snail: LIACC, Universidade do Porto, Rua do Campo
Alegre, 823, 4150 Porto, Portugal.