Año: 2005
-
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.
[Más]
-
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.
[Más]
-
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.
[Más]
-
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.
[Más]
-
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.
[Más]
-
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.
[Más]
Año: 2004
-
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.
[Más]
-
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.
[Más]
-
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.
[Más]
-
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.
[Más]
-
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.
[Más]
-
Incremental Specification with SCTL/MUS-T: A Case Study.
Fernández Vilas, A., Pazos Arias, J. J., Gil Solla, A., Díaz Redondo, R. P., García Duque, J. & Barragáns Martínez, A. B. (2004). Journal of Systems and Software, 70(1-2), 189-208.
[Más]
-
Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage
Díaz Redondo, R. P., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J., Gil Solla, A. et al (2004). En 8th International Conference on Software Reuse (ICSR) - Lecture Notes in Computer Science, páginas 1-10.
[Más]
-
Technologies to Support Collaborative Learning over the Multimedia Home Platform
López Nores, M., Blanco Fernández, Y., Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Gil Solla, A. et al (2004). En 3rd International Conference on Web-Based Learning (ICWL) - Lecture Notes in Computer Science, páginas 83-90. Springer Verlag.
[Más]
Año: 2003
-
A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform
López Nores, M., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A., Pazos Arias, J. J., Ramos Cabrer, M. et al (2003). En 1st International Workshop on Multimedia Interactive Protocols and Systems (MIPS) - Lecture Notes in Computer Science, páginas 376-387. Springer Verlag.
[Más]
-
Experiencias sobre una Implementación Libre y Abierta del Estándar MHP para TV Digital Interactiva
Gil Solla, A., Pazos Arias, J. J., López Nores, M. & Blanco Fernández, Y (2003). En IV Jornadas de Ingeniería Telemática, páginas 431-438. Las Palmas de Gran Canaria, Spain.
[Más]
-
Improving the Consistency Checking Process by Reusing Formal Verification Knowledge
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (2003). En Andrei Ershov 5th. International Conference Perspectives of System Informatics (PSI), páginas 366-380. Akademgorodok, Novosibirsk, Russia.
[Más]
-
The MHP (Multimedia Home Platform) Framework for Web Access through Digital TV
Gil Solla, A., Pazos Arias, J. J., García Duque, J., Fernández Vilas, A. & Ramos Cabrer, M (2003). En International Conference on Web Engineering (ICWE), páginas 523-524. Oviedo, Spain : Springer.
[Más]
Año: 2002
-
A MHP receiver over RT-Linux for Digital TV
Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M (2002). En IADIS International Conference WWW/Internet (IADIS), páginas 624-627. Lisboa, Portugal.
[Más]
-
DVB-MHP transport Stream Generator
Gil Solla, A., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M., Rodríguez Rubio, R. F. & García Duque, J (2002). En 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), páginas 453-456. Zadar, Croatia : IEEE Computer Society Press.
[Más]
-
Experiences from Implementing a MHP Receiver
López Ardao, J. C., López García, C., Gil Solla, A., Díaz Redondo, R. P., Fernández Vilas, A., Fernández Veiga, M. et al (2002). En 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), páginas 441-446. Zadar, Croatia : IEEE Computer Society Press.
[Más]
-
Exploring T-Learning in the MHP Context
Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M (2002). En IADIS International Conference WWW/Internet (IADIS), páginas 743-746. Lisboa, Portugal.
[Más]
-
Internet-TV Convergence in DVB-MHP
Gil Solla, A., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M. & Ramos Cabrer, M (2002). En 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), páginas 447-453. Zadar, Croatia : IEEE Computer Society Press.
[Más]
-
Realidades y Posibilidades de XML en la Normalización de la TV Digital con MHP (Multimedia Home Platform).
Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M. (2002). Novática, (158), 31-35.
[Más]
-
Realities and Possibilities of XML in the Standardization of Digital TV with MHP (Multimedia Home Platform).
Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M. (2002). Revista online, 3(4), 32-37.
[Más]
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. [Más]
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. [Más]
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. [Más]
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. [Más]
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. [Más]
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. [Más]
-
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. [Más] -
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. [Más] -
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. [Más] -
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. [Más] -
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. [Más] -
Incremental Specification with SCTL/MUS-T: A Case Study.
Fernández Vilas, A., Pazos Arias, J. J., Gil Solla, A., Díaz Redondo, R. P., García Duque, J. & Barragáns Martínez, A. B. (2004). Journal of Systems and Software, 70(1-2), 189-208. [Más] -
Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage
Díaz Redondo, R. P., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J., Gil Solla, A. et al (2004). En 8th International Conference on Software Reuse (ICSR) - Lecture Notes in Computer Science, páginas 1-10. [Más] -
Technologies to Support Collaborative Learning over the Multimedia Home Platform
López Nores, M., Blanco Fernández, Y., Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Gil Solla, A. et al (2004). En 3rd International Conference on Web-Based Learning (ICWL) - Lecture Notes in Computer Science, páginas 83-90. Springer Verlag. [Más]
Año: 2003
-
A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform
López Nores, M., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A., Pazos Arias, J. J., Ramos Cabrer, M. et al (2003). En 1st International Workshop on Multimedia Interactive Protocols and Systems (MIPS) - Lecture Notes in Computer Science, páginas 376-387. Springer Verlag.
[Más]
-
Experiencias sobre una Implementación Libre y Abierta del Estándar MHP para TV Digital Interactiva
Gil Solla, A., Pazos Arias, J. J., López Nores, M. & Blanco Fernández, Y (2003). En IV Jornadas de Ingeniería Telemática, páginas 431-438. Las Palmas de Gran Canaria, Spain.
[Más]
-
Improving the Consistency Checking Process by Reusing Formal Verification Knowledge
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (2003). En Andrei Ershov 5th. International Conference Perspectives of System Informatics (PSI), páginas 366-380. Akademgorodok, Novosibirsk, Russia.
[Más]
-
The MHP (Multimedia Home Platform) Framework for Web Access through Digital TV
Gil Solla, A., Pazos Arias, J. J., García Duque, J., Fernández Vilas, A. & Ramos Cabrer, M (2003). En International Conference on Web Engineering (ICWE), páginas 523-524. Oviedo, Spain : Springer.
[Más]
Año: 2002
-
A MHP receiver over RT-Linux for Digital TV
Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M (2002). En IADIS International Conference WWW/Internet (IADIS), páginas 624-627. Lisboa, Portugal.
[Más]
-
DVB-MHP transport Stream Generator
Gil Solla, A., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M., Rodríguez Rubio, R. F. & García Duque, J (2002). En 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), páginas 453-456. Zadar, Croatia : IEEE Computer Society Press.
[Más]
-
Experiences from Implementing a MHP Receiver
López Ardao, J. C., López García, C., Gil Solla, A., Díaz Redondo, R. P., Fernández Vilas, A., Fernández Veiga, M. et al (2002). En 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), páginas 441-446. Zadar, Croatia : IEEE Computer Society Press.
[Más]
-
Exploring T-Learning in the MHP Context
Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M (2002). En IADIS International Conference WWW/Internet (IADIS), páginas 743-746. Lisboa, Portugal.
[Más]
-
Internet-TV Convergence in DVB-MHP
Gil Solla, A., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M. & Ramos Cabrer, M (2002). En 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), páginas 447-453. Zadar, Croatia : IEEE Computer Society Press.
[Más]
-
Realidades y Posibilidades de XML en la Normalización de la TV Digital con MHP (Multimedia Home Platform).
Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M. (2002). Novática, (158), 31-35.
[Más]
-
Realities and Possibilities of XML in the Standardization of Digital TV with MHP (Multimedia Home Platform).
Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M. (2002). Revista online, 3(4), 32-37.
[Más]
López Nores, M., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A., Pazos Arias, J. J., Ramos Cabrer, M. et al (2003). En 1st International Workshop on Multimedia Interactive Protocols and Systems (MIPS) - Lecture Notes in Computer Science, páginas 376-387. Springer Verlag. [Más]
Gil Solla, A., Pazos Arias, J. J., López Nores, M. & Blanco Fernández, Y (2003). En IV Jornadas de Ingeniería Telemática, páginas 431-438. Las Palmas de Gran Canaria, Spain. [Más]
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (2003). En Andrei Ershov 5th. International Conference Perspectives of System Informatics (PSI), páginas 366-380. Akademgorodok, Novosibirsk, Russia. [Más]
Gil Solla, A., Pazos Arias, J. J., García Duque, J., Fernández Vilas, A. & Ramos Cabrer, M (2003). En International Conference on Web Engineering (ICWE), páginas 523-524. Oviedo, Spain : Springer. [Más]
-
A MHP receiver over RT-Linux for Digital TV
Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M (2002). En IADIS International Conference WWW/Internet (IADIS), páginas 624-627. Lisboa, Portugal. [Más] -
DVB-MHP transport Stream Generator
Gil Solla, A., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M., Rodríguez Rubio, R. F. & García Duque, J (2002). En 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), páginas 453-456. Zadar, Croatia : IEEE Computer Society Press. [Más] -
Experiences from Implementing a MHP Receiver
López Ardao, J. C., López García, C., Gil Solla, A., Díaz Redondo, R. P., Fernández Vilas, A., Fernández Veiga, M. et al (2002). En 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), páginas 441-446. Zadar, Croatia : IEEE Computer Society Press. [Más] -
Exploring T-Learning in the MHP Context
Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M (2002). En IADIS International Conference WWW/Internet (IADIS), páginas 743-746. Lisboa, Portugal. [Más] -
Internet-TV Convergence in DVB-MHP
Gil Solla, A., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M. & Ramos Cabrer, M (2002). En 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), páginas 447-453. Zadar, Croatia : IEEE Computer Society Press. [Más] -
Realidades y Posibilidades de XML en la Normalización de la TV Digital con MHP (Multimedia Home Platform).
Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M. (2002). Novática, (158), 31-35. [Más] -
Realities and Possibilities of XML in the Standardization of Digital TV with MHP (Multimedia Home Platform).
Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M. (2002). Revista online, 3(4), 32-37. [Más]