Mostrando 10 resultados de: 10
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(5)
Proceedings - IEEE Sixth International Symposium on Multimedia Software Engineering, MSE 2004(2)
Journal of Systems and Software(1)
Proceedings - Asia-Pacific Software Engineering Conference, APSEC(1)
Proceedings - International Conference on Software Engineering(1)
Área temáticas
Ciencias de la computación(5)
Escuelas y sus actividades; educación especial(2)
Funcionamiento de bibliotecas y archivos(2)
Física aplicada(2)
Métodos informáticos especiales(2)
Área de conocimiento
Ciencias de la computación(5)
Software(5)
Ingeniería de software(3)
Inteligencia artificial(2)
Tecnología educativa(2)
Origen
scopus(10)
An 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:scopusA 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 multi-agent open architecture for a TV recommender system: A case study using a bayesian strategy
Conference ObjectAbstract: In this paper we present a recommender system of personalized TV contents, called AVATAR1, for whichPalabras 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: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:scopusHigh availability with clusters of web services
ArticleAbstract: Internet is open 24 hours a day, 7 days a week, so hardware, software, and communications must be alPalabras claves:Autores:José Pazos-Arias, Vilas F., Vilas J.F.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:scopusχ-SCTL/MUS: A formal methodology to evolve multi-perspective software requirements specifications
Conference ObjectAbstract: The objective of this thesis is to extend the formal methodology of refinement of requirements speciPalabras claves:inconsistency, Multi-Perspective Environment, Requirements Refinement, Specification Evolution, Unspecification, ViewpointsAutores:José Pazos-Arias, MartÍnez A.B.B.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