International Journal of Computer (IJC - Global Society of Scientific Research and Researchers, GSSRR)
Not a member yet
459 research outputs found
Sort by
Formal Methods as Specification and Verification Tools Towards Stable Software Solutions
Get PDFFormal Methods could provide mathematical models for specifying and verifying designs- hardware or software. Early on, formal methods had more acceptance in hardware than software. Employing mathematical models in software to proof correctness or validate requirements reduces or eliminates errors at the early stages of development and also makes testing easier. Formal methods are powerful tools in introducing rigor that would enforce correctness in design specification and help build confidence in design. Indeed, formal method should be seriously considered in safety-critical systems where there is zero tolerance for failure. Formal methods have possibility of gaining magnitude because of the capability to formulate accurate solutions. This work proposes to look into the effects of mathematical models on software system designs from the perspective of formal methods. Trends, benefits, state of the art and future prospects of formal method are considered. Formal methods might require much in terms of implementation, skills and use but there is much benefit in terms of removing design ambiguity and inconsistency and at the same time improving correctness and accuracy
A Case for the Adoption of an In-Memory Based Technique for Healthcare Big Data Management
Get PDFIn healthcare organizations, the amount of data that are generated daily are on the increase with every visit by patient. The generated data through vital signs’ readings such as body temperature, pulse rate, respiratory rate, blood pressure, body weight among others are now accumulated into big data. Recently, the growth of data is averaged at about 35 percent annually. The implication is that the amount of storage needed to hold the data doubles within a period of three years. No doubt, if these data are processed and analyzed properly, it holds immense value in diagnosis and predictive medical conditions. However, the ever increasing volume of data has brought with it some big challenges. One of such is how healthcare organizations are going to store and access the vast amount of inherent information. In this paper, we discussed the need for storing medical Big Data in the main memory (In-Memory) as a way of addressing storage and access to information challenges of big data in health care delivery system. With current trends in technology advancement, there is an availability of storage systems with increased memory capacities. The storage of data in main memory can achieve a performance improvement of up to a factor of 100,000 or more. With this achievable performance, In-Memory Data Management proves to be a viable option
Database Optimization Using Genetic Algorithms for Distributed Databases
Get PDFDatabases can store a vast amount of information and particular sets of data are accessed via queries which are written in specific interface language such as structured query language (SQL). Database optimization is a process of maximizing the speed and efficiency with which kind of data is retrieved or simply it’s a mechanism that reduces database systems response time. Query optimization is one of the major functionality in database management systems (DBMS). The purpose of the query optimization is to determine the most efficient and effective way to execute a particular query by considering several query plans such as graphical plans, textual plans and etc. Execution of any particular datasets depends on the capability of the query optimization mechanism to acquire competent query processing approaches. Distributed database system is a collection several interrelated databases which are spread physically across different environments that communicate through a computer network. Inability to obtain an effective query strategy with an efficient accuracy and minimum response time or cost to execute the given query is one of the major key issues of the query optimization in distributed database systems. Further inefficient database compression methods, inefficient query processing, missing indexes, inexact statistics, and deadlocks are furthermore defects. In this paper, it describes the methodologies such as genetic algorithm strategy for distributed database systems so as to execute the query plan. Genetic algorithms are extensively using to solve constrained and unconstrained optimization problems. The genetic algorithms are using three main types of rules such as selection rules, crossover rules, and mutation rules
A Framework for Improving Computer-based Information Systems Auditing
Get PDFAlthough Enormous investment is currently being made in computer-based information systems but many of them suffer chronic problems of information security and efficiency [1]. There is a concern about whether the standard quality and security of computer-based information systems is being achieved. As a consequence, growing attention is being paid to evaluating the information systems [2]. The main purpose of this paper was to propose a framework for improving computer-based information systems auditing. The study has two main features; firstly it structures the audit process; secondly it allows the evaluation of computer-based information systems according to a specific set of criteria based on quality, security, compliance and readability requirements. A descriptive survey research design was conducted to gather the primary data. In this paper, the researcher identified shortcomings of some accredited existing IT audit frameworks, and proposed an improved model of audit framework that addresses the main aspect of information security and performance. Therefore, the main purpose of this paper is to come out with a holistic Information System Audit framework that incorporates the general aspects of other important IS audit frameworks that can serve as a guide in Information System Audit for large and medium-sized institutions
Surveying Preschoolers’ Computer Use Capabilities
Get PDFThis study detected computer skills that children have developed spontaneously in their everyday lives and those that have already possessed during their studies at the early childhood education centers. The survey involved 453 children, aged 3 to 5, attending 24 different early childhood education structures. A 25-point computer skill observation form, supported by a corresponding rubric, was used to describe the computer capabilities of preschool children. According to the results of the study, as children registered for early childhood education settings, they brought with them their pre-existing computer skills. These skills could potentially hold a key role in designing future educational programs. The age of children seemed to affect these skills up to the age of 4. Implications of findings, concerning computer skills of preschool children, are discussed
Modeling and Controller Design for the Air-to-Air Missile Uncertain System
Get PDFThe guidance and control problem of the air-to-air missile system is studied. A nonlinear, coupling dynamic model of the air-to-air missile with six degrees of freedom is investigated, and a uncertain control system is proposed according to some assumptions and simplifications. Then, based on Lyapunov stability theory, a Lyapunov function is employed, and a controller is designed for the air-to-air missile. Numerical simulations show that the control system proves the correctness and has preferably tracking performance and illustrate the effectiveness of the proposed controller
A Hybrid Based Classification and Regression Model for Predicting Diseases Outbreak in Datasets
Get PDFNowadays, it has been noted that using the application of data mining techniques for predicting the outbreak of the disease has been permitted in the health institutions which have relative opportunities for conducting the treatment of diseases. The main target of this paper is to develop a hybrid based classification and regression model for diseases outbreak prediction in datasets. In this view, the mixture of FT, Random Forest, Naïve Bayes Multinomial, SMO, IB1, Simple Logistic and Bayesian Logistic Regression are applied to develop this hybrid model. Accordingly, in hybrid model from this paper there is a core achievements of getting an enhancement as the results described from experiments for combination of more than one Algorithms or methods classifier models discovered that some Algorithms can boost or enhance others through hybrid so that they become more strong significant basing on the accuracy of 100% as output results from hybrid training and with the accuracy of 75% as output results from hybrid evaluation and based on other metrics measurement described on tables 4.1,4.2 and figures 4.1,4.2
Detection and Localization of IDS Based Spoofing Attackers in Wireless Sensor Networks
Get PDFA Wireless sensor network consists of a series of sensing devices. These track parameters such as those required for tracking and surveillance and then effectively passes on this information with other such sensors over a specific geographical area within the wireless network. The problem with traditional wireless networks lies in the way that they are positioned in an unattended manner, being controlled remotely by the network operator. This opens up a pathway for attackers, which compromise and capture wireless nodes and launch a variety of attacks that impair the functioning of the system. The proposed system aims to localize and cluster these nodes together, according to their position, wherein the cluster head acts as an Intrusion Detection system by monitoring node behavior such as packet transmission. This information is used to identify the attacked nodes in the wireless sensor network
Cuckoo Based Clustering Algorithm for Wireless Sensor Network
Get PDFA significant challenge in wireless sensor network is the restriction of energy resources that influences network lifetime directly. Clustering is a technique that can be used to increase network lifetime. Recently, nature-inspired clustering approaches have attracted research community interests. In this paper, we introduce three variant of Cuckoo algorithm in which the energy of path length is considered as one important factor in cluster head selection. To prevent quick energy dissipation of the cluster heads, the role of cluster head should be circulated among different nodes. Thus the proposed algorithms are aimed to avoid the selection of specific nodes as cluster head very frequently. In addition to this, the problem of lack of attention to the residual energy of sensor nodes during experimental clustering phase in well-known LEACH algorithm is resolved. Simulation results show that the proposed algorithms outperform LEACH algorithm in terms of energy consumption and network lifetime
Human Face Recognition Using Discriminant Analysis
Get PDFIn the present research, a face recognition method is proposed based on the concept of linear discriminant analysis (LDA) method. The LDA requires input some of image models to analyze and discriminate them, the newly proposed idea is the use of a number of textural features instead of face image pixels to be input the LDA procedure. The employed textural features were ten, which are computed for each face image using the grey level co-occurrence matrix (GLCM) method. The proposed face recognition method consists of two phases: enrollment and recognition. The enrollment phase is responsible for collecting the features of each face image to be a comparable models stored in the database, while the recognition phase is responsible on comparing the extracted features of input unknown face with that stored in the database. The comparison results a number of percentage values, each refers to the similarity between the input unknown face with the models in the database. The recognition decision is then issued according to the comparison results. The results showed that the system performed the recognition test with a recognition percent of about 94%, whereas the validation test showed that the system performance was about 92%. Frequent practices showed that the behavior of the recognition is acceptable and it is enjoying with the ability to be improved.