Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Proceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05(1)
Área temáticas
Ciencias de la computación(1)
Costura, confección y vida personal(1)
Interacción social(1)
Juegos y diversiones de interior(1)
Origen
scopus(2)
Collaborative T-learning: Bringing greater levels of interactivity into the home
Conference ObjectAbstract: T-learning -the provision of educational services over Interactive Digital TV - is emerging as a impPalabras claves:Autores:Cabrer M.R., Elexpuru-Eguia A., FernÁndez Y.B., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Martínez B.B., Solla A.G.Fuentes:scopusMulti-valued model checking in dense-time
Conference ObjectAbstract: In this paper we introduce ΧTCTL, a dense-time extension of the multi-valued Computation Tree LogicPalabras claves:Dense real-time, Formal Methods, Model checking, Multi-valued logicAutores:Cabrer M.R., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, MartÍnez A.B.B., Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopus