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 abstractAn EBA-Web based Application for Banking Information SystemKhaldoun Mohammad BatihaIn the current wake of growing technology and modernization the biggest challenge remains the optimization of our time, particularly for the business executives. For the executives the vital information at their fingertips plays an important role. In the computer era, there are many financial institutions like wise banks which provide web-based application to access all their functionalities associated with particular … …Journal of Computer Science, Vol. 2, Issue 12 · 31 Dec 2006 · 6,835 accessesView PDFCite
Research ArticleOpen accessIn the abstractReal-Time Audio Retrieval Method and Automatic Commercial Detecting SystemGuibin Zheng, Jiqing HanThis study presents a robust audio retrieval method and discusses its control strategy. In the method, the retrieval target is divided into short segments, each segment is searched respectively and a retrieval window is used to maintain a list of segments that can be searched simultaneously. The method can quickly detect and locate known sound in real-time audio stream, multimedia … …Journal of Computer Science, Vol. 2, Issue 3 · 31 Mar 2006 · 6,870 accessesView PDFCite
Research ArticleOpen accessIn the abstractApplication of Harmony Search to Vehicle RoutingZong Woo Geem, Kang Seok Lee, Yongjin ParkA phenomenon-inspired meta-heuristic algorithm, harmony search, imitating music improvisation process, is introduced and applied to vehicle routing problem, then compared with one of the popular evolutionary algorithms, genetic algorithm. The harmony search algorithm conceptualized a group of musicians together trying to search for better state of harmony. This algorithm was applied to a test traffic network composed of one bus … …American Journal of Applied Sciences, Vol. 2, Issue 12 · 31 Dec 2005 · 12,460 accessesView PDFCite
Research ArticleOpen accessIn the abstractLearning Dynamics in the Cobweb Model with Heterogeneous ProducersCarl Chiarella, Xue-Zhong HeIn this study we investigate the nonlinear dynamics of the traditional cobweb model with two types of heterogeneous producers who are risk averse and seek to learn the distribution of asset prices, in terms of the sample mean and variance of historical prices, using the Arithmetic Learning Processes (ALP) over different window lengths. We show that heterogeneity has a double … …American Journal of Applied Sciences, Vol. 2, Issue 13 · 15 Dec 2005 · 7,911 accessesView PDFCite
Research ArticleOpen accessIn the abstractA Simple Approach for Building Cooling Load EstimationF. A. Ansari, A. S. Mokhtar, K. A. Abbas, N. M. AdamThe present work is to demonstrate how some very simple problems are made mathematically complex and seemingly tedious due to academic or business compulsions. There are some problems in which mathematical model are developed after making many simplifying assumptions. But, when it comes to solving these models, very sophisticated and complex schemes are applied. For such problems, dual policy does … …American Journal of Environmental Sciences, Vol. 1, Issue 3 · 30 Sep 2005 · 7,534 accessesView PDFCite
Research ArticleOpen accessIn the abstractIntroducing Song Form Intelligence into Streaming AudioKevin CurranWhen receiving streaming media over a low bandwidth wireless connection, users can experience not only packet losses but also extended service interruptions. These dropouts can last for as long as 15 sec. During this time no packets are received and if not addressed, these dropped packets cause unacceptable interruptions in the audio stream. A long dropout of this kind may … …Journal of Computer Science, Vol. 1, Issue 2 · 30 Jun 2005 · 6,572 accessesView PDFCite
Research ArticleOpen accessIn the abstractModeling Water Quality in RiversLiren Yu, N. N.B. SalvadorThis study reports a PC software, used in a Windows-based environment, which was developed based on the first order reaction of Biological Oxygen Demand (BOD) and a modified Streeter and Phelps equation, in order to simulate and determine the variations of Dissolved Oxygen (DO) and of the BOD along with the studied river reaches. The software considers many impacts of … …American Journal of Applied Sciences, Vol. 2, Issue 4 · 30 Apr 2005 · 6,858 accessesView PDFCite
Research ArticleOpen accessIn the abstractRAM 1.0 Software for Gaussian-Plume Multiple Source Air Quality SimulationLiren Yu, Paulo I.F. de AlmeidaThis study presents a developed software in environmental engineering, namely RAM 1.0 (RAM: Regulatory Air Model), adopted completely Graphical User Interface (GUI) technique, for operating in various Windows-based microcomputers. RAM 1.0 software consists of the improved RAM Model and RAM Algorithm as well as developed RAM 1.0 Graphical User Interface, respectively. RAM Model takes into account different ambient characteristics, meteorological … …American Journal of Applied Sciences, Vol. 2, Issue 2 · 28 Feb 2005 · 7,458 accessesView PDFCite
Research ArticleOpen accessIn the abstractTransducer for Tension Force Measuring of Strip MaterialsEmad Said AddasiIn winding-up motor drive systems, such as that used in textile industry, it is very important to get a constant tension force for the winding strip material (thread) and to reduce its oscillations. This study recommends a transducer with a special design to be used in the mentioned motor drive systems. By using a piston damper, spring, levers, slider and … …American Journal of Applied Sciences, Vol. 2, Issue 1 · 31 Jan 2005 · 6,967 accessesView PDFCite