Mostrando 10 resultados de: 84
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(11)
Digest of Technical Papers - IEEE International Conference on Consumer Electronics(8)
Expert Systems with Applications(6)
Intelligent Systems Reference Library(3)
International Journal of Software Engineering and Knowledge Engineering(3)
Área temáticas
Ciencias de la computación(44)
Métodos informáticos especiales(18)
Funcionamiento de bibliotecas y archivos(16)
Comunicaciones(13)
Interacción social(9)
Área de conocimiento
Ciencias de la computación(33)
Software(22)
Ingeniería de software(20)
Comunicación(9)
Tecnología educativa(8)
Objetivos de Desarrollo Sostenible
ODS 9: Industria, innovación e infraestructura(80)
ODS 17: Alianzas para lograr los objetivos(55)
ODS 8: Trabajo decente y crecimiento económico(44)
ODS 4: Educación de calidad(32)
ODS 12: Producción y consumo responsables(16)
Origen
scopus(84)
Guidelines for the incremental identification of aspects in requirements specifications
ArticleAbstract: The desired principle of separation of concerns in software development can be jeopardized by the soPalabras claves:Aspect-mining, Crosscutting concerns, Incremental software development, requirements specificationsAutores: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:scopusINRISCO: INcident monitoRing in Smart COmmunities
ArticleAbstract: Major advances in information and communication technologies (ICTs) make citizens to be considered aPalabras claves:Big Data Analysis, citizen sensor, Early detection of incidents, Smart cities, SOCIAL NETWORKS, vehicular communicationsAutores:Arias-Cabarcos P., Campo C., Cerezo-Costas H., de la Cruz Llopis L.J., Diaz-Sanchez D., Forné J., Garcia-Rubio C., Lopez A.M., Mendoza F.A., Mohamad Mezher A., Mónica Aguilar Igartua, Rebollo-Monedero D., Redondo R.P.D., Rico-Novella F.J., Vicente M.I.M., Vilas F.Fuentes:scopusEnhancing TV programmes with additional contents using MPEG-7 segmentation information
ArticleAbstract: Interactive Digital TV offers a large amount of TV channels, as well as new contents that come alongPalabras claves:Metadata, MPEG-7, Video taggingAutores:GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Ramos-Cabrer M., Redondo R.P.D., Rey-López M., Solla A.G., Vilas F.Fuentes:scopusEnhancing residential gateways: A semantic OSGi platform
ArticleAbstract: A semantic approach based on the Open Service Gateway initiative (OSGi) service registry that supporPalabras claves:Autores:Cabrer M.R., GarcÍa-Duque J., José Pazos-Arias, Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusEnhancing residential gateways: OSGi services composition
Conference ObjectAbstract: We propose a schema to support the composition of OSGi services as result of orchestrating atomic sePalabras claves:Autores:Cabrer M.R., José Pazos-Arias, López M.R., Redondo R.P.D., Vilas F.Fuentes:scopusEntercation: Engaging viewers in education through TV
ArticleAbstract: IDTV (interactive digital TV) opens new learning opportunities where new forms of education are needPalabras claves:ADL SCORM, Intelligent Tutoring Systems, t-learningAutores:José Pazos-Arias, Redondo R.P.D., Rey-López M., 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:scopusExtending timed automaton and real-time logic to many-valued reasoning
Conference ObjectAbstract: Past decade has witnessed a great advance in the field of dense-time formal methods for the specificPalabras claves:Autores:José Pazos-Arias, Redondo R.P.D., Vilas F.Fuentes:scopusFormal 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:scopus