Improving online learning activity interoperability with Acos server.
Agent-oriented and ontology-driven digital libraries: the IndianaMAS experience.
Designing expression templates with concepts.
Applying agile methods to aircraft embedded software: an experimental analysis.
PHOEBE: an automation framework for the effective usage of diagnosis tools in the performance testing of clustered systems.
LMA: A generic and efficient implementation of the Levenberg-Marquardt Algorithm.
Sampled suffix array with minimizers.
Improving spectral-based fault localization using static analysis.
Modeling Big data-based systems through ontological trading.
Name analysis for modern languages: a general solution.
Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis.
A robust reconfiguration protocol for the dynamic update of component-based software systems.
StopGap: elastic VMs to enhance server consolidation.
Regression test suite minimization using integer linear programming model.
Exogenous coordination of concurrent software components with JavaBIP.
Schedulability analysis and efficient scheduling of rate constrained messages in the TTEthernet protocol.