Login

Articles

Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities

Article

Published in 01/04/2014

Authors

Alexandre Goldsztejn, Jorge Cruz, Elsa Carvalho,

Casual Games with a Pervasive Twist

Article

Published in 01/04/2014

Authors

Sofia Reis, Nuno Correia,

Notas Leitura/Recensão Crítica: Federico Pistono, Robots will steal your job, but that’s ok: how to survive the economic collapse and be happy

Article

Published in 01/04/2014

Authors

Nuno C Marques,

Autonomic Workflow Activities: The AWARD Framework

Article

Published in 01/04/2014

Authors

Luis Assunção, Carlos Gonçalves, José Cardoso e Cunha,

Why-provenance information for RDF, rules, and negation

Article

Published in 01/03/2014

Authors

Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou, Ioannis Pachoulakis,

Evaluating Scenario-Based SPL Requirements Approaches — The Case for Modularity, Stability and Expressiveness

Article

Published in 01/03/2014

Authors

Leopoldo Teixeira, Paola Acciola, Uira Kulesza, Ana Moreira, João Araújo, Paulo Borba,

Web-GIS models: accomplishing modularity with aspects

Article

Published in 01/03/2014

Authors

Matias Urbieta, João Araújo, Armanda Rodrigues, Ana Moreira, S. Gordillo, Gustavo Rossi,

A goal-directed implementation of query answering for hybrid MKNF knowledge bases

Article

Published in 01/03/2014

Authors

Sofia Gomes, José Júlio Alferes,

?On Strong and Default Negation in Answer-Set Program Update

Article

Published in 01/01/2014

Authors

Martin Slota, Martin Balaz, João Leite,

Consistency Checking in Early SPL Specifications – The VCC Approach

Article

Published in 01/01/2014

Authors

Roberto Erick Lopez-Herrejon, Ana Moreira, Vasco Amaral, Alexander Egyed,