PROTOTYPES
- Evolapse:Um Sistema para evolução espácio-temporal de imagens
- 18 Dec 2014
- Nuno Correia, Armanda Rodrigues, Fernando Branco
- Gluon — Verification of Contracts for Concurrency
- 1 Dec 2013
- João Lourenço, Carla Ferreira
- FairSKY - Latency and Cost Optimization in a Trustable Cloud-of-Clouds
- 1 Nov 2013
- Henrique Domingos
- NoHR 1.0 - Reasoning with Rules and Ontologies
- 22 Oct 2013
- Vadim Ivanov, Matthias Knorr, João Leite
- PARdstm - Partial Data Replication for Distributed Transactional Memory in Java
- 1 Sep 2013
- João Lourenço, Hervé Paulino, João A Silva
Prototype
Prototype
Prototype
Prototype
Prototype