Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article

17 articles for “Model Checking”
Set a search alert
Research ArticleOpen accessIn the abstractENHANCING THE PERFORMANCE OF ADVANCED FINE-GRAINED GRID AUTHORIZATION SYSTEMMaizura Ibrahim, Hamidah Ibrahim, Azizol Abdullah, Rohaya LatipGrid computing is a system that coordinates distributed resources using standards, open, general purpose protocols and interfaces to provide nontrivial quality of services. Usage Control model (UCON) is a new emerging authorization framework that combined features of traditional access control, trust management and digital right management in one abstraction. Adoption of UCON improved the fine-grain of grid authorization policy. The … …Journal of Computer Science, Vol. 10, Issue 12 · 29 Dec 2014 · 8,672 accessesView PDFCite
Research ArticleOpen accessIn the abstractASYNCHRONOUS TIME ENCODER BASED QUASI-STATIC MODELLING FOR HUMAN AREA NETWORK IN VANETR. Vimal Karthick, G. S. Raj, R. Srinivasan et al.Power constraints play a key role in designing Human Area Networks (HANs) for bio authentication vehicle based on driver's identity. To alleviate the power constraints, we advocate a design that uses an asynchronous time encoding mechanisms for representing bio authentication information and the skin surface as the communication channel. Time encoding does not require a clock while allows perfect signal … …Journal of Computer Science, Vol. 10, Issue 11 · 20 Dec 2014 · 8,060 accessesView PDFCite
Research ArticleOpen accessIn the abstractEFFECTIVE HEURISTIC ALGORITHM FOR DYNAMIC ROUTING AND BANDWIDTH MANAGEMENT UNDER QUALITY OF SERVICE CONSTRAINTS IN MULTISTAGE INTERCONNECTION NETWORKSR. Deepalakshmi, S. RajaramToday, Internet of Things (IoT) has introduced abundant bandwidth consumption and necessities in multimedia communications from online games to video-conferencing applications with the constraint of QoS requirements from time to time. The expected rapid proliferation of services would require performance unprecedented in the currently available best-effort routing algorithms. In, particular, the present routing mechanisms are based on the best-effort paradigm … …American Journal of Applied Sciences, Vol. 11, Issue 3 · 7 Jan 2014 · 7,138 accessesView PDFCite
Research ArticleOpen accessIn the abstractComputer Machine Vision Inspection on Printed Circuit Boards Flux DefectsAng TeohOng, Zulkifilie Bin Ibrahim, Suzaimah RamliThe new visual inspection systems techniques using real time machine vision replace the human visual manual inspection on PCB flux defects, which brings harmful effects on the board which may come in the form of corrosion and can cause harm to the assembly. In short, it brings improvement in Printed Circuit Boards (PCB) production quality, principally concerning the acceptance or … …American Journal of Engineering and Applied Sciences, Vol. 6, Issue 3 · 28 Aug 2013 · 7,955 accessesView PDFCite
Research ArticleOpen accessIn the abstractA Questionnaire Approach Based on the Technology Acceptance Model for Mobile Tracking on Patient Progress ApplicationsHussain Mohammad Abu-DalbouhHealthcare professionals spend much of their time wandering between patients and offices, while the supportive technology stays stationary. Therefore, mobile applications has adapted for healthcare industry. In spite of the advancement and variety of available mobile based applications, there is an eminent need to investigate the current position of the acceptance of those mobile health applications that are tailored towards … …Journal of Computer Science, Vol. 9, Issue 6 · 6 Jun 2013 · 18,358 accessesView PDFCite
Research ArticleOpen accessIn the abstractSpecification of Dynamic Time Series Model with Volatile-Outlier Input SeriesT. A. Lasisi, D.K. Shangodoyin, O. O. Sangodoyin et al.Problem statement: This study considers the precision of the output series generated from aberrant input series in the context of the distribution of the dynamic estimate and also investigate relative merit of analyzing residuals with outliers for a volatility input dynamic model. Approach: The study developed a methodology for checking volatility at every time point and evaluates the influence of … …American Journal of Applied Sciences, Vol. 8, Issue 11 · 1 Oct 2011 · 7,102 accessesView PDFCite
Research ArticleOpen accessIn the abstractSpecialization of Recursive Predicates from Positive Examples OnlyMoussa DembaProblem statement: Given an overly general (definite) program P and its intended semantics Φ (the programmer’s intentions) where P does not satisfy Φ, find out a new version P’ of P such that P’ satisfies Φ. Approach: We proposed an approach for correcting overly general programs from positive examples by exploiting program synthesis techniques. The synthesized program, P’, is a … …Journal of Computer Science, Vol. 6, Issue 6 · 30 Jun 2010 · 6,854 accessesView PDFCite