Comunicaciones a congresos

Año: 2006

  • Providing SCORM with Adaptivity
    Rey López, M., Fernández Vilas, A., Díaz Redondo, R. P. & Pazos Arias, J. J (2006). En 15th International World Wide Web Conference (WWW), páginas 981-982. ACM Press.

Año: 2005

  • AVATAR: A Flexible Approach to Improve the Personalized TV by Semantic Inference
    Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A. & Ramos Cabrer, M (2005). En 1st Workshop on Web Personalization, Recommender Systems and Intelligent User Interfaces (WPRSIUI), páginas 76-85. Reading, U.K..
  • AVATAR: A Multi-Agent TV Recommender System Using MHP Applications
    Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., López Nores, M. & Barragáns Martínez, A. B (2005). En IEEE International Conference on E-Technology, E-Commerce and E-Service (EEE), páginas 660-665. IEEE Computer Society Press.
  • AVATAR: An Approach based on Semantic Reasoning to Recommend Personalized TV Programs.
    Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., Fernández Vilas, A., Díaz Redondo, R. P. et al (2005). En 14th International World Wide Web Conference (WWW). Poster session, páginas 1078-1079. Chiba, Japan : ACM Press.
  • AVATAR: Modeling Users by Dynamic Ontologies in a TV Recommender System based on Semantic Reasoning
    Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., López Nores, M. & Barragáns Martínez, A. B (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 173-182.
  • AVATAR: Un Sistema de Recomendación Personalizada de Contenidos Televisivos Basado en Información Semántica
    Ramos Cabrer, M., Blanco Fernández, Y. & Gil Solla, A (2005). En Pazos Arias, J. (editor), V Jornadas de Ingeniería Telemática (JITEL 2005), páginas 685-692. Vigo, Spain.
  • Bringing Standards into T-learning
    López Nores, M., Pazos Arias, J. J., Díaz Redondo, R. P., Blanco Fernández, Y., García Duque, J., Rey López, M. et al (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 79-86.
  • Collaborative T-learning: Bringing Greater Levels of Interactivity into the Home
    López Nores, M., Elexpuru Eguía, A., Blanco Fernández, Y., Pazos Arias, J. J., Barragáns Martínez, A. B., García Duque, J. et al (2005). En IEEE International Conference on E-Technology, E-Commerce and E-Service (EEE), páginas 588-591. Hong Kong : IEEE Computer Society Press.
  • Eliciting Requirements and Scenarios Using the SCTL-MUS Methodology. The Shuttle System Case Study
    Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B (2005). En 27th International Conference on Software Engineering (ICSE), Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM), páginas 1-5. St. Louis, Missouri, USA : ACM Press.
  • Locating Crosscutting Concerns in the Formal Specification of Distributed Reactive Systems
    Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B (2005). En 27th International Conference on Software Engineering (ICSE), Workshop on the Modeling and Analysis of Concerns in Software (MACS), páginas 1-5. St. Louis, Missouri, USA : ACM Press.
  • Merging Requirements Views with Incompleteness and Inconsistency
    Barragáns Martínez, A. B., Pazos Arias, J. J. & Fernández Vilas, A (2005). En 16th IEEE Australian Software Engineering Conference (ASWEC), páginas 58-67. IEEE Computer Society Press.
  • Multi-valued Model Checking in Dense-Time
    Fernández Vilas, A., Pazos Arias, J. J., Barragáns Martínez, A. B., López Nores, M., Díaz Redondo, R. P., Gil Solla, A. et al (2005). En 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) - Lecture Notes in Computer Science, páginas 638-649. Barcelona, Spain : Springer Verlag.
  • On the Specification of Interaction Patterns for Collaborative T-learning Services
    López Nores, M., Pazos Arias, J. J., García Duque, J., Barragáns Martínez, A. B., Blanco Fernández, Y., Díaz Redondo, R. P. et al (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 231-233.
  • Optimizing Web Services Performance Using Caching
    Fernández Vilas, J. A., Pazos Arias, J. J. & Fernández Vilas, A (2005). En IEEE International Conference on Next Generation Web Services Practices (NWeSP), páginas 157-162. IEEE Computer Society.
  • Solutions for Personalized T-learning
    López Nores, M., Pazos Arias, J. J., Blanco Fernández, Y., Rey López, M., García Duque, J., Barragáns Martínez, A. B. et al (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 235-236. Aalborg, Denmark.
  • Tracing Integration Analysis in Component-Based Formal Specifications
    López Nores, M., Pazos Arias, J. J., García Duque, J., Barragáns Martínez, A. B., Díaz Redondo, R. P., Fernández Vilas, A. et al (2005). En 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS) - Lecture Notes in Computer Science, páginas 147-162.

Año: 2004

  • A Formal Approach to Component-Based Specification with Improved Requirements Traceability
    López Nores, M. & Pazos Arias, J. J (2004). En 12th International Requirements Engineering Conference (RE), Doctoral Symposium. Kyoto, Japan : IEEE Computer Society Press.
  • A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models
    Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., Gil Solla, A. & García Duque, J (2004). En 4th International Conference on Integrated Formal Methods (IFM 2004), páginas 382-401. Springer Verlag.
  • A Multi-Agent Open Architecture for a TV Recommender System: A Case Study using a Bayesian Strategy
    Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., Barragáns Martínez, A. B. & López Nores, M (2004). En 6th IEEE International Symposium on Multimedia Software Engineering (MSE), páginas 178-185. Miami, FL, USA : IEEE Computer Society Press.
  • A Technological Framework for TV-supported Collaborative Learning
    López Nores, M., Elexpuru Eguía, A., Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., García Duque, J. et al (2004). En 6th IEEE International Symposium on Multimedia Software Engineering (MSE), páginas 72-79.
  • An Architecture for Building Web Services with Quality-of-Service Features
    Fernández Vilas, J. A., Pazos Arias, J. J. & Fernández Vilas, A (2004). En 5th International Conference on Web-Age Information Management (WAIM). Poster and Demonstration Track. Dalian, China : Springer.
  • An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts
    López Nores, M., Díaz Redondo, R. P., Pazos Arias, J. J. & García Duque, J (2004). En 11th Asia-Pacific Software Engineering Conference (APSEC), páginas 38-45. Busan, Korea : IEEE Computer Society Press.
  • AVATAR: Advanced Telematic Search of Audiovisual Contents by Semantic Reasoning
    Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., García Duque, J., Díaz Redondo, R. P. et al (2004). En 4th Workshop on Personalization in Future TV (TV), páginas 246-251. Eindhoven, The Netherlands.
  • AVATAR: An Advanced Multi-Agent Recommender System of Personalized TV Contents by Semantic Reasoning
    Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., Barragáns Martínez, A. B., López Nores, M. et al (2004). En 5th International Conference on Web Information System Engineering - Lecture Notes in Computer Science, páginas 415-421. Brisbane, Australia : Springer Verlag.
  • High Availability with Clusters of Web Services
    Fernández Vilas, J. A., Pazos Arias, J. J. & Fernández Vilas, A (2004). En 6th Asia Pacific Web Conference (APWeb), páginas 644-653. Springer Verlag.