Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Supervised
thesis

A calculus of architectural patterns

Author Alejandro Sanchez

Degree MSc

Institution UM

Elastic Enterprise Applications

Author Ana Luísa Parreira Nunes Alonso

Degree MSc

Institution UM

Dynamic contracts for verification and enforcement of real-time systems properties

Author André Matos Pedro

Degree MSc

Institution UM

Dynamic contracts for verification and enforcement of real-time systems properties

Author André Matos Pedro

Degree MSc

Institution IPP-ISEP

Audiovisual perception in a Virtual World

Author Carlos César Loureiro Silva

Degree MSc

Institution UM

Foundations for Quantum Algoritmics

Author Carlos Eduardo Teixeira Tavares

Degree MSc

Institution UM

Pointfree Program Calculation — Theory and Applications

Author Claudia Monica Necco

Degree MSc

Institution UM

Software Verification and Defect Analysis

Author Claudio Filipe Belo Silva Lourenço

Degree MSc

Institution UM

SiclopDB - Um Framework Orientado a SLA para Processamento Eficiente de Consultas em Bancos de Dados Disponibilizados em Ambiente de Nuvem

Author Clayton Maciel Costa

Degree MSc

Institution UM

Towards a transactional and analytical data management system for Big Data

Author Fábio André Castanheira Luís Coelho

Degree MSc

Institution UM

Fault Tolerant Service Integration

Author Filipe José de Oliveira Campos

Degree MSc

Institution UM

A Highly Scalable Transactional Query Engine for Cloud Computing

Author Francisco Miguel da Cruz

Degree MSc

Institution UM

  • 748
  • 804