The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In a ubiquitous computing, disable users are required to accommodate their particular needs using interactive systems. Thus, ensuring accessibility into applications' user interfaces is highly recommended. Hence, it is crucial to elaborate a generic solution which is compliant to handicapped user requirements. Therefore, this paper is addressed to define a model driven approach for generating adapted...
In order to ensure accessibility of user interface, it is highly recommended to elaborate a generic solution which is compliant to disable user requirements and best accommodates their particular needs. Therefore, we propose, in this paper, a generic MDA-based solution of adapting application's interface to accessibility context. It consists of generating, automatically, accessible adapted User Interfaces...
In the present paper, we present our approach for the transformation of workflow applications based on institution theory. The workflow application is modeled with UML Activity Diagram(UML AD). Then, for a formal verification purposes, the graphical model will be translated to an Event-B specification. Institution theory will be used in two levels. First, we defined a local semantic for UML AD and...
In the present paper, we provide an institutional representation of Event-B specification. In the context of heterogeneous specification environment, it is a fundamental step to represent differents model oriented specifications and algebraic specification languages with an institution. To this end, we give a representation of Event-B specification where we focus on the signatures, the models and...
The integration of mobile devices in education is a new quite, which is commonly referred to as Mobile Learning. Mobile learning aims to facilitate and improve learning strategies that exploit individual learners' context, so that, they can learn from anywhere and at anytime using mobile devices. In order to let learners with disabilities take benefits from mobile learning systems, we propose in this...
When there are many possible personalization strategies, it is important to select the most appropriate of them according to the specificities of the course. In this context, rises the contribution of this work, which is the analysis of learning objects as well as the metadata describing them for the selection of appropriate personalization strategy.
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.