Mostrando 3 resultados de: 3
Filtros aplicados
Subtipo de publicación
Article(3)
Área temáticas
Ciencias de la computación(2)
Derecho privado(1)
Funcionamiento de bibliotecas y archivos(1)
Medicina y salud(1)
Área de conocimiento
Ciencias de la computación(2)
Ingeniería de software(1)
Inteligencia artificial(1)
Software(1)
Origen
scopus(3)
Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning
ArticleAbstract: The development of multiuser and distributed software systems faces the difficulty to program the apPalabras claves:Formal specification, Interaction patterns, Multiuser systemsAutores: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:scopusExploiting synergies between semantic reasoning and personalization strategies in intelligent recommender systems: A case study
ArticleAbstract: Current recommender systems attempt to identify appealing items for a user by applying syntactic matPalabras claves:COLLABORATIVE FILTERING, Content-based methods, personalization, semantic reasoningAutores: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: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