Research ArticleOpen accessIn the abstractSynthesizing Behavioral Model of Event-Based RequirementsSeyyed M. BabamirProblem Statement: in the software engineering field, satisfaction of user's requirements by software has been a matter of concern. Therefore, monitoring software behavior against user's high-level requirements has already received a considerable and significant attention. However, the gap between low-level software behavior and high-level requirements has put an obstacle in the way of monitoring. Approach: to overcome the obstacle, we … …Journal of Computer Science, Vol. 4, Issue 7 · 31 Jul 2008 · 6,667 accessesView PDFCite
Research ArticleOpen accessIn the abstractAnimation of Natural Language Specifications of Authentication ProtocolsMabroka A. Mayouf, Zarina ShukurProblem Statement: A few visualization tools have been created for protocol design and analysis. Although these tools provide an environment for designing security protocols, each one has its own protocol definition language (its also called informal specification language). The problem is that the user should understand the language which related to the used tool in order to define an exist … …Journal of Computer Science, Vol. 4, Issue 7 · 31 Jul 2008 · 6,731 accessesView PDFCite
Research ArticleOpen accessIn the abstractEvaluation of the Lack of Essential Information in Medical LiteratureMuaed J. Alomar, Anas A. Hourani, Syed A. Sulaiman, Claire c. StrauchPrimary literature is a basic tool for medical knowledge and for future research. Every researcher relies at some point on the information available in published literature. Also, primary literature is utilized to develop guidelines for the medical use of medications in all kinds of diseases, accuracy is a must in this regard. To evaluate essential information regarding patients, drugs and … …American Journal of Pharmacology and Toxicology, Vol. 3, Issue 2 · 30 Jun 2008 · 7,099 accessesView PDFCite
Research ArticleOpen accessIn the abstractGeo-Seismic Environmental Aspects Affecting Tailings Dams FailuresJuan M. Mayoral, Miguel P. RomoSeismic performance evaluations of tailings dams are essential for characterizing the geo-environmental risks posed by these earthen structures, which should include the geotechnical hazards implied by slope instability failure, free board loss and the potential release of contaminants. The observed damage is more important when liquefaction occurs on the dam body and foundation, which often leads to cracking, settlements, tilting … …American Journal of Environmental Sciences, Vol. 4, Issue 3 · 30 Jun 2008 · 7,086 accessesView PDFCite
Research ArticleOpen accessIn the abstractCTSS: A Tool for Efficient Information Extraction with Soft Matching Rules for Text MiningA. Christy, P. ThambiduraiThe abundance of information available digitally in modern world had made a demand for structured information. The problem of text mining which dealt with discovering useful information from unstructured text had attracted the attention of researchers. The role of Information Extraction (IE) software was to identify relevant information from texts, extracting information from a variety of sources and aggregating it … …Journal of Computer Science, Vol. 4, Issue 5 · 31 May 2008 · 6,892 accessesView PDFCite
Research ArticleOpen accessIn the abstractCreep-Fatigue Crack Growth Interaction in Nickel Base Supper AlloyF. DjavanroodiMost engineering components which operate at elevated temperatures are subjected to non-steady loading during service. This paper describes the current fracture mechanics concepts that are employed to predict cracking of Nickel base supper alloy materials at high temperatures under low and high frequency cyclic loading. A model for predicting creep crack growth in terms of C* and the creep uniaxial … …American Journal of Applied Sciences, Vol. 5, Issue 5 · 31 May 2008 · 6,892 accessesView PDFCite
Research ArticleOpen accessIn the abstractSNL2Z: Tool for Translating an Informal Structured Software Specification into Formal SpecificationMohamed A. Sullabi, Zarina ShukurIn the area of software engineering there have been very few efforts to automate the translation from specifications written in natural language to the formal specification languages. Writing of the specifications in natural language is always depending on context and it is commonly vagueness; this represents the major reasons of the challenge. This paper discusses the design of a tool … …American Journal of Applied Sciences, Vol. 5, Issue 4 · 30 Apr 2008 · 7,139 accessesView PDFCite
Research ArticleOpen accessIn the abstractInvestigation of Pile- Soil Interaction Subjected to Lateral Loads in Layered SoilsA. Avaei, Abdoul R. Ghotbi, M. AryafarTo stabilize infrastructures such as tall buildings, bridges, etc., piles are used to resist lateral loads created from earth pressure, wind, waves and earthquake extensively. Pile design requires understanding of how the load is transferred from a pile to surrounding soil and vice versa. Pile properties, soil stress-strain behavior and pile-soil interaction play important roles in pile-response subjected to lateral … …American Journal of Engineering and Applied Sciences, Vol. 1, Issue 1 · 31 Mar 2008 · 7,339 accessesView PDFCite
Research ArticleOpen accessIn the abstractStrength and Ductility of Randomly Distributed Palm Fibers Reinforced Silty-Sand SoilsS.M. Marandi, M.H. Bagheripour, R. Rahgozar, H. ZareThis paper investigates the resultant strength and ductility behavior when randomly distributed palm fibers are used to reinforce silty-sand soils. The composite soils were tested under laboratory conditions and examined for unconfined compression strength (UCS), California Bearing Ratio (CBR) and compaction test. The results indicated that; the maximum and residual strengths, orientation of surface failures, ductility and the stress-strain relationship … …American Journal of Applied Sciences, Vol. 5, Issue 3 · 31 Mar 2008 · 8,857 accessesView PDFCite
Research ArticleOpen accessIn the abstractA New Approach to Solve Nonlinear Partial Differential EquationsAbdoul R. Ghotbi, M. A. Mohammadzade, A. Avaei, M. KeyvanipoorNonlinear phenomena play a crucial role in applied mathematics and physics. Explicit solutions to the nonlinear equations are of fundamental importance. Various methods for obtaining explicit solution to nonlinear evolution equations have been proposed. In this letter homotopy perturbation method (HPM) is employed for solving one-dimensional non-homogeneous parabolic partial differential equation with a variable coefficient and a system of nonlinear … …Journal of Mathematics and Statistics, Vol. 3, Issue 4 · 31 Dec 2007 · 6,916 accessesView PDFCite