Research ArticleOpen accessIn the abstractSecurity Policy Development: Towards a Life-Cycle and Logic-Based Verification ModelLuay A. Wahsheh, Jim Alves-FossAlthough security plays a major role in the design of software systems, security requirements and policies are usually added to an already existing system, not created in conjunction with the product. As a result, there are often numerous problems with the overall design. In this paper, we discuss the relationship between software engineering, security engineering, and policy engineering and present … …American Journal of Applied Sciences, Vol. 5, Issue 9 · 30 Sep 2008 · 7,343 accessesView PDFCite
Research ArticleOpen accessIn the abstractAn Efficient Algorithm for Mining Maximal Frequent Item SetsA. M.J.M.Z. Rahman, P. BalasubramanieProblem Statement: In today's life, the mining of frequent patterns is a basic problem in data mining applications. The algorithms which are used to generate these frequent patterns must perform efficiently. The objective was to propose an effective algorithm which generates frequent patterns in less time. Approach: We proposed an algorithm which was based on hashing technique and combines a … …Journal of Computer Science, Vol. 4, Issue 8 · 31 Aug 2008 · 6,570 accessesView PDFCite
Research ArticleOpen accessIn the abstractDevelopment of Deduced Protein Database Using Variable Bit Binary EncodingB. Parvathavarthini, B. Rajesh Kanna, L. RajeswarideviA large amount of biological data is semi-structured and stored in any one the following file formats such as flat, XML and relational files. These databases must be integrated with the structured data available in relational or object-oriented databases. The sequence matching process is difficult in such file format, because string comparison takes more computation cost and time. To reduce … …Journal of Computer Science, Vol. 4, Issue 6 · 30 Jun 2008 · 6,514 accessesView PDFCite
Research ArticleOpen accessIn the abstractFPGA Implementation of Power Aware FIR Filter Using Reduced Transition Pipelined Variable Precision GatingA. Senthilkumar, A. M. NatarajanWith the emergence of portable computing and communication system, power awareness is one of the major objectives of VLSI Design. This is its ability to scale power consumption based on the time-varying nature of inputs. Even though the system is not designed for being power aware, systems display variations in power consumption as conditions change. This implies, by the definition … …Journal of Computer Science, Vol. 4, Issue 2 · 28 Feb 2008 · 7,317 accessesView PDFCite
Research ArticleOpen accessIn the abstractA New Error Correction Intuitive Approach in Quantum Communications ProtocolsAris Skander, Merabtine Nadjim, Malek BenslamaQuantum Error Correction will be necessary for preserving coherent states against noise and other unwanted interactions in quantum computation and communication. We develop a general theory of quantum error correction based on encoding states into larger Hilbert spaces subject to known interactions. We obtain necessary and sufficient conditions for the perfect recovery of an encoded state after its degradation by … …American Journal of Applied Sciences, Vol. 4, Issue 8 · 31 Aug 2007 · 6,842 accessesView PDFCite
Research ArticleOpen accessIn the abstractRemoving Useless Productions of a Context Free Grammar through Petri NetMansoor Al-A'ali, Ali A. KhanFollowing the proposal for a Petri Net (PN) representation of the Context Free Grammar (CFG)[1], we propose in this paper, an algorithm to eliminate the useless productions of CFG. First the CFG is represented by a PN. Then, based on the reachability, an algorithm is developed to eliminate Useless-productions. The algorithm is analyzed and implemented in Pascal using examples of … …Journal of Computer Science, Vol. 3, Issue 7 · 31 Jul 2007 · 6,674 accessesView PDFCite
Research ArticleOpen accessIn the abstractApproaches for Categorization of Reusable Software ComponentsParvinder Singh Sandhu, Janpreet Singh, Hardeep SinghReuse repositories manager manages the reusable software components in different categories and needs to find the category of reusable software components. In this paper, we have used different pure and hybrid approaches to find the domain relevancy of the component to a particular domain. Probabilistic Latent Semantic Analysis (PLSA) approach, LSA, Singular Value Decomposition (SVD) technique, LSA Semi-Discrete Matrix Decomposition … …Journal of Computer Science, Vol. 3, Issue 5 · 31 May 2007 · 6,906 accessesView PDFCite
Research ArticleOpen accessIn the abstractComputer Arithmetic Algorithms for Mega-Digit Floating Point Numbers' PrecisionMusbah J. Aqel, Mohammed H. SalehIEEE standard 754 floating point is the most common representation used for floating point numbers, and many computer arithmetic algorithms are developed for basic operations on this standard. In this study, new computer algorithms are proposed to increase the precision range and to solve some problems that are available while using these algorithms. However, these algorithms provide an optional range … …Journal of Computer Science, Vol. 3, Issue 2 · 28 Feb 2007 · 6,651 accessesView PDFCite
Research ArticleOpen accessIn the abstractFormal Analysis of Fault-tolerant Algorithm in the Time-triggered ArchitectureAliouat Zibouda, Aliouat Makhlouf, Batouche ChawkiTime-Triggered architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed systems. The core building block of the TTA is the communication protocol TTP/C. This protocol has been designed to provide no faulty nodes. TTP/C integrates a set of fault-tolerant services like: message transmissions, clocks synchronization and Group Membership Protocol (GMP). The GMP protocol ensures that … …Journal of Computer Science, Vol. 3, Issue 1 · 31 Jan 2007 · 6,651 accessesView PDFCite
Research ArticleOpen accessIn the abstractPacked Forest Chart ParserQi Haoliang, Li Sheng, Yang Muyun, Zhao TiejunPacked forest chart parser, like the traditional chart parsing algorithm, uses charts to store all the information produced while parsing to avoid redundant works. Its advantage over the traditional chart parser was the packed forest representation. The algorithm not only shares the non-terminal categories as what was done in the shared parse forest, but also shares the leftmost common elements. … …Journal of Computer Science, Vol. 3, Issue 1 · 31 Jan 2007 · 6,561 accessesView PDFCite