Aportaciones congreso (16) Publicaciones en las que ha participado algún/a investigador/a

2008

  1. A formal methodology to specify hierarchical agent-based systems

    SITIS 2008 - Proceedings of the 4th International Conference on Signal Image Technology and Internet Based Systems

  2. A user-centric service creation approach for next generation networks

    International Telecommunication Union - Proceedings of the 1st ITU-T Kaleidoscope Academic Conference, Innovations in NGN, K-INGN

  3. ACABARASE: An anti-spam case-based reasoning system

    3rd International Conference on Systems, ICONS 2008

  4. El factor país como determinante de la revalorización de la Serie Europa: un análisis de conglomerados

    La inversión en bienes de colección

  5. Formal development of a complex information system

    3rd International Conference on Systems, ICONS 2008

  6. Formally comparing user and implementer model-based testing methods

    2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08

  7. Formally testing liveness by means of compression rates

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

  8. Los blogs como fuente de información para el periodismo especializado

    Blogalaxia y periodismo en la red: estudios, análisis y reflexiones (Artículos, ponencias, comunicaciones y conclusiones del II Congreso Internacional de Blogs y Periodismo en la Red-UCM, 25 y 26 de abril de 2007)

  9. Los blogs como nuevo medio de comunicación científica

    Formación, investigación y mercado laboral en Información y Documentación en España y Portugal: [III Encuentro Ibérico de Docentes e Investigadores en Información y Documentación]

  10. Ontologies integration for University Institutions: Approach to an alignment evaluation

    ASWEC 2008: 19TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS

  11. Ontologies integration for university institutions: Approach to an alignment evaluation

    Proceedings of the Australian Software Engineering Conference, ASWEC

  12. Passive testing of timed systems

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

  13. Privacy and data protection in a user-centric business model for telecommunications services

    IFIP International Federation for Information Processing

  14. Reflexiones sobre la titulización como herramienta para mejorar la relación de agencia accionistas-directivos

    Estableciendo puentes en una economía global

  15. Una aproximación geodemográfica a la localización de los centros comerciales a partir del comportamiento de compra de los consumidores.

    XX Encuentro de Profesores Universitarios de Marketing [Recurso electrónico]: Universidad de Las Palmas de Gran Canaria, 17-18-19 de septiembre de 2008

  16. Using formal methods to develop a complex information system: A practical/theoretical experience

    Proceedings of the ACM Symposium on Applied Computing