Mostrando 6 resultados de: 6
Filtros aplicados
Subtipo de publicación
Article(6)
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(5)
Journal of Systems and Software(1)
Área temáticas
Ciencias de la computación(4)
Derecho privado(1)
Escuelas y sus actividades; educación especial(1)
Funcionamiento de bibliotecas y archivos(1)
Física aplicada(1)
Área de conocimiento
Ciencias de la computación(3)
Software(3)
Computación en la nube(1)
Ingeniería de software(1)
Inteligencia artificial(1)
Origen
scopus(6)
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: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: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