Sistemas Informáticos y Computación

2005

1. A categorical approach to simulations

   Lecture Notes in Computer Science

2. A declarative debugger of incorrect answers for constraint functional-logic programs - System demonstration

   WCFLP'05 - Proceedings of the ACM SIGPLAN 2005 Workshop on Curry an Functional Logic Programming

3. A formal methodology to test complex embedded systems: Application to interactive driving system

   From Specification to Embedded Systems Application

4. A generic framework for the analysis and specialization of logic programs

   Proceedings of the 15th Workshop on Logic-based methods in Programming Environments, WLPE 2005

5. A generic framework for the analysis and specialization of logic programs

   Lecture Notes in Computer Science

6. A genetic algorithm for solving the p-median problem

   2005 European Simulation and Modelling Conference, ESM 2005 - Proceedings

7. A software performance engineering tool based on the UML-SPT

   QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems

8. A state space distribution policy based on abstract interpretation

   Electronic Notes in Theoretical Computer Science

9. A tutorial on specifying data structures in Maude

   Electronic Notes in Theoretical Computer Science

10. Abstraction carrying code and resource-awareness

    PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

11. Abstraction-carrying code

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

12. An Abstract Interpretation-based Approach to Mobile Code Safety

    Electronic Notes in Theoretical Computer Science

13. Attribute grammar evolution

    Lecture Notes in Computer Science

14. Base de datos hidrogeológicos AGUAS XXI y la aplicación GESDAGUAS del Instituto Geológico y Minero de España.: Análisis delos datos de Andalucía

    VI Simposio del Agua en Andalucía: 1 a 3 de junio, 2005 Sevilla

15. Bisimulations up-to for the linear time branching time spectrum

    Lecture Notes in Computer Science

16. Christiansen Grammar For SOme P Systems

    Third Brainstorming Week on Membrane Computing

17. Conocimiento lingüístico para la web semántica: los nombres de persona en el dominio del cine

    Perspectivas interdisciplinares de la lingüística aplicada

18. Constraint functional logic programming revisited

    Electronic Notes in Theoretical Computer Science

19. Creación de un curso sobre metodología y tecnología de la información para su uso en un campus virtual

    Cómo integrar investigación y docencia en el CV-UCM

20. Dealing denotationally with stream-based communication

    Electronic Notes in Theoretical Computer Science