The automatic creation of OLAP cube using an MDA approach.
Modelling, validating, and ranking of secure service compositions.
Building design-time and run-time knowledge for QoS-based component assembly.
Technology beats algorithms (in exact string matching).
A model-based framework for automatic generation of a pattern language verifier.