Volume 7, Number 1, January 2009


Computing and Information Sciences is a peer reviewed journal that is committed to timely publication of original research, surveying and tutorial contributions on the analysis and development of computing and information science. The journal is designed mainly to serve researchers and developers, dealing with information and computing. Papers that can provide both theoretical analysis, along with carefully designed computational experiments, are particularly welcome. The journal is published 2-3 times per year with distribution to librarians, universities, research centers, researchers in computing, mathematics, and information science. The journal maintains strict refereeing procedures through its editorial policies in order to publish papers of only the highest quality. The refereeing is done by anonymous Reviewers. Often, reviews take four months to six months to obtain, occasionally longer, and it takes an additional several months for the publication process.

Paper 1: A Framework To Model Real-Time Databases

A Framework To Model Real-Time Databases

Nizar Idoudi, Nada Louati, Claude Duvallet, Rafik Bouaziz, Bruno Sadeg and Faiez Gargouri

Abstract: Real-time databases deal with time-constrained data and time-constrained transactions. The design of this kind of databases requires the introduction of new concepts to support both data structures and the dynamic behaviour of the database. In this paper, we give an overview about different aspects of real-time databases and we clarify requirements of their modelling. Then, we present a framework for real-time database design and describe its fundamental operations. A case study demonstrates the validity of the structural model and illustrates SQL queries and Java code generated from the classes of the model.



Paper 2: Towards Making WSRF Based Web Services Strongly Mobile

Towards Making WSRF Based Web Services Strongly Mobile

Soumaya Marzouk

Abstract: Grid Services became a widely used technology for building service oriented applications. The Web Service Resource Framework (WSRF) is the current standard used for building such services as it describes the way to design and communicate with stateful services. However, deploying Web services on a grid environment raises many challenges such as adapting the Web service to the dynamic change of grid resources performance and availability. Therefore, mechanisms such as service mobility maybe very helpful for supporting autonomic properties of grid services.In this paper, we propose a solution for WSRF grid services strong mobility allowing services to migrate during their execution while keeping their execution state consistent. In addition, suspended services will resume their execution starting from the interruption point. To show the feasibility of our approach, we present a case study illustrating the application of our transformation on a WSRF Auction service. We provide then some evaluations performed on the Globus Toolkit (version 4.0).



Paper 3: A Formal Model of a Multi-Step Coordination Protocol for Self-Adaptive Software  ...

A Formal Model of a Multi-Step Coordination Protocol for Self-Adaptive Software Using Coloured Petri Nets

Najla Hadj Kacem, Ahmed Hadj Kacem and Khalil Drira

Abstract:Technology advances continue to make computing environments ever changing and more complex. In the presence of such environments software systems are increasingly expected to continue operating at run-time. As human intervention becomes costly, time-consuming and error-prone, these systems should be equipped with self-adaptation capabilities in order to adapt themselves in response to environmental changes. While most of the research in this area focuses on individual parts of an adaptive system, our work leverages on this research but tackles the problem where interdependent and distributed adaptations are concurrently performed. In this paper, we approach behavioural changes of component-based systems in two stages. First, we propose a process to individually adapt one component at a time. Second, we elaborate a coordination protocol to maintain globally consistent state when implementing distributed adaptations. To achieve correct coordination, rather than only considering dependency relations between multiple adaptations, our approach further focuses on dependency relations between components at run-time. Motivated by the potential benefits of using formalisms, we construct a formal model of our protocol using Coloured Petri Nets in order for an adaptive system to be trusted after adaptation. In the model, we make sufficient abstraction of details, but still deal with the core of the protocol. This makes the model simpler and the analysis easier due to restricted state space size. We verify key behavioural properties and conduct CTL model checking to assess the correctness of the model and thereby the correctness of the protocol.



Paper 4: Automatic Annoration Approach of Events in News Articles

Automatic Annotation Approach of Events in News Articles

Aymen Elkhlifi and Rim Faiz

Abstract: Daily, several news agencies publish thousands of articles concerning many events of all types (political, economic, cultural, etc.). The decision-makers find themselves in front of a great number of events,  a few of which concern them. The automatic treatment of such events becomes increasingly necessary. Thus, we propose a machine learning-based approach that allows annotating news articles to generate an automatic summary of the events. We propose a new similarity measurement between events and we validate our approach by the development of the "AnnotEv" system.



Paper 5: A Parser Generation with the LKB for the Arabic Relatives

A Parser Generation with the LKB for the Arabic Relatives

Kais Haddar, Ines Zalila and Sirine Boukedi

Abstract: The relative phenomenon is considered as a rather delicate linguistic phenomenon and not explored enough by researchers, especially for the Arabic language. In an attempt to deal with this phenomenon, we propose in this paper a study about different forms of relative clauses. This study will be used for the building of a parser that can process relative sentences. This parser is constructed using  the HPSG formalism (Head-driven Phrase Structures Grammar), whose fundamental structure is the feature’s one. In fact, an adaptation of HPSG for the Arabic language is made here  in order to integrate the features of  the arabic language. The established HPSG grammar is specified in TDL (Type Description Language). This specification is used by the LKB platform ( Linguistic Knowledge Building ) to generate the already mentioned parser.





Prof. Jihad Mohamad Alja'am 
Email: journal.editor.ijcis@gmail.com

The Journal Secretary
Eng. Dana Bandok
Ontario, Canada 
Email: sec.ijcis@gmail.com 


Home Page »



I particularly like the unusual offset position of the crown. The rolex replica sale comes in three models, one with a plane face, one with 6 diamonds located between the 3 o'clock and 6 o'clock position, and one with diamonds completely encircling the hublot replica. The Rado Cerix is a beautiful ladies watch for those who can afford it. A review of Rado watches can't overlook the rolex replica sale. The Rado V10K has to be one of the best wristwatches you can buy. For those looking for a rolex replica sale that stands at the forefront of technology, the Rado V10K stands out by a mile. The V10K is the most scratch proof watch ever made. The replica watches sale is made from 'hard diamond'. V10K actually stands for Vickers 10,000 - Vickers being a measure of hardness, with the scale going from 0 to 10,000; the ultimate value that only diamonds can attain; replica watches sale used this as a benchmark when developing the hardest watch in the world.