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,338 accessesView PDFCite
Research ArticleOpen accessIn the abstractHormetic and Non-Hormetic Dose-Response Functions in Stress Effects on Memory and Synaptic Plasticity: Issues and MechanismsPhillip R. Zoladz, David M. DiamondOver a century of behavioral research has shown that stress can exert both positive and negative effects on memory. We have explored the idea that the complex effects of stress on learning and memory can be characterized by hormetic- and non-hormetic dose-response functions, in which stress may either stimulate or impair brain memory mechanisms, depending, in part, on the timing … …American Journal of Pharmacology and Toxicology, Vol. 3, Issue 1 · 31 Mar 2008 · 8,184 accessesView PDFCite
Research ArticleOpen accessIn the abstractCompressive Load Resistance Characteristics of Rice GrainSumpun Chaitep, Chaiy Rungsiyakull, Pipatpong WatanawanyooInvestigation was made to observe the compressive load property of rice gain both rough rice and brown grain. Six rice varieties (indica and japonica) were examined with the moisture content at 10-12%. Compressive loads with reference to a principal axis normal to the thickness of the grain were conducted at selected inclined angles of 0°, 15°, 30°, 45°, 60° and … …American Journal of Agricultural and Biological Sciences, Vol. 3, Issue 1 · 31 Mar 2008 · 8,179 accessesView PDFCite
Research ArticleOpen accessIn the abstractMapping UML Component Specifications to JEE ImplementationsJyhjong LinComponent-based Software Engineering (CbSE) has become a well-accepted approach for developing complex software systems due to its significant advantages on composition and reuse. In practice, however, its use still requires the conjunction of a component specification method that describes how system requirements are satisfied in terms of software components. Such a component specification is then implemented in a variety of … …Journal of Computer Science, Vol. 3, Issue 10 · 31 Oct 2007 · 6,478 accessesView PDFCite
Research ArticleOpen accessIn the abstractFlow of Dividends under a Constant Force of InterestJuma Kasozi, Jostein PaulsenThis study addresses the issue of maximization of dividends of an insurer whose portfolio is exposed to insurance risk. The insurance risk arises from the classical surplus process commonly known as the Cramér-Lundberg model in the insurance literature. To enhance his financial base, the insurer invests in a risk free asset whose price dynamics are governed by a constant force … …American Journal of Applied Sciences, Vol. 2, Issue 10 · 31 Oct 2005 · 7,386 accessesView PDFCite
Research ArticleOpen accessIn the abstractQuality Metric Development Framework (qMDF)K. Mustafa, R. A. KhanSeveral object-oriented metrics have been developed and used in conjunction with the quality models to predict the overall quality of software. However, it may not be enough to propose metrics. The fundamental question may be of their validity, utility and reliability. It may be much significant to be sure that these metrics are really useful and for that their construct … …Journal of Computer Science, Vol. 1, Issue 3 · 30 Sep 2005 · 7,379 accessesView PDFCite
Research ArticleOpen accessIn the abstractSemantic Refinement of Multi-meaning Words by T-normsF. Sadeghi, H. Khosravi, E. EslamiIn this paper we consider a multi-meaning word which appears in a sentence together with some connected words. To refine the meaning of this multi-meaning word, we propose a method based on T-norms which are reasonable mathematical models of logical conjunction operator in fuzzy logic. The preliminary results derived from a prepared corpus are encouraging. …Journal of Computer Science, Vol. 1, Issue 3 · 30 Sep 2005 · 6,416 accessesView PDFCite
Research ArticleOpen accessIn the abstractExtending UML-RT for Control System ModelingQimin Gao, L. J. Brown, L. F. CapretzThere is a growing interest in adopting object technologies for the development of real-time control systems. Several commercial tools, currently available, provide object-oriented modeling and design support for real-time control systems. While these products provide many useful facilities, such as visualization tools and automatic code generation, they are all weak in addressing the central characteristic of real-time control systems design, … …American Journal of Applied Sciences, Vol. 1, Issue 4 · 31 Dec 2004 · 6,743 accessesView PDFCite
Research ArticleOpen accessIn the abstractCOMPUTATIONAL MODEL TO GENERATE CASE-INFLECTED FORMS OF MASCULINE NOUNS FOR WORD SEARCH IN SANSKRIT E-TEXTKasmir Raja S.V., V. Rajitha, Meenakshi LakshmananThe problem of word search in Sanskrit is inseparable from complexities that include those caused by euphonic conjunctions and case-inflections. The case-inflectional forms of a noun normally number 24 owing to the fact that in Sanskrit there are eight cases and three numbers-singular, dual and plural. The traditional method of generating these inflectional forms is rather elaborate owing to the … …Journal of Computer Science, Vol. 10, Issue 11 · 13 Dec 2014 · 7,897 accessesView PDFCite