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.
Many virtual payment systems are available on the world wide web for micropayment. Correctness is important for these payment systems as it deals with money. One such payment system is Netpay. This paper examines the server-side Netpay protocol and provides its formalization as an interface automata model to prove three properties which are double spending, validity of an ecoin location and the absence...
To identify a person, personal information is needed. It is necessary to interconnect between Advanced IT and personal data. Automated Life Card with Central Database will be an enigmatic and outstanding way which combines information in a certain way of each and every human being. Person's all necessary data have to be synchronized from every particular database to a single database. A person taking...
Over past few years, there has been a huge advancement in terms of Learning Management System (LMS) and online education. Behind this growth, the major reasons are the availability of open source LMS and their ease of customization. This paper proposes some new features for these pre-existing LMS, especially Moodle, such that the same LMS could also function as College / University Management System...
“Movement of Enhancing Opportunities and Improving Technology”, abbreviated as Fatih, is among the most important educational projects in Turkey, in which students and teachers can use their tablet PCs to obtain educational data (text, images, media, etc.) stored in cloud servers. However, the limited network bandwidth and increase in both the number of users and their educational data sizes degrade...
Learning registry is a network for sharing metadata and paradata about the learning resources. We created experimentally a website that visualizes these data and provides basic interactions with the learning registry, such as viewing the resources, searching, rating, and posting of specific resources to the network. These experiments serve for testing the offered technologies and for the specification...
Multi-instance activity can express the scenario, in which many people conduct the same task. Supporting multiple instances of one activity can enable workflow management system to be flexible on handling workflow process. But some problems emerge, such as synchronizing schedule of multi-instance and conflict of data share. The paper proposes a scheme of “Group-Categorization”, which solves the synchronization...
In this paper, we propose a new SystemC-based fault injection technique that has improved fault representation in visible and on-the-fly data and signal registers. The technique is minimum intrusive since it only requires replacing the original data or signal types to fault injection enabler types. We compare the proposed simulation technique with recently reported SystemC-based techniques and show...
We propose QUEST (QUality ESTimation), a new method that accurately estimates IEEE 802.11 wireless link quality with no in-band signaling overhead. Existing link quality estimation methods either are based on hello exchanges by fixing or varying transmission rates or rely on the history (e.g., delivery ratio) of previously sent data packets in a per-rate/-neighbor manner. QUEST on the other hand,...
This paper presents a novel method for identity recognition based on the 2D gait representation: Gait Energy Image (GEI) which is the averaged silhouette over one gait cycle. An ensemble of Gabor kernels is first convolved with GEI to extract discriminative feature. The obtained Gabor gait representation is then projected into lower dimensional subspace using discriminative common vectors (DCV) analysis...
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.