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 abstractFeature Analysis of Ontology Mediation ToolsRavi Lourdusamy, Gopinath GanapathyOntology mediation is enabled through interoperability of semantic data sources. It helps data sharing between heterogeneous knowledgebase and reuse by semantic applications. Ontology mediation includes operations such as, mapping, alignment, matching, merging and integration. After briefly describing these operations, this study selectively discusses set of methods, tools and data integration systems. It provides the researchers a comprehensive understanding of methods … …Journal of Computer Science, Vol. 4, Issue 6 · 30 Jun 2008 · 6,653 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 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,902 accessesView PDFCite
Research ArticleOpen accessIn the abstractQuery Pattern-based Relational Data to XML Data Translation AlgorithmJinhyung Kim, Dongwon Jeong, Doo-Kwon BaikThis paper proposes a new query pattern-based relational schema-to-XML schema translation (QP-T) algorithm to resolve implicit referential integrity issue. Various translation methods have been introduced on structural aspects and/or semantic aspects. However, most of conventional methods consider only explicit referential integrities specified by relational schema. It causes several problems such as incorrect transformation, abnormal relational model transition and so on. … …Journal of Computer Science, Vol. 3, Issue 4 · 30 Apr 2007 · 7,188 accessesView PDFCite
Research ArticleOpen accessIn the abstractpmonpp: Pthread Monitor PreprocessorJinhua GuoMonitors have become an exceedingly important synchronization mechanism because they are a natural generalization of the object-oriented programming. A monitor construct encapsulates private data with public methods to operate on that data. Although the Pthread library contains dozens of functions for threading and synchronization, it does not provide direct support for the monitor. Students must explicitly provide mutual exclusion around … …Journal of Computer Science, Vol. 2, Issue 10 · 31 Oct 2006 · 6,748 accessesView PDFCite
Research ArticleOpen accessIn the abstractA UDDI Search Engine for SVG Federated Medical Imaging Web ServicesSabah Mohammed, Jinan Fiaidhi, Marshal HahnWith more and more medical web services appearing on the web, web service's discovery mechanism becomes essential. UDDI is an online registry standard to facilitate the discovery of business partners and services. However, most medical imaging applications exist within their own protected domain and were never designed to participate and operate with other applications across the web. However, private UDDI … …Journal of Computer Science, Vol. 2, Issue 4 · 30 Apr 2006 · 7,008 accessesView PDFCite
Research ArticleOpen accessIn the abstractA Dynamic Weight Assignment Approach for Index TermsKamel E. Haouam, Farhi MarirCurrently in the development of Informational Retrieval (IR) systems, a set of keywords represents the semantics of a text document and after assigning weights to the set of keywords, they are used for indexing, searching and retrieval purposes. The current approaches for assigning weights are provided by an IR model that is used by an IR system. The main objective … …Journal of Computer Science, Vol. 2, Issue 3 · 31 Mar 2006 · 6,943 accessesView PDFCite
Research ArticleOpen accessIn the abstractA New Indexing Technique for Information Retrieval Systems Using Rhetorical Structure Theory (RST)Muhammad Shoaib, Abad Ali ShahEffective information retrieval requires an efficient indexing technique. With the availability of huge volume of information, it has become necessary to capture the semantic of the document, which is almost impossible with the existing techniques. Moreover in the existing technique the weights once assign are remains unchangeable through out the cycle. In this paper an indexing technique assignment using Rhetorical … …Journal of Computer Science, Vol. 2, Issue 3 · 31 Mar 2006 · 7,406 accessesView PDFCite
Research ArticleOpen accessIn the abstractA Note towards Reshaping Java's FeaturesN. S. Kutti, Z. A. Al-Khanjari, H. A. Ramadhan, J. FiaidhiProgramming Languages continually go through the refinement process due to several findings such as lack of robustness, lack of flexibility, lack of simplicity and lack of standard. This may require pruning undesirable features, sometimes softening of hard nature of some features and adding new features to improve the scope of the languages. Recently Java has emerged as a refined language … …Journal of Computer Science, Vol. 1, Issue 4 · 30 Dec 2005 · 6,496 accessesView PDFCite