{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T20:10:07Z","timestamp":1746389407516,"version":"3.40.4"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319105086"},{"type":"electronic","value":"9783319105093"}],"license":[{"start":{"date-parts":[[2014,9,23]],"date-time":"2014-09-23T00:00:00Z","timestamp":1411430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,9,23]],"date-time":"2014-09-23T00:00:00Z","timestamp":1411430400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-10509-3_4","type":"book-chapter","created":{"date-parts":[[2014,9,23]],"date-time":"2014-09-23T23:45:02Z","timestamp":1411515902000},"page":"39-55","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Evaluation Framework for the Dependability of Ubiquitous Learning Environment"],"prefix":"10.1007","author":[{"given":"Manel","family":"BenSassi","sequence":"first","affiliation":[]},{"given":"Mona","family":"Laroussi","sequence":"additional","affiliation":[]},{"given":"Henda","family":"BenGhezela","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,9,23]]},"reference":[{"issue":"1","key":"4_CR1","first-page":"22","volume":"1","author":"T Magal-Royo","year":"2007","unstructured":"Magal-Royo, T., Peris-Fajarnes, G., Monta\u00f1ana, I.T., Garcia, B.D.: Evaluation methods on usability of m-learning environments. Interact. Mob. Technol. 1(1), 22 (2007)","journal-title":"Interact. Mob. Technol."},{"unstructured":"L\u00ea, Q., L\u00ea, T.: Evaluation of educational software: theory into practice. Technol. Teach. pp.\u00a0115\u2013124 (2007)","key":"4_CR2"},{"unstructured":"Laprie, J.C.: Dependable computing and fault-tolerance. Digest of Papers FTCS-15. pp. 2\u201311 (1985)","key":"4_CR3"},{"issue":"1","key":"4_CR4","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"issue":"1","key":"4_CR5","first-page":"188","volume":"9","author":"SJ Yang","year":"2006","unstructured":"Yang, S.J.: Context aware ubiquitous learning environments for peer-to-peer collaborative learning. J. Educ. Technol. Soc. 9(1), 188\u2013201 (2006)","journal-title":"J. Educ. Technol. Soc."},{"unstructured":"Yahya, S., Ahmad, E.A., Jalil, K.A., Mara, U.T.: The definition and characteristics of ubiquitous learning: a discussion. Int. J. Educ. Dev. Using Inf. Commun. Technol. (IJEDICT, Citeseer (2010)","key":"4_CR6"},{"issue":"12","key":"4_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/585597.585616","volume":"45","author":"K Lyytinen","year":"2002","unstructured":"Lyytinen, K., Yoo, Y.: Ubiquitous computing. Commun. ACM 45(12), 63 (2002)","journal-title":"Commun. ACM"},{"unstructured":"Henricksen, K., Indulska, J., Rakotonirainy, A.: Infrastructure for pervasive computing: challenges. In: GI Jahrestagung vol. 1, 214\u2013222 (2001)","key":"4_CR8"},{"issue":"2","key":"4_CR9","first-page":"31","volume":"6","author":"G Elissavet","year":"2003","unstructured":"Elissavet, G., Economides, A.A.: An evaluation instrument for hypermedia courseware. Educ. Technol. Soc. 6(2), 31\u201344 (2003)","journal-title":"Educ. Technol. Soc."},{"doi-asserted-by":"crossref","unstructured":"Licea, G., Favela, J., Garc\u00eda, J.A., Aguilar, J.A.: A pattern system supporting qos for synchronous collaborative systems. In: Proceedings of the IEEE Conference on Protocols for Multimedia Systems-Multimedia Networking. IEEE, pp. 223\u2013228 (1997)","key":"4_CR10","DOI":"10.1109\/PRMNET.1997.638899"},{"doi-asserted-by":"crossref","unstructured":"King, F.B., Mayall, H.J.: Asynchronous distributed problem-based learning. In: Proceedings of the IEEE International Conference on Advanced Learning Technologies. IEEE, pp. 157\u2013159 (2001)","key":"4_CR11","DOI":"10.1109\/ICALT.2001.943887"},{"doi-asserted-by":"crossref","unstructured":"Nielsen, J., Molich, R.: Heuristic evaluation of user interfaces. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, ACM, New York, 249\u2013256 (1990)","key":"4_CR12","DOI":"10.1145\/97243.97281"},{"key":"4_CR13","first-page":"235","volume":"90","author":"LC Polson","year":"1990","unstructured":"Polson, L.C., Wharton, P.C., Rieman, J.: Testing a walkthrough methodology for theory-based design of walk-up and use-interface. Proc. ACM CHI. 90, 235\u2013242 (1990)","journal-title":"Proc. ACM CHI."},{"key":"4_CR14","series-title":"Data warehouse technology for e-learning","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02196-1_1","volume-title":"Methods and Supporting Technologies for Data Analysis","author":"M Zorrilla","year":"2009","unstructured":"Zorrilla, M.: Methods and Supporting Technologies for Data Analysis. Data warehouse technology for e-learning, pp. 1\u201320. Springer, Berlin (2009)"},{"unstructured":"Ben Sassi, M., Laroussi, M.: The engineering of tracks for the standard ims ld. In: Proceedings of the IEEE International Conference on Education and E-Learning Innovations ICEELI\u2019 2012, sousse, Tunisia (2012)","key":"4_CR15"},{"doi-asserted-by":"crossref","unstructured":"Jia, Z., Han, X.: Construction of evaluation system on multimedia educational software. (2013)","key":"4_CR16","DOI":"10.5815\/ijeme.2013.01.06"},{"issue":"12","key":"4_CR17","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/MC.2010.335","volume":"43","author":"A Coronato","year":"2010","unstructured":"Coronato, A., De Pietro, G.: Formal design of ambient intelligence applications. Computer 43(12), 60\u201368 (2010)","journal-title":"Computer"},{"key":"4_CR18","volume-title":"UPPAAL a Tool Suite for Automatic Verification of Real-Time Systems","author":"J Bengtsson","year":"1996","unstructured":"Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., Yi, W.: UPPAAL a Tool Suite for Automatic Verification of Real-Time Systems. Springer, Heidelberg (1996)"},{"doi-asserted-by":"crossref","unstructured":"Perrucci, G.P., Fitzek, F.H., Widmer, J.: Survey on energy consumption entities on the smartphone platform. In: Proceedings of the IEEE 73rd Vehicular Technology Conference (VTC Spring), IEEE 2011, 1\u20136 (2011)","key":"4_CR19","DOI":"10.1109\/VETECS.2011.5956528"}],"container-title":["Studies in Computational Intelligence","Computer and Information Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10509-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T19:45:11Z","timestamp":1746387911000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-10509-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,23]]},"ISBN":["9783319105086","9783319105093"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10509-3_4","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2014,9,23]]},"assertion":[{"value":"23 September 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}