Instituto de Tecnología del Conocimiento (ITC)

2012

1. A GA combining technical and fundamental analysis for trading the stock market

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2. A case-based solution to the cold-start problem in group recommenders

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

3. A centralized and a decentralized method to automatically derive choreography-conforming web service systems

   Journal of Logic and Algebraic Programming

4. A graph grammar-based dynamic reconfiguration for virtualized web service-based composite architectures

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

5. A model for efficient onboard actualization of an instrumental cyclogram for the mars MetNet mission on a public cloud infrastructure

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

6. A model-driven process for the modernization of component-based systems

   Science of Computer Programming

7. A technique for the optimization of the parameters of technical indicators with multi-objective evolutionary algorithms

   2012 IEEE Congress on Evolutionary Computation, CEC 2012

8. Analysis of may-happen-in-parallel in concurrent objects

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

9. Application of genetic algorithms to the optimization of the robustness of controllers

   World Scientific Proc. Series on Computer Engineering and Information Science 7; Uncertainty Modeling in Knowledge Engineering and Decision Making - Proceedings of the 10th International FLINS Conf.

10. Automated extraction of abstract behavioural models from JMS applications

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

11. Automatic inference of resource consumption bounds

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

12. Block tridiagonal solvers on heterogeneous architectures

    Proceedings of the 2012 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2012

13. COSTABS: A cost and termination analyzer for ABS

    Conference Record of the Annual ACM Symposium on Principles of Programming Languages

14. Caractérisation de la reconfiguration dynamique des architectures logicielles par les grammaires de graphe

    6eme Edition de la Conference Francophone sur les Architectures Logicielles, CAL 2012

15. Case-based aggregation of preferences for group recommenders

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

16. Comparison of admission control policies for service provision in public clouds

    Advances in Parallel Computing

17. Cost analysis of object-oriented bytecode programs

    Theoretical Computer Science

18. Decision fuzzy system on the state of delayed vehicles

    World Scientific Proc. Series on Computer Engineering and Information Science 7; Uncertainty Modeling in Knowledge Engineering and Decision Making - Proceedings of the 10th International FLINS Conf.

19. Declarative debugging of rewriting logic specifications

    Journal of Logic and Algebraic Programming

20. Development of a code generator for the ICARO agent framework

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)