Research ArticleOpen accessIn the abstractNimble Protein Sequence Alignment in Grid (NPSAG)K. Somasundaram, S. RadhakrishnanIn Bio-Informatics application, the analysis of protein sequence is a kind of computation driven science which has rapidly and quickly growing biological data. Also databases used in these applications are heterogeneous in nature and alignment of protein sequence using physical techniques is expensive, slow and results are not always guaranteed/accurate. So this application requires cross-platform, cost-effective and more computing power … …Journal of Computer Science, Vol. 4, Issue 1 · 31 Jan 2008 · 6,921 accessesView PDFCite
Research ArticleOpen accessIn the abstractComputational Discrete Time Markov Chain with Correlated Transition ProbabilitiesPeerayuth CharnsethikulThis study presents a computational procedure for analyzing statistics of steady state probabilities in a discrete time Markov chain with correlations among their transition probabilities. The proposed model simply uses the first order Taylor’s series expansion and statistical expected value properties to obtain the resulting linear matrix equations system. Computationally, the bottleneck is O(n4) but can be improved by distributed … …Journal of Mathematics and Statistics, Vol. 2, Issue 4 · 31 Dec 2007 · 6,648 accessesView PDFCite
Research ArticleOpen accessIn the abstractAutomatic Calibration of Frequency Compensation System in Computer-Controlled Patch-Clamp AmplifierJun Xiong, Gang Hu, Anlian QuComputer-controlled patch-clamp amplifier is a digitally controlled analog device used to record the cellular ion channel currents in electrophysiology research. The inherent bandwidth and performance of the headstage is limited by the stray capacitance and distributed capacitance across the feedback resistors. In order to effectively improve the performance of the headstage, the paper advanced a simplified automatic calibration method of … …Journal of Computer Science, Vol. 3, Issue 10 · 31 Oct 2007 · 6,814 accessesView PDFCite
Research ArticleOpen accessIn the abstractAd Hoc Mobile Wireless Networks Routing Protocols - A ReviewGeetha Jayakumar, G. GopinathMobile ad hoc networks(MANET) represent complex distributed systems that comprise wireless mobile nodes that can freely and dynamically self organize into arbitrary and temporary ad-hoc network topologies, allowing people and devices to seamlessly internet work in areas with no preexisting communication infrastructure e.g., disaster recovery environments. An ad-hoc network is not a new one, having been around in various forms … …Journal of Computer Science, Vol. 3, Issue 8 · 31 Aug 2007 · 115,241 accessesView PDFCite
Research ArticleOpen accessIn the abstractFormal Validation of the Safety Property of Sack Protocol Using Theorem Proving TechniqueZ. Shukur, N. Alias, M. H. Mohamed Halip, B. IdrusThis paper demonstrates the formal validation process of safety properties of Selective ACKnowledgment (SACK) protocol. SACK is a complex communication protocol as it is used in various types of distributed computer systems and networks. This acknowledgment mechanism is used with sliding window protocol that allows the receiver to acknowledge packets received out of order, but within the correct sliding window. … …Journal of Computer Science, Vol. 3, Issue 6 · 30 Jun 2007 · 6,227 accessesView PDFCite
Research ArticleOpen accessIn the abstractA Main Object-oriented Projective Invariant Image Watermarking ApproachMalik F. AlamairehDigital Watermarking is a technology that enables to protect distributed digital content from unauthorized reuse. Robust watermarks must be able to survive a range of geometrical "attacks," such as image resizing, cropping, translation, rotation, scaling, smoothing, filtering, and simplification. In the current paper we extend existing approaches that are based partially on image invariant features; by introducing new image invariant … …American Journal of Applied Sciences, Vol. 4, Issue 6 · 30 Jun 2007 · 6,737 accessesView PDFCite
Research ArticleOpen accessIn the abstractSecure Mobile Trade AgentMusbah M. Aqel, Sattar J. Aboud, Mohammed A. AL-FayoumiE-commerce on the internet has the ability to produce millions of transactions and a great number of merchants whose supply merchandise over the internet. As a result, it is difficult for entities to roam over every site on the internet and choose the best merchandise to trade. So, in this paper we introduced a mobile trade agent that visit the … …Journal of Computer Science, Vol. 3, Issue 5 · 31 May 2007 · 6,766 accessesView PDFCite
Research ArticleOpen accessIn the abstractA Case Study of Black-Box Testing for Embedded Software using Test Automation ToolChanghyun Baek, Joongsoon Jang, Gihyun Jung et al.This research shows a case study of the Black-Box testing for Temperature Controller (TC) which is one of the typical embedded systems. A test automation tool, TEST, was developed and some kinds of TCs were tested using the tool. We presented statistical analysis for the test results of the automated testing and defined the properties of the software bugs for … …Journal of Computer Science, Vol. 3, Issue 3 · 31 Mar 2007 · 8,591 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,647 accessesView PDFCite