Y. Al-Bastaki, A. Herath, Khalid A. Al-Mutawah, M. Baqer, S. Herath, R. Goonatilake
{"title":"e-learning of security and information assurance with sequence diagrams","authors":"Y. Al-Bastaki, A. Herath, Khalid A. Al-Mutawah, M. Baqer, S. Herath, R. Goonatilake","doi":"10.1145/2160749.2160754","DOIUrl":"https://doi.org/10.1145/2160749.2160754","url":null,"abstract":"During the last two decades postal mail became e-mail, cash transactions became cashless, libraries became digital libraries, learning became e-learning, banking became online banking, news, TV and games became online entertainment. As soon as a computer starts to share the resources available on the web or local network, it immediately becomes vulnerable to attacks or infiltration. To prevent unscrupulous attacks on such systems it is necessary to consolidate confidentiality, integrity and authentication into applications. For many years, we have been experimenting with methods for introducing important concepts related to computer security and improving e-learning and research experiences for upper-level security and information assurance students. To achieve this goal, sequence diagrams which represent the progression of events over time are introduced to our students. This paper describes an e-learning module developed to help students understand secure distributed systems applications using sequence diagrams.","PeriodicalId":407345,"journal":{"name":"Joint International Conference on Human-Centered Computer Environments","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122169035","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Media players for accessibility","authors":"Kensuke Nishimura, Michael Cohen","doi":"10.1145/2160749.2160787","DOIUrl":"https://doi.org/10.1145/2160749.2160787","url":null,"abstract":"We have developed two versions of a media player designed for differently abled users. The media player, suitable for selecting and playing songs or videos, runs on either computer-hosted \"Alice\" or an iOS smartphone or tablet. Even though special users have trouble with normal mouse and keyboard, such accessibility allows them to enjoy selected media.","PeriodicalId":407345,"journal":{"name":"Joint International Conference on Human-Centered Computer Environments","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128246454","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Applying cloud computing model in PHR architecture","authors":"S. Kikuchi, Shelly Sachdeva, S. Bhalla","doi":"10.1145/2160749.2160798","DOIUrl":"https://doi.org/10.1145/2160749.2160798","url":null,"abstract":"In recent years, some practical and commercial Personal Health Records and some related services such as Google Health [1] and Microsoft HealthVault [2] have been launched. On the other hand, Cloud Computing has matured more and become the major streams to realize a more effective operational environment. However so far, there have been few studies in regards to applying Cloud architecture in the PHR explicitly despite generating volume data. In this paper, we review our trial on the general architecture design by applying the Cloud components for supporting healthcare record areas and clarify the required conditions to realize it.","PeriodicalId":407345,"journal":{"name":"Joint International Conference on Human-Centered Computer Environments","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132131534","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Educational framework for verification of object-oriented programs","authors":"Magdalina Todorova, K. Kanev","doi":"10.1145/2160749.2160755","DOIUrl":"https://doi.org/10.1145/2160749.2160755","url":null,"abstract":"This article presents an educational framework, designed to support knowledge acquisition and skills development pertinent to program validation and in particular to formal methods for verification of object-oriented programs. The framework is intended to span from undergraduate classes, for junior and sophomore students, up to advanced classes, for graduate students. It supports distinct levels of access targeting: i) beginner, ii) intermediate, and iii) advanced users. Background knowledge and preliminarily acquired skills, associated with each access level, are well defined and reflected into the interaction interface that the framework presents to the user. For completeness, a reference description of the formal program verification method employed in the framework is included in the text, along with the underlying mathematical means supporting the method.","PeriodicalId":407345,"journal":{"name":"Joint International Conference on Human-Centered Computer Environments","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114864681","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"User interaction techniques for multimedia retrieval","authors":"Chamin Morikawa, G. C. D. Silva","doi":"10.1145/2160749.2160765","DOIUrl":"https://doi.org/10.1145/2160749.2160765","url":null,"abstract":"We present a set of novel user interaction techniques for fast and efficient multimedia querying and retrieval. Three new types of visual queries are proposed for retrieving different types of multimedia. Iconic queries facilitate editorial image retrieval and social multimedia retrieval. Simple sketches on a map form spatial queries for retrieving location-based multimedia. Sketches on an interactive calendar form queries for temporal multimedia retrieval. We also propose an interactive querying strategy that combines multiple search dimensions, to facilitate easier refinement of searches. We outline two applications that use the proposed interaction techniques and querying strategy. The users found these techniques and applications easy to learn and use.","PeriodicalId":407345,"journal":{"name":"Joint International Conference on Human-Centered Computer Environments","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115723575","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Technology enhanced learning with subject field multiplicity support","authors":"P. Boytchev, K. Kanev, R. Nikolov","doi":"10.1145/2160749.2160758","DOIUrl":"https://doi.org/10.1145/2160749.2160758","url":null,"abstract":"In this paper, we discuss some ideas and tools for Technology Enhanced Learning (TEL) capable of spanning over and integrating a multiplicity of subject fields. Multidisciplinary, interdisciplinary, and pandisciplinary educational content, its presentation in different forms, as well as methods and technologies for its integration in TEL are considered. Tangible interfaces based on digitally enhanced physical objects, including printed documents, that facilitate a new level of content-aware interactivity are introduced and a Tangible TEL (T-TEL) is proposed. With this we attempt to establish a cooperative TEL framework for integrating independently obtained results involving several research projects both at national and international levels and spanning over two continents.","PeriodicalId":407345,"journal":{"name":"Joint International Conference on Human-Centered Computer Environments","volume":"20 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121012085","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Non-potential phase transitions induced by dynamical traps","authors":"Dmitry Parfenov, I. Lubashevsky, N. Goussein-Zade","doi":"10.1145/2160749.2160775","DOIUrl":"https://doi.org/10.1145/2160749.2160775","url":null,"abstract":"Phase transitions in a chain of oscillators with dynamical traps is studied numerically. The notion of dynamical traps mimics the basic features caused by the bounded capacity of human cognition in decision-making. In mathematical terms the dynamical traps form a \"low\" dimensional region in the phase space of a given system where its dynamics is stagnated. It is demonstrated that in the system under consideration noise gives rise to complex emergent phenomena as its intensity grows.","PeriodicalId":407345,"journal":{"name":"Joint International Conference on Human-Centered Computer Environments","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126244162","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}