Research ArticleOpen accessIn the abstractAn Integrated Model for the Versioning of Image ObjectsS. KhaddajProblem statement: The efficient management and retrieval of the enormous volumes of information generated by many imaging applications is still a challenging problem. Approach: In this study we are particularly interested with the use of object oriented techniques for the management of digital images. Indeed, it is widely accepted that the use of data abstraction in object oriented modeling enables … …Journal of Computer Science, Vol. 6, Issue 1 · 31 Jul 2010 · 6,911 accessesView PDFCite
Research ArticleOpen accessIn the abstractSpecialization of Recursive Predicates from Positive Examples OnlyMoussa DembaProblem statement: Given an overly general (definite) program P and its intended semantics Φ (the programmer’s intentions) where P does not satisfy Φ, find out a new version P’ of P such that P’ satisfies Φ. Approach: We proposed an approach for correcting overly general programs from positive examples by exploiting program synthesis techniques. The synthesized program, P’, is a … …Journal of Computer Science, Vol. 6, Issue 6 · 30 Jun 2010 · 6,854 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 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 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