Mostrando 7 resultados de: 7
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(4)
Journal of Systems and Software(1)
Proceedings - Asia-Pacific Software Engineering Conference, APSEC(1)
Proceedings - IEEE Sixth International Symposium on Multimedia Software Engineering, MSE 2004(1)
Área temáticas
Ciencias de la computación(3)
Escuelas y sus actividades; educación especial(2)
Física aplicada(2)
Derecho privado(1)
Funcionamiento de bibliotecas y archivos(1)
Área de conocimiento
Ciencias de la computación(4)
Software(3)
Ingeniería de software(2)
Tecnología educativa(2)
Inteligencia artificial(1)
Origen
scopus(7)
A many-valued logic with imperative semantics for incremental specification of timed models
ArticleAbstract: In order to reconcile the state of the art and the state of the practice in software engineering, imPalabras claves:Autores:GarcÍa-Duque J., José Pazos-Arias, Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusA technological framework for TV-supported collaborative learning
Conference ObjectAbstract: Interactive Digital TV is emerging as a potentially important medium to create opportunities for leaPalabras claves:authoring tools, Collaborative learning, Distributed multimedia services, Interactive Digital TVAutores:Barragáns-Martínez B., Blanco-FernÁndez Y., Elexpuru-Eguia A., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Ramos-Cabrer M., Solla A.G.Fuentes:scopusAVATAR: An advanced multi-agent recommender system of personalized TV contents by semantic reasoning
ArticleAbstract: In this paper a recommender system of personalized TV contents, named AVATAR1, is presented. We propPalabras claves:Autores:Barragáns-Martínez B., Blanco-FernÁndez Y., 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:scopusAn improved repository system for effective and efficient reuse of formal verification efforts
Conference ObjectAbstract: This paper presents several enhancements to ARIFS, a reuse environment that sets the foundations forPalabras claves:Autores:GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Redondo R.P.D.Fuentes:scopusIncremental specification with SCTL/MUS-T: A case study
ArticleAbstract: The past decade witnessed a great advance in the field of timed formal methods for the specificationPalabras claves:Formal Methods, Iterative and incremental specification, Many-valued reasoning, Real-time systemsAutores:Barragáns-Martínez A.B., GarcÍa-Duque J., Gill Solla A., José Pazos-Arias, Redondo R.P.D., Vilas F.Fuentes:scopusSupporting software variability by reusing generic incomplete models at the requirements specification stage
ArticleAbstract: Selecting components that satisfy a given set of requirements is a key problem in software reuse, esPalabras claves:Autores:Cabrer M.R., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Martínez B.B., Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusTechnologies to support collaborative learning over the multimedia home platform
ArticleAbstract: T-learning -the provision of educational services over Interactive Digital TV - is regarded as a comPalabras claves:Interactive Digital TV, Peer-to-peer architectures, t-learningAutores:Barragáns-Martínez B., Blanco-FernÁndez Y., 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