Sistemas Informáticos y Computación

2004

1. A conference reviewing system in mobile maude

   Electronic Notes in Theoretical Computer Science

2. A generic persistence model for (C)LP systems (and two useful implementations)

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

3. A lazy narrowing calculus for declarative constraint programming

   Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04

4. A logic programming approach to the verification of functional-logic programs

   Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04

5. A parallel language for cognitive informatics

   Proceedings of the Third IEEE International Conference on Cognitive Informatics, ICCI 2004

6. A tutoring system supporting experimentation with virtual macroeconomic environments

   Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

7. Abstraction of parallel uniform processes with data

   Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004

8. An enhanced statistical module for teleoperation through the internet

   Robotics: Trends, Principles, and Applications - Proceedings of the Sixth Biannual World Automation Congress, WAC

9. An executable specification of asynchronous Pi-calculus semantics and may testing in Maude 2.0

   Electronic Notes in Theoretical Computer Science

10. Análisis de una plataforma de teleformación desde la perspectiva de un docente de la Facultad de Informática

    En apoyo del aprendizaje en la universidad : hacia el espacio europeo de educación superior

11. Applying Occam's razor to FSMs

    Proceedings of the Third IEEE International Conference on Cognitive Informatics, ICCI 2004

12. Basic strategies to enhance teleoperation platforms through the internet

    ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems

13. De Chasqui a Chasqui II: una evolución en la conceptualización de los objetos virtuales

    Informática educativa: nuevos retos

14. Editorial message: Special track on e-commerce technologies

    Proceedings of the ACM Symposium on Applied Computing

15. El proyecto REI-MLH

    En apoyo del aprendizaje en la universidad : hacia el espacio europeo de educación superior

16. Encouraging knowledge exchange in discussion forums by market-oriented mechanisms

    Proceedings of the ACM Symposium on Applied Computing

17. Essential coordinate components of characteristic varieties

    Mathematical Proceedings of the Cambridge Philosophical Society

18. Estrategia y resultados iniciales del uso del Campus Virtual en la asignatura de "Estructuras de Datos y de la Información" de la Facultad de Informática

    En apoyo del aprendizaje en la universidad : hacia el espacio europeo de educación superior

19. Evolución de la accesibilidad de las páginas web de las universidades españolas en el bienio 2002-2004

    Tecnología, educación y diversidad: retos y realidades de la inclusión digital: Actas del III Congreso Nacional de Tecnología, Educación y Diversidad (TECNONEET 2004)

20. Experiments in abstract interpretation-based code certification for pervasive systems

    Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics