Accepted Papers

  • Efficient Call Path Detection For Android-OS Size of Huge Source Code
    Koji Yamamoto and Taka Matsutsuka,Fujitsu Laboratories Ltd., Kanagawa, Japan
    This paper offers a bidirectional search algorithm for a call graph of too large amount of source code to store all parse results of the code in memory. It refers to a method definition in source code corresponding to the visited node in the call graph. The significant feature of the algorithm is the referenced information is used not in order to select a prioritized node to visit next but in order to select a node to postpone visiting. It reduces path extraction time by 8% for a case in which ordinary path search algorithms do not reduce the time.
  • Towards A New Approach of Data Dissemination IN VANETS Networks
    Ouafa Mahma and Ahmed Korichi, Kasdi Merbah University, Ouargla, Algeria
    This study was conducted as part of our research project entitled "Simulation & VANETs: Modeling and simulation of vehicular ad hoc networks VANET." This project involves the modeling and simulation of VANET networks for analysis and evaluation approaches and mechanisms used in these networks. The objective of this article is to analyze the performance of different data dissemination approaches for VANET networks, this in order to identify their shortcomings and propose a new approach of traffic data dissemination. We justify and we validate our approach using the modeling and simulation techniques applied.
  • Design of Ka-Band Substrate Integrated Waveguide Bend, Power Divider and Circulator
    Bouchra Rahali, Mohammed Feham and Junwu Tao, University of Tlemcen, Algeria
    Substrate Integrated Waveguide (SIW) features interesting characteristics for the design of microwave and millimeter-wave integrated circuits. In this study, a substrate integrated waveguide bend, power divider and circulator are conceived and optimized in Ka- band by Ansoft HFSS code. Thus, through this modeling, design considerations and results are discussed and presented. Compact size and planar form make these devices structure easily integrated in planar circuits.
  • Modelling Dynamic Patterns Using Mobile Data
    Suhad Faisal Behadili 1, Cyrille Bertelle 1 and Loay E. George 2, 1 Normandie University, France, 2 Baghdad University, Iraq
    Modeling and simulation aims to study and build models to mimic the (real system or any real-life phenomena), existing or contemplated inception, the aim of this study is to explore the characteristics of human mobility, then the eventual real effects conditions and actions of the specified system are modeled mathematically, using CDRs (Call Detailed Records) during Armada festival in France. However, the results of the numerical simulation endorsethe other studiesfindings in that the most of real systems are almost follows an exponential distribution.
  • Main Area Detection of Data Records in Semi-Structured Web Documents Using Ontology
    Reza Eskandarinia and Mohammad Hussein Yektaie, Islamic Azad University, Iran
    Searching in World Wide Web and extraction of information from documents which have exact information suitable for users is very difficult. It seems that some steps will be taken in future in order to solve this problem. The main goal of this research is to concentrate on semi-structured documents of type HTML and use an application ontology to identify web documents main area. This area is the gathering point of information records anticipated by users. To this end, we use Back Tracking method on tree structure of a document. The condition for a node being promising will be calculated by means of combining three heuristics: (1) density heuristic, which measures the ratio of ontology-based characters sum to total document characters. (2) Expected values heuristic, which compares the number of observed values in a document based on lexical objects with the number and expected values in ontology. (3) Grouping Heuristic. Results of experiments show that the proposed methodology is able to attain 100% recall and 95% precision.
  • Proposing A New Clustering Algorithm For VANET
    Reza Rafeh, Centre for Business Information Technology and Enterprise, New Zealand
    Inter-vehicle communication is a major part of the Intelligent Transportation Systems (ITS). Vehicular Ad-Hoc Network (VANET) was primarily developed to improve safety and comfort for vehicles, passengers and drivers. Because of high mobility and changeable infrastructure, there are many challenges in such networks one of which is routing. Existing routing algorithms for VANET are divided into five major classes: AdHoc, position-based, broadcast, Geocast and cluster-based. In this paper we propose a cluster-based routing algorithm which is scalable, efficient and distributed. In the proposed algorithm when selecting the clusterhead we take into account the speed deviation of vehicles as well as the remaining time to destination. Simulation results show that the proposed algorithm has more stability and lower End-to-End delay compared with Cluster-based Routing Protocol (CBRP).
  • Towards A Computation Independent ontology For The Development of Pervasive Games Based Learning Systems Based on Requirements Engineering
    Yemna Mejbri and Maha Khemaja, University Of SousseSousse, Tunisie
    The overlap of different features of pervasive games based learning systems (PGBLSs) including the ludic aspect, the pervasive aspect and the educational aspect adds complexity to understand, to discover, to develop, to validate, to reason and to manage requirements during design time and runtime of those systems. We propose in this paper a computation independent model (CIM) in the requirements engineering process in order to improve the development of PGBLSs. This model is based on an ontology of requirements that is characterized by modeling guidelines that help developers to capture users’ requirements, facilitate dynamic updating of the requirements in order to meet the changes and the dynamicity of context and allow reuse of the ontology of requirements each time when the learning environment varies.
  • Personal Identity Matching
    Mazin Al-Shuaili and Marco Carvalho, Florida Institute of Technology, USA
    Despite all existing methods to identify a person, such as fingerprint, iris, and facial recognition, the personal name is still one of the most common ways to identify an individual. In this paper, we propose two novel algorithms: The first one uses sound techniques to create a multi-dimensional vector representation of names to compute a degree of similarity. This algorithm compares names that are written in different languages (cross-language) and transliterated names in English. The second algorithm builds on the first one and measures the similarities between full names, taking into account the full name structure. We evaluate the algorithms for transliterated names and across languages using Arabic and English as an example. Significant results are achieved by both algorithms compared with other existing algorithms.
  • Automatic Code Parallelization With openmp Task Constructs
    Manju Mathews and Jisha P Abraham, Mar Athanasius College of Engineering, India
    Multi-core processors are very common in the form of dual-core and quad-core processors. To take advantage of multiple cores, parallel programs are written. Existing legacy applications are sequential and when run on multiple cores, utilize only one core. Computationally intensive applications should be either rewritten or parallelized to make use of multiple cores. Manual parallelization requires huge effort in terms of time and money and hence there is a need for automatic code parallelization. Automatic Code Parallelizer using OpenMP automates the insertion of compiler directives to facilitate parallel processing on shared memory machines. The proposed tool converts an input sequential C program into a multithreaded C program for multi-core shared memory architectures. The tool also supports multi-level parallelization with the generation of nested OpenMP parallel constructs. The focus is on coarse-grained task parallel processing to improve performance beyond the limits of loop parallelism. The proposed scheme statically decomposes a sequential C program into coarse grain tasks, analyse dependency among tasks and generates OpenMP parallel source code. Due to the broad support of OpenMP standard, the generated OpenMP codes can run on a wide range of SMP machines and may result in a performance improvement.
  • Formal Verification of Heart-Lung Machine Using Colored Petri Net
    Reza Rafeh, Arak University, Arak, Iran
    Happening error in computer systems, especially those used in medical systems, may lead to loss of lives. As a result, verification of such systems is important. Model checking is a way to ensure that there is no error in a given model. The heart-lung machine is used in surgeries in which heart must stop working. In this paper, by using Coloured Petri Net (CPN), we propose a model for the heart-lung machine and propose a formal approach to verify the operation of the machine. We used CPN Tools to model the behaviour of the heart-lung machine in which there are three sets of operations happening concurrently. Therefore, the machine has been modelled in three subsystems: system overall performance machine, heparin injection machine and cardioplegia solution delivery machine. After modelling the system, the reachability graph has been obtained and situations which may lead the system to unsecure states have been identified.
  • A New Approach to Social Networks Access Management Based on Attribute Base Access Control
    Leila Rikhtechi and Reza Rafeh, The University of Arak, Iran
    Nowadays, the use of social networks has been very popular. These kinds of networks (whether personal or organizational) are made of groups in accordance with some especial correlation. One of the main issues in these networks refers to the management the access of users on the resources such as profiles. Therefore, in this paper, a new approach is introduced for the management of the user's access in social networks. It is suggested to apply the policies for controlling on granting/revoking the permission in accordance with the attribute base access control. The suggested approach would be based on multi-layer central software module for the management of user and also third party applications to the resources. By the use of the suggested approach, one can use the attributes such as geographical position and time to manage the user's access in these social networks.
  • Study on Algorithm of Image Restoration Based on Stochastic Resonance and Wavelet Transforming
    Yuan Jiang, Yue ping Peng and Jian Wang, Engineering University of Chinese Armed Police Force, China
    Stochastic Resonance(SR) can restore the weak signal in a strong noise background more effectively by using noise. According to this, a new way to process the noised signal in a bad noised environment has been provided. A new way of image processing based on bistable Stochastic Resonance and Wavelet transform has been given. Firstly, the noised image is processed by bistable Stochastic Resonance. Then the output of the SR system is optimized by Wavelet transform. In this paper, the results of the simulation of the new algorithm are evaluated and compared with other algorithms by signal-noise ratio improvement factor. What the comparison shows is that the algorithm given by this paper is more effective in processing the weak signal in a bad-noised environment.
  • Formal Verification of Model Transformation with operational QVT
    Karima Berramla, El Abbassia Deba, and Mohamed Senouci, Oran University, Algeria
    In this paper, we present our position and experience to use OCL language for verification of model transformation. In MDE (model driven engineering), the model transformation is primordial phase because it defines the automation that is used in the software development process. So it is necessary to increase the safety, verification and validation of such model transformation but most transformation languages have not a formal semantics to add detailed specifications on the expected behaviour. So it is important to give solutions to verify this level. For this, we use OCL (Object Constraint Language)language, which is based on a formal notation to specify constraints in Ecore models. We explicit our idea by specifying a complex model transformation between UML State diagram into Petri Net with QVTop and by implementing it to verify if the model conforms to its metamodel with OCL constraints.
  • Modeling And Simulation of Substrate Integrated Waveguide Power Divider, Circulator And Coupler In [4-6.5]GHZ Band
    Bouchra Rahali 1, Mohammed Feham 1 and Junwu Tao2, 1University of Tlemcen, Algeria,2University of Toulouse France, France
    The Substrate Integrated Waveguide (SIW) technology is an attractive approach for the design of high performance microwave and millimeter wave components, as it combines the advantages of planar technology, such as low fabrication costs, with the low loss inherent to the waveguide solution. In this study, a substrate integrated waveguide power divider, circulator and coupler are conceived and optimized in [4-6.5] GHz band by Ansoft HFSS code. Thus, through this modeling, design considerations and results are discussed and presented. Attractive features including compact size and planar form make these devices structure easily integrated in planar circuits.