Year: 2007
-
Non-Invasive and Personalized Advertising through MPEG-4 Processing and Semantic Reasoning
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y. & Gil Solla, A (2007). In IEEE International Conference on Consumer Electronics (ICCE). Las Vegas, USA.
[More]
-
Providing Web Services over DVB-H: Mobile Virtual Web Services.
Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Gil Solla, A. & García Duque, J. (2007). IEEE Transactions on Consumer Electronics, 53(2), 644-652.
[More]
-
Spontaneous and Personalized Advertising through MPEG-7 Markup and Semantic Reasoning
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Rey López, M. & Casquero Villacorta, E (2007). In 2nd International Conference on Signal Processing and Multimedia Applications (SIGMAP). Barcelona, Spain.
[More]
Year: 2006
-
A Core of Standards to Support T-learning
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y. & Gil Solla, A (2006). In 6th IEEE International Conference on Advanced Learning Technologies (ICALT), pages 13-15. IEEE Computer Society.
[More]
-
A Six-Valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.
García Duque, J., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A. et al. (2006). Journal of Logic and Computation, 16(2), 227-255.
[More]
-
An Agile Approach to Support Incremental Development of Requirements Specifications
López Nores, M., Pazos Arias, J. J., García Duque, J. & Barragáns Martínez, A. B (2006). In 17th IEEE Australian Software Engineering Conference (ASWEC), pages 9-18. Sidney, Australia : IEEE Computer Society.
[More]
-
ATLAS: A Framework to Provide Multiuser and Distributed T-learning Services over MHP.
Pazos Arias, J. J., López Nores, M., García Duque, J., Gil Solla, A., Ramos Cabrer, M., Blanco Fernández, Y. et al. (2006). Software, Practice and Experience, 36(8), 845-869.
[More]
-
Bringing the Agile Philosophy to Formal Specification Settings.
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Díaz Redondo, R. P., Fernández Vilas, A. et al. (2006). International Journal of Software Engineering and Knowledge Engineering, 16(6), 951-986.
[More]
-
Controlling the Smart Home from TV.
Ramos Cabrer, M., Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J. & García Duque, J. (2006). IEEE Transactions on Consumer Electronics, 52(2), 421-429.
[More]
-
Formal Reasoning under Uncertainty to Improve Service Provision in Mobile Ad-hoc Networks
López Nores, M., Pazos Arias, J. J., García Duque, J., Fernández Vilas, A. & Díaz Redondo, R. P (2006). In 32nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM). Merin, Czech Republic.
[More]
-
Formal Specification Applied to Distributed Multiuser Services: Experiences in Collaborative T-learning.
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Ramos Cabrer, M., Gil Solla, A. et al. (2006). Journal of Systems and Software, 79(8), 1141-1155.
[More]
-
Guidelines for the Incremental Identification of Aspects in Requirements Specifications.
García Duque, J., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A. et al. (2006). Requirements Engineering, 11(4), 239-263.
[More]
-
Improving the Dependability of Mobile Ad-Hoc Networks through Formal Reasoning
López Nores, M., Pereira Paz, D., Pazos Arias, J. J., García Duque, J. & Casquero Villacorta, E (2006). In 25th Conference on Computer Communications (INFOCOM). Poster session.
[More]
-
Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements
López Nores, M., García Duque, J. & Pazos Arias, J. J (2006). In 8th International Conference on Coordination Models and Languages (COORDINATION) - Lecture Notes in Computer Science, pages 164-178. Bolonia, Italy : Springer Verlag.
[More]
-
MHP-OSGi Convergence: A New Model for Open Residential Gateways.
Fernández Vilas, A., Díaz Redondo, R. P., Ramos Cabrer, M., Pazos Arias, J. J., Gil Solla, A., García Duque, J. et al. (2006). Software, Practice and Experience, 36(13), 1421-1442.
[More]
Year: 2005
-
ARIFS Methodology: Reusing Incomplete Models at the Requirements Specification Stage.
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A. (2005). International Journal of Software Engineering and Knowledge Engineering, 15(4), 607-645.
[More]
-
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). In 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), pages 79-86.
[More]
-
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). In IEEE International Conference on E-Technology, E-Commerce and E-Service (EEE), pages 588-591. Hong Kong : IEEE Computer Society Press.
[More]
-
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). ACM Software Engineering Notes, 30(4), 1-5.
[More]
-
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). In 27th International Conference on Software Engineering (ICSE), Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM), pages 1-5. St. Louis, Missouri, USA : ACM Press.
[More]
-
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). ACM Software Engineering Notes, 30(4), 1-5.
[More]
-
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). In 27th International Conference on Software Engineering (ICSE), Workshop on the Modeling and Analysis of Concerns in Software (MACS), pages 1-5. St. Louis, Missouri, USA : ACM Press.
[More]
-
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). In 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) - Lecture Notes in Computer Science, pages 638-649. Barcelona, Spain : Springer Verlag.
[More]
-
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). In 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), pages 231-233.
[More]
-
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). In 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), pages 235-236. Aalborg, Denmark.
[More]
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y. & Gil Solla, A (2007). In IEEE International Conference on Consumer Electronics (ICCE). Las Vegas, USA. [More]
Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Gil Solla, A. & García Duque, J. (2007). IEEE Transactions on Consumer Electronics, 53(2), 644-652. [More]
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Rey López, M. & Casquero Villacorta, E (2007). In 2nd International Conference on Signal Processing and Multimedia Applications (SIGMAP). Barcelona, Spain. [More]
-
A Core of Standards to Support T-learning
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y. & Gil Solla, A (2006). In 6th IEEE International Conference on Advanced Learning Technologies (ICALT), pages 13-15. IEEE Computer Society. [More] -
A Six-Valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.
García Duque, J., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A. et al. (2006). Journal of Logic and Computation, 16(2), 227-255. [More] -
An Agile Approach to Support Incremental Development of Requirements Specifications
López Nores, M., Pazos Arias, J. J., García Duque, J. & Barragáns Martínez, A. B (2006). In 17th IEEE Australian Software Engineering Conference (ASWEC), pages 9-18. Sidney, Australia : IEEE Computer Society. [More] -
ATLAS: A Framework to Provide Multiuser and Distributed T-learning Services over MHP.
Pazos Arias, J. J., López Nores, M., García Duque, J., Gil Solla, A., Ramos Cabrer, M., Blanco Fernández, Y. et al. (2006). Software, Practice and Experience, 36(8), 845-869. [More] -
Bringing the Agile Philosophy to Formal Specification Settings.
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Díaz Redondo, R. P., Fernández Vilas, A. et al. (2006). International Journal of Software Engineering and Knowledge Engineering, 16(6), 951-986. [More] -
Controlling the Smart Home from TV.
Ramos Cabrer, M., Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J. & García Duque, J. (2006). IEEE Transactions on Consumer Electronics, 52(2), 421-429. [More] -
Formal Reasoning under Uncertainty to Improve Service Provision in Mobile Ad-hoc Networks
López Nores, M., Pazos Arias, J. J., García Duque, J., Fernández Vilas, A. & Díaz Redondo, R. P (2006). In 32nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM). Merin, Czech Republic. [More] -
Formal Specification Applied to Distributed Multiuser Services: Experiences in Collaborative T-learning.
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Ramos Cabrer, M., Gil Solla, A. et al. (2006). Journal of Systems and Software, 79(8), 1141-1155. [More] -
Guidelines for the Incremental Identification of Aspects in Requirements Specifications.
García Duque, J., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A. et al. (2006). Requirements Engineering, 11(4), 239-263. [More] -
Improving the Dependability of Mobile Ad-Hoc Networks through Formal Reasoning
López Nores, M., Pereira Paz, D., Pazos Arias, J. J., García Duque, J. & Casquero Villacorta, E (2006). In 25th Conference on Computer Communications (INFOCOM). Poster session. [More] -
Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements
López Nores, M., García Duque, J. & Pazos Arias, J. J (2006). In 8th International Conference on Coordination Models and Languages (COORDINATION) - Lecture Notes in Computer Science, pages 164-178. Bolonia, Italy : Springer Verlag. [More] -
MHP-OSGi Convergence: A New Model for Open Residential Gateways.
Fernández Vilas, A., Díaz Redondo, R. P., Ramos Cabrer, M., Pazos Arias, J. J., Gil Solla, A., García Duque, J. et al. (2006). Software, Practice and Experience, 36(13), 1421-1442. [More]
Year: 2005
-
ARIFS Methodology: Reusing Incomplete Models at the Requirements Specification Stage.
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A. (2005). International Journal of Software Engineering and Knowledge Engineering, 15(4), 607-645.
[More]
-
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). In 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), pages 79-86.
[More]
-
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). In IEEE International Conference on E-Technology, E-Commerce and E-Service (EEE), pages 588-591. Hong Kong : IEEE Computer Society Press.
[More]
-
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). ACM Software Engineering Notes, 30(4), 1-5.
[More]
-
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). In 27th International Conference on Software Engineering (ICSE), Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM), pages 1-5. St. Louis, Missouri, USA : ACM Press.
[More]
-
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). ACM Software Engineering Notes, 30(4), 1-5.
[More]
-
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). In 27th International Conference on Software Engineering (ICSE), Workshop on the Modeling and Analysis of Concerns in Software (MACS), pages 1-5. St. Louis, Missouri, USA : ACM Press.
[More]
-
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). In 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) - Lecture Notes in Computer Science, pages 638-649. Barcelona, Spain : Springer Verlag.
[More]
-
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). In 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), pages 231-233.
[More]
-
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). In 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), pages 235-236. Aalborg, Denmark.
[More]
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A. (2005). International Journal of Software Engineering and Knowledge Engineering, 15(4), 607-645. [More]
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). In 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), pages 79-86. [More]
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). In IEEE International Conference on E-Technology, E-Commerce and E-Service (EEE), pages 588-591. Hong Kong : IEEE Computer Society Press. [More]
Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B. (2005). ACM Software Engineering Notes, 30(4), 1-5. [More]
Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B (2005). In 27th International Conference on Software Engineering (ICSE), Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM), pages 1-5. St. Louis, Missouri, USA : ACM Press. [More]
Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B. (2005). ACM Software Engineering Notes, 30(4), 1-5. [More]
Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B (2005). In 27th International Conference on Software Engineering (ICSE), Workshop on the Modeling and Analysis of Concerns in Software (MACS), pages 1-5. St. Louis, Missouri, USA : ACM Press. [More]
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). In 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) - Lecture Notes in Computer Science, pages 638-649. Barcelona, Spain : Springer Verlag. [More]
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). In 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), pages 231-233. [More]
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). In 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), pages 235-236. Aalborg, Denmark. [More]