Showing results 38 to 57 of 235
< previous
next >
Issue Date | Title | Author(s) |
Mar-2016 | An ear biometric system based on artificial bees and the scale invariant feature transform | Ghoualmi, Lamis ; Draa, Amer ; Chikhi, Salim |
Jun-2015 | Ear Feature Extraction Using a DWT-SIFT Hybrid | Ghoualmi, Lamis ; Draa, Amer ; Chikhi, Salim |
2021 | The effect of financial liberalization on Malaysian economic growth | Azzouza, Amani |
30-Nov-2018 | Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code | Buisson, J. ; Rehab, Seidali |
2015 | An efficient feature selection scheme based on genetic algorithm for ear biometrics authentication | Ghoualmi, Lamis ; Draa, Amer ; Chikhi, Salim |
7-Dec-2013 | Engineering Cooperative JADE Agents with the AMCIS Methodology : The Transportation Management Case Study | Benmerzoug, Djamel ; Djaaboub, Salim ; Mahmoudi, Hani |
21-Apr-2020 | Ensuring user authentication and data integrity in multi-cloud environment | Megouache, Leila ; Zitouni, Abdelhafid ; Djoudi, Mahieddine |
12-Nov-2012 | Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems | Bouaroudj, Kenza ; Kitouni, Ilham ; Hachichi, Hiba ; Saidouni, Djamel Eddine |
9-Aug-2012 | Extending SWRL Rules to Integrate Object-Oriented Techniques in Hybrid Ontologies | Bouaicha, Souad ; Boufaida, Zizette |
26-Feb-2019 | A formal framework-based K-Maude for modelling scalable software architectures | SMAALI, Sahar ; Choutri, Aicha ; Belala, Faiza |
13-Sep-2018 | A Formal Model for Interaction Specification and Analysis in IoT Applications | Marir, Souad ; Belala, Faiza ; Hameurlain, Nabil |
4-May-2019 | A formal quantitative analysis of elastic cloud systems based on PSMaude | Bouanaka, Chafia ; Maatougui, Esma ; Belala, Faiza ; Zeghib, Nadia |
17-Dec-2021 | Formal verification of pipelined cryptographic circuits: A functional approach | Bitat, Abir ; Merniz, Salah |
30-Sep-2021 | Formal verification of the extension of iStar to support Big data projects | Djeddi, Chabane ; Zarour, Nacer-eddine ; Charrel, Pierre-Jean |
25-Mar-2021 | Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model | Chabbat, Nadia ; Saidouni, Djamel Eddine ; Boukharrou, Radja ; Ghanemi, Salim |
Jun-2015 | Formalisation et analyse des processus BPEL temporellement temporisés par l’utilisation des modèles de temps | Chama, Imed Eddine |
2015 | A framework for modeling and analysis UML activity diagram using graph transformation | Rahmoune, Yasmina ; Chaoui, Allaoua ; Kerkouche, Elhillali |
1-Jul-2013 | From AADL to timed automaton-A verification approach | Mohamed Elkamel, Hamdane ; Chaoui, Allaoua ; Strecker, Martin |
4-Jan-2019 | A fuzzy agent approach for smart data extraction in big data environments | Elaggoune, Zakarya ; Maamri, Ramdane ; Boussebough, Imane |
2015 | A generalized island model based on parallel and cooperating metaheuristics for effective large capacitated vehicle routing problem solving | AMMI, MERYEM ; Chikhi, Salim |