Arquivo de Articles - Page 15 of 17 - NOVA LINCS NOVA LINCS

Login

Combining behavioural types with security analysis

Published in 17/10/2015

Authors

Massimo Bartoletti, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira,

PIXIDA: Optimizing Data Parallel Jobs in Wide-Area Data Analytics

Published in 01/10/2015

Authors

Konstantinos Kloudas, Margarida Mamede, Nuno Preguiça, Rodrigo Rodrigues,

Combining Behavioural Types With Security Analysis

Published in 01/09/2015

Authors

Ilaria Castellani, Jorge A Pérez, Jovanka Pantovic, Mariangiola Dezani-Ciancaglini, Massimo Bartoletti, Silvia Ghilezan, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira,

OHL Assessment and Risk Evaluation Based on Environmental and Inspection Data

Published in 01/09/2015

Authors

Francisco Azevedo, Susana de Almeida de Graaff,

Execution of Compound Multi-Kernel OpenCL Computations in Multi-CPU/Multi-GPU Environments

Published in 01/08/2015

Authors

Fernando Jorge Marques Alexandre, Hervé Paulino,

Understanding the SNN Input Parameters and How They Affect the Clustering Results

Published in 01/07/2015

Authors

Guilherme Moreira, David Taniar, João Moura Pires, Maribel Yasmina Santos,

Emergence of Cooperation via Intention Recognition, Commitment, and Apology — A Research Summary

Published in 01/06/2015

Authors

Han The Anh, Luís Moniz Pereira, Francisco Santos, Tom Lenaerts,

TABDUAL: a Tabled Abduction System for Logic Programs

Published in 01/06/2015

Authors

Ari Saptawijaya, Luís Moniz Pereira,

Apology and Forgiveness Evolve to Resolve Failures in Cooperative Agreements

Published in 01/06/2015

Authors

Luis Martinez-Vaquero, Han The Anh, Luís Moniz Pereira, Tom Lenaerts,

A Seed Expanding Cluster Algorithm for Deriving Upwelling Areas on Sea Surface Temperature Images

Published in 01/06/2015

Authors

Susana Nascimento, Vasily Demyanov, Mikhail Kanevski, Boris Mirkin,