Mostrando 6 resultados de: 6
Filtros aplicados
Subtipo de publicación
Conference Object(6)
Publisher
Proceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05(2)
Lecture Notes in Computer Science(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Proceedings of the 2005 Workshop on Modeling and Analysis of Concerns in Software, MACS 2005(1)
Proceedings of the 4th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools, SCESM '05(1)
Área temáticas
Ciencias de la computación(2)
Sistemas(2)
Comunicaciones(1)
Costura, confección y vida personal(1)
Funcionamiento de bibliotecas y archivos(1)
Área de conocimiento
Software(3)
Ciencias de la computación(2)
Ingeniería de software(2)
Inteligencia artificial(1)
Pedagogía(1)
Origen
scopus(6)
Collaborative T-learning: Bringing greater levels of interactivity into the home
Conference ObjectAbstract: T-learning -the provision of educational services over Interactive Digital TV - is emerging as a impPalabras claves:Autores:Cabrer M.R., Elexpuru-Eguia A., FernÁndez Y.B., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Martínez B.B., Solla A.G.Fuentes:scopusAVATAR: A multi-agent TV recommender system using MHP applications
Conference ObjectAbstract: In this paper we present AVATAR, a recommender of personalized TV contents, for which an open multi-Palabras claves:Autores:Barragáns-Martínez B., Blanco-FernÁndez Y., José Pazos-Arias, Martín López-Nores, Ramos-Cabrer M., Solla A.G.Fuentes:scopusEliciting requirements and scenarios using the SCTL-MUS methodology: The shuttle system case study
Conference ObjectAbstract: The development of complex systems demands methodologies that provide convenient support to the stakPalabras claves:incremental development, requirements, Scenarios, State machinesAutores:GarcÍa-Duque J., José Pazos-Arias, Martín López-NoresFuentes:scopusMulti-valued model checking in dense-time
Conference ObjectAbstract: In this paper we introduce ΧTCTL, a dense-time extension of the multi-valued Computation Tree LogicPalabras claves:Dense real-time, Formal Methods, Model checking, Multi-valued logicAutores:Cabrer M.R., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, MartÍnez A.B.B., Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusLocating crosscutting concerns in the formal specification of distributed reactive systems
Conference ObjectAbstract: Requirements specification is a stage of software development in which the different concerns involvPalabras claves:Aspects, Crosscutting concerns, incremental development, requirements, State machinesAutores:GarcÍa-Duque J., José Pazos-Arias, Martín López-NoresFuentes:scopusTracing integration analysis in component-based formal specifications
Conference ObjectAbstract: The correctness of a component-based specification is not guaranteed by the correctness of its compoPalabras claves:Autores:Barragáns-Martínez B., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Ramos-Cabrer M., Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopus