• A formal model for output multimodal HCI 

    Mohand Oussaïd, Linda; Ait Sadoune, Idir; Ait Ameur, Yamine; Ahmed-Nacer, Mohamed
    In : (Springer Vienna, 2015-07)
    Multimodal human–computer interaction (HCI) combine modalities at an abstract specification level in order to get information from the user (input multimodality) and to return information to the user (output multimodality). These multimodal interfaces use two mechanisms: first, the fusion of information transmitted by ...
  • A generic formal model for fission of modalities in output multi-modal interactive systems 

    Mohand Oussaïd, Linda; Ait Ameur, Yamine; Ahmed-Nacer, Mohamed
    In : International Workshop on Verification and Evaluation of Computer and Communication Systems, (Rabat, Maroc, 2009)
    Output multi-modal human-machine interfaces combine semantically output medias and modalities in order to increase interaction machine capabilities. The aim of this paper is to present a formal model supporting formal specifications of output multi-modal interactive systems. As a consequence, the expected usability ...
  • A MOF-based Social Web Services Description Metamodel 

    Benna, Amel; Maamar, Zakaria; Ahmed-Nacer, Mohamed
    In : Rapports de recherche internes, (CERIST, Alger, 2015-12-09)
    To make IT community adopt social Web services, both social Web service-based applications and their support platforms should evolve independently from each other while sharing a common model that represent the characteristics of these social Web services. This paper proposes a model-driven approach that achieves this ...
  • Cerist News 

    Dossier : Les architectures de procédés logiciels: état de l'art
    CERIST; Ahmed-Nacer, Mohamed
    In : Cerist News, (2012-12)
  • Game theory for Initial Public Offering (IPO): A multi-agent approach 

    Hedjazi Dellal, Badiâa; Ahmed-Nacer, Mohamed; Aknine, Samir; Benatchba, Karima
    In : Rapports de recherche internes, (CERIST, Alger, 2012)
    This work consists in simulating a real time interbank gross payment system (RTGS) through a multi-agent model, to analyze the evolution of the liquidity brought by the banks to the system. In this model, each bank chooses the amount of a daily liquidity on the basis of costs minimization (costs of liquidity and delaying) ...
  • Interbank payment system (RTGS) simulation using multi-agent approach 

    Hedjazi Dellal, Badiâa; Ahmed-Nacer, Mohamed; Aknine, Samir
    In : Rapports de recherche internes, (CERIST, Alger, 2011-10)
    This work consists in simulating a real time interbank gross payment system (RTGS) through a multi-agent model, to analyze the evolution of the liquidity brought by the banks to the system. In this model, each bank chooses the amount of a daily liquidity on the basis of costs minimization (costs of liquidity and delaying) ...
  • Un modèle de composition des services web sémantiques 

    Temglit, Nacéra; Aliane, Hassina; Ahmed-Nacer, Mohamed
    In : Rapports de recherche internes, (CERIST, Alger, 2008-09)
    Le travail présenté ici vise à proposer un modèle pour la composition des services web sémantiques. Ce modèle est basé sur une représentation sémantique de l'ensemble des concepts manipulés par les services web d’un domaine d'application, à savoir, les opérations et les concepts statiques utilisés pour décrire les ...
  • modélisation formelle d'IHM multi-modales en sortie avec B Evénementiel 

    Mohand Oussaïd, Linda; Ait Sadoune, Idir; Ait Ameur, Yamine; Ahmed-Nacer, Mohamed
    In : Rapports de recherche internes, (CERIST, Alger, 23-04-2014)
    Les interfaces homme-machine (IHM) multi-modales offrent à l’utilisateur la possibilité de combiner les modalités d’interaction afin d’augmenter la robustesse et l’utilisabilité de l’interface utilisateur d’un système. Plus particulièrement, en sortie, les IHM multi-modales permettent au système de restituer à l’utilisateur, ...
  • Multi-agent liquidity risk management in an interbank net settlement system 

    Hedjazi Dellal, Badiâa; Ahmed-Nacer, Mohamed; Aknine, Samir; Benatchba, Karima
    In : Rapports de recherche internes, (CERIST, Alger, 2012-09)
    A net settlement system is a payment system between banks, where a large number of transactions between the banks are accumulated, usually waiting until the end of each day to be settled trough payment instruments like: wire transfers, direct debits, cheques, bank cards... These systems also provide clearing functions ...
  • Multi-Agent Liquidity Risk Management in an Interbank Net Settlement System 

    Hedjazi Dellal, Badiâa; Ahmed-Nacer, Mohamed; Aknine, Samir; Benatchba, Karima
    In : Active Media Technology : 8th International Conference, AMT 2012, Macau, China, December 4-7, 2012 : Proceedings, (Springer Berlin Heidelberg, Berlin, 2012)
    A net settlement system is a payment system between banks, where a large number of transactions are accumulated, usually waiting until the end of each day to be settled through payment instruments like: wire transfers, direct debits, cheques, .... These systems also provide clearing functions to reduce interbank payments ...
  • OVERHEARING IN FINANCIAL MARKETS: A Multi-agent Approach 

    Hedjazi Dellal, Badiâa; Aknine, Samir; Ahmed-Nacer, Mohamed; Benatchba, Karima
    In : 3rd International Conference on Agents and Artificial Intelligence (ICAART 2011), (SciTePress Science and Technology Publications, Rome Italy, 2011)
    Open complex systems as financial markets evolve in a highly dynamic and uncertain environment. They are often subject to significant fluctuations due to unanticipated behaviours and information. Modelling and simulating these systems by means of agent systems, i.e., through artificial markets is a valuable approach. In ...
  • Overhearing in financial markets: a multi-agent approach markets: a multi-agent approach 

    Hedjazi Dellal, Badiâa; Ahmed-Nacer, Mohamed; Aknine, Samir; Benatchba, Karima
    In : Rapports de recherche internes, (CERIST, Alger, 2010-11)
    Open complex systems as financial markets evolve in a highly dynamic and uncertain environment. They are often subject to significant fluctuations due to unanticipated behaviours and information. Modelling and simulating these systems by means of agent systems, i.e., through artificial markets is a valuable approach. In ...
  • Semantic web service composition: Multi-level based approach 

    Temglit, Nacéra; Ahmed-Nacer, Mohamed
    In : Rapports de recherche internes, (CERIST, Alger, 2009-03)
    Web service composition has quickly become a key area of research in the services oriented architecture community. It is originated from the necessity to combine existing services to achieve a predetermined goal that cannot be realized by a standalone service. Semantic service description is supposed to be the key element ...
  • Towards an intrusion detection system : a critical and comparative study 

    Bensefia, Hassina; Ahmed-Nacer, Mohamed
    In : Rapports de recherche internes, (CERIST, Alger, 2008)
    An Intrusion Detection System(IDS), that is destined to supervise an environment, must adjust itself according to every change in the environment and be handling every new attack occurrence. This feature is referred to as the adaptability. It makes the IDS a learning system in relation to its target environment, practicing ...
  • Using MDA approach to enhance Web services description with social information 

    Benna, Amel; Ahmed-Nacer, Mohamed
    In : Rapports de recherche internes, (CERIST, Alger, 2013-05)
    Recent research on Web services has demonstrated the need of including the social dimension into different stages of the Web service lifecycle. Also researchers have found that social relationships between Web services can be identified using social network concepts. However, much of these works are focused on how to ...
  • Vérification formelle des propriétés de sécurité des logiciels 

    Mohand Oussaïd, Linda
    In : Mémoires de Magister, (Institut National de Formation en Informatique (INI), Oued Smar, El Harrach - Alger, 2006)
    Cette thèse présente une démarche de vérification formelle des propriétés de sécurité des logiciels. En effet, après étude des approches possibles : preuve formelle et model checking, nous avons identifié le model checking comme étant l'approche la plus adéquate pour notre problématique. Ainsi, la démarche proposée est ...