Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche
Verification of Model Transformations Using Isabelle/HOL and Scala. Information Systems Frontiers (2018)
Aouatef Chaib; Imane Boussebough; Allaoua Chaoui
Adaptive service composition in an ambient environment with a multi-agent system. J. of Ambient Intelligence and Humanized Computing (JAIHC) 9(2): 367-380 (2018)
Zakaria Abdelmoiz Dahi; Enrique Alba; Amer Draa
A Stop-and-Start Adaptive Cellular Genetic Algorithm for Mobility Management of GSM-LTE Cellular Network Users. Expert Systems with Applications 106: 290-304 (2018)
Khadidja Belattar; Sihem Mostefai; Amer Draa
A Hybrid GA-LDA Scheme for Feature Selection in Content-Based Image Retrieval. Int. J. of Applied Metaheuristic Computing (IJAMC) 9(2): 48-71 (2018)
Hichem Talbi; Amer Draa
A new real-coded quantum-inspired evolutionary algorithm for continuous optimization. Applied Soft Computing 61: 765-791 (2017)
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
A timed semantics for web services composition. Int. J. of Business Process Integration and Management (IJBPIM) 8(1): 64-79 (2017)
Zakaria Laboudi; Salim Chikhi; Lakhdari Saliha
Scalability Property in Solving the Density Classification Task. Int. J. of Information Technology Research JITR 10(2): 60-76 (2017)
Sadek Benhammada; Frédéric Amblard; Salim Chikhi
An Asynchronous Double Auction Market to Study the Formation of Financial Bubbles and Crashes. J. of New Generation Computing 35(2): 129-156 (2017)
Akram Kout; Said Labed; Salim Chikhi; El Bay Bourennane
AODVCS, a new bio-inspired routing protocol based on cuckoo search algorithm for mobile ad hoc networks. J. of Wireless Networks : 1-11 (2017)
Zakaria Abd El Moiz Dahi; Chaker Mezioud; Amer Draa
A 0-1 bat algorithm for cellular network optimisation: a systematic study on mapping techniques. Int. J. of Reasoning-based Intelligent Systems (IJRIS) 9(1): 22-42 (2017)
Feriel Abdelkoui; Mohamed-Khireddine Kholladi
Extracting Criminal-Related Events from Arabic Tweets: A Spatio-Temporal Approach. J. of Information Technology Research (JITR) 10(3): 34-47 (2017)
Haoua Cheribi; Abdelkrim Bouramoul; Mohamed-Khireddine Kholladi
A multi-agent based security policy for web related applications: a hybrid approach using context and ontology. Int. J. of Web Engineering and Technology 12(4): 373-397 (2017)
Aicha Aggoune; Abdelkrim Bouramoul; Mohamed-Khireddine Kholladi
Mediation system for dealing with semantic problems in databases. Int. J. of Data Mining, Modelling and Management (IJDMMM) 9(2): 99-121 (2017)
Aicha Eutamene; Mohamed-Khireddine Kholladi; Djamel Gaceb; Hacene Belhadef
A Dual PSO-Adaptive Mean Shift for Preprocessing Optimization on Degraded Document Images. Int. J. of Applied Metaheuristic Computing 8(1): 61-76 (2017)
Amina HameurLaine; Kenza Abdelaziz; Philippe Roose; Mohamed-Khireddine Kholladi
Towards an observer/controller and ontology/rule-based approach for healthcare systems. Int. J. of Ad Hoc and Ubiquitous Computing (IJAHUC) 26(3): 137-156 (2017)
Rabah Mokhtari; Allaoua Chaoui
Compiling, verifying and simulating dynamic software architectures using ANTLR and coloured-ADL. Int. J. of Communication Networks and Distributed Systems (IJCNDS) 19(4): 406-433 (2017)
Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz
An Approach to UML Consistency Checking Based on Compositional Semantics. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 8(2): 1-23 (2017)
Nabila Chergui; Salim Chikhi; Tahar Kechadi
Semantic Grid resource discovery based on SKOS ontology. Int. J. of Grid and Utility Computing (IJGUC) 8(4): 269-281 (2017)
Ramdane Chikh; Salim Chikhi
Clustered negative selection algorithm and fruit fly optimization for email spam detection. J. of Ambient Intelligence and Humanized Computing (JAIHC) : 1-10 (2017)
Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche
On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. 18th IEEE Int. Conf. on Information Reuse and Integration (IRI'17): 419-426 (2017)