Publications (21)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2006 Remove filter
filter_list from 2006 to 2006 Software

2006

  1. A generic MOF metamodel for aspect-oriented modelling

    Proc. - Joint Meeting of the 4th Workshop on Model-Based Dev. of Computer-Based Systems and the 3rd Int. Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MBD/MOMPES 2006

  2. A majority model in group decision making using QMA-OWA operators

    International Journal of Intelligent Systems, Vol. 21, Núm. 2, pp. 193-208

  3. A new constructive approach for creating all linearly separable (threshold) functions

    IEEE International Conference on Neural Networks - Conference Proceedings

  4. A tabulation proof procedure for first-order residuated logic programs: Soundness, completeness and optimizations

    IEEE International Conference on Fuzzy Systems

  5. Analysis of distributed genetic algorithms for solving cutting problems

    International Transactions in Operational Research, Vol. 13, Núm. 5, pp. 403-423

  6. Component adaptation through flexible subservicing

    Science of Computer Programming, Vol. 63, Núm. 1, pp. 39-56

  7. Computing nine new best-so-far solutions for Capacitated VRP with a cellular Genetic Algorithm

    Information Processing Letters, Vol. 98, Núm. 6, pp. 225-230

  8. Estimating oligo-nucleotide microarray expression by hybridization process modelling

    2006 IEEE/NLM Life Science Systems and Applications Workshop, LiSA 2006

  9. FE-CIDIM: Fast ensemble of CIDIM classifiers

    International Journal of Systems Science, Vol. 37, Núm. 13, pp. 939-947

  10. Implementing influence analysis using parameterised boolean equation systems

    Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

  11. Implications of a formative evaluation for improving the educational effectiveness of an educational game for Spanish orthography

    Proceedings - Sixth International Conference on Advanced Learning Technologies, ICALT 2006

  12. Monads can be rough

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

  13. Natural language tagging with genetic algorithms

    Information Processing Letters, Vol. 100, Núm. 5, pp. 173-182

  14. On the execution of ODP computational specifications

    Proceedings - 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops, EDOCW2006

  15. On the semantics of software adaptation

    Science of Computer Programming, Vol. 61, Núm. 2, pp. 136-151

  16. Parallel simulation of three-dimensional bursting with MPI and OpenMP

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

  17. Programando para MPI: Message Passing Interface (III)

    Mundo Linux: Sólo programadores Linux, Núm. 91, pp. 28-33

  18. Software testing with evolutionary strategies

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

  19. Towards MDD transformations from AO requirements into AO architecture

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

  20. Towards a consistent terminology for software measurement

    Information and Software Technology, Vol. 48, Núm. 8, pp. 631-644