Login

Articles

Model-Driven Development for Early Aspects

Article

Published in 01/01/2009

Authors

Pablo Sanchez, Ana Moreira, Lidia Fuentes, João Araújo,

V 0 production in p + A collisions at root s = 41.6 GeV

Article

Published in 01/01/2009

Authors

Hera-B Collaboration (197 researchers), Vasco Amaral,

A formal proof of Euler’s polyhedron formula

Article

Published in 01/01/2009

Authors

Jesse Alama,

AERONET-OC: A Network for the Validation of Ocean Color Primary Radiometric Products

Article

Published in 01/01/2009

Authors

G. Zibordi, B. Holben, I. Slutsker, D. Giles, F. Melin, J.-F. Berthon, D. Vandemark, H. Feng, G. Schuster, B. E. Fabbri, S. Kaitala, J. Seppala,

Improving the Automatic Evaluation of Problem Solutions in Programming Contests

Article

Published in 01/01/2009

Authors

Pedro Ribeiro, Pedro Guerreiro,

Applying semantic Web technologies to knowledge sharing to aerospace engineering

Article

Published in 01/01/2009

Authors

Aba-Sah Dadzie, Ajay Chakravarthy, Sam Chapman, Vita Lanfranchi, João Magalhães, Daniela Petrelli, Fabio Ciravegna,

MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation

Article

Published in 01/01/2009

Authors

Jon whittle, Ana Moreira, João Araújo,

Introduction to the Special Issue on Combining Probability and Logic

Article

Published in 01/01/2009

Authors

Fabio Cozman, Rolf Haenni, Jan Willem Romeijn, Gregory Wheeler, Jon Williamson,

On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs

Article

Published in 01/01/2009

Authors

Umberto Straccia, Manuel Ojeda-Aciego, Carlos Viegas Damásio,

ERASP – A System for Enhancing Recommendations using Answer-Set Programming

Article

Published in 01/01/2009

Authors

Manoela Ilic, João Leite, Martin Slota,