메뉴 건너뛰기




Volumn 10, Issue 4, 2015, Pages 1-19

An approach to data annotation for internet of things

Author keywords

Data Annotation; Formal Verification; Home Automation; Observation and Actuation Models; RESTful Web Services; Service Model

Indexed keywords

ABSTRACTING; DOMESTIC APPLIANCES; ENERGY CONSERVATION; FORMAL VERIFICATION; INTERNET; INTERNET OF THINGS; INTEROPERABILITY; POWER CONTROL; PROBLEM SOLVING; WEBSITES;

EID: 84962563682     PISSN: 15541045     EISSN: 15541053     Source Type: Journal    
DOI: 10.4018/IJITWE.2015100101     Document Type: Article
Times cited : (12)

References (16)
  • 1
    • 84961837268 scopus 로고    scopus 로고
    • Toward semantic interoperability in oneM2M architecture
    • Alaya, M. B., Medjiah, S., Monteil, T., & Drira, K. (2015). Toward semantic interoperability in oneM2M architecture. IEEE Communications Magazine, 53(12), 35-41. doi:10.1109/MCOM.2015.7355582
    • (2015) IEEE Communications Magazine , vol.53 , Issue.12 , pp. 35-41
    • Alaya, M.B.1    Medjiah, S.2    Monteil, T.3    Drira, K.4
  • 2
    • 84952653517 scopus 로고    scopus 로고
    • A semantic processing framework for IoT-enabled communication systems
    • Springer
    • Ali, M. I., Ono, N., Kaysar, M., Griffin, K., & Mileo, A. (2015). A semantic processing framework for IoT-enabled communication systems. In The Semantic Web-ISWC2015, LNCS (Vol. 9367, pp. 241-258). Springer.
    • (2015) The Semantic Web-ISWC2015, LNCS , vol.9367 , pp. 241-258
    • Ali, M.I.1    Ono, N.2    Kaysar, M.3    Griffin, K.4    Mileo, A.5
  • 13
    • 84907930061 scopus 로고    scopus 로고
    • Bisimilarity control of decentralized nondeterministic discrete-event systems
    • Liu, F., Zhang, Q., & Chen, X. (2014). Bisimilarity control of decentralized nondeterministic discrete-event systems. Proceedings of the 2014 33rd Chinese Control Conference (CCC) (pp. 3898-3903). doi:10.1109/ChiCC.2014.6895589
    • (2014) Proceedings of the 2014 33rd Chinese Control Conference (CCC) , pp. 3898-3903
    • Liu, F.1    Zhang, Q.2    Chen, X.3
  • 15
    • 84930673995 scopus 로고    scopus 로고
    • Matching over linked data streams in the internet of things
    • Qin, Y., Sheng, Q. Z., & Curry, E. (2015). Matching over linked data streams in the internet of things. IEEE Internet Computing, 19(3), 21-27. doi:10.1109/MIC.2015.29
    • (2015) IEEE Internet Computing , vol.19 , Issue.3 , pp. 21-27
    • Qin, Y.1    Sheng, Q.Z.2    Curry, E.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.