| Titre | Auteurs | URL/DOI | Année | Equipe |
|---|---|---|---|---|
| L’AI en Algérie au temps d’une double crise sanitaire et économique, |
Souilah Benabdelhafid Maya |
Consulter | 2020 | SIBC |
| Cloud Computing API Security: Comparative analysis of access control systems |
Bendiab Gueltoum |
Consulter | 2015 | AS |
| XACML based Access Control Model for Securing Cloud Environment |
Bendiab Gueltoum |
Consulter | 2015 | AS |
| Assessment Criteria for Federated identity management in cloud computing |
Bendiab Gueltoum |
Consulter | 2016 | AS |
| Virtual Integration Architecture for Linking Corporate CRM Database with Web Information Data |
Sellami Samir Nacer eddine Zarour |
Consulter | 2017 | SIBC |
| A Model-Transformation Approach for the Formalization of the Design Patterns |
Boukhelfa Kamel |
Consulter | 2012 | GLSD |
| Semantic Approaches Survey for Job Recommender Systems |
Brek Assia |
Consulter | 2020 | SIBC |
| Quality-driven Formal Modelling of the Travel Planner Application |
Kachi Fatma Bouanaka Chafia |
Consulter | 2021 | GLSD |
| Instance Matching Approach for Linked Open Data |
Ghemmaz Wafa Fouzia Benchika |
Consulter | 2016 | SIBC |
| Contribution in Linked Data Quality Assessment: DBpedia Case Study |
Salem Samah |
Consulter | 2020 | SIBC |
| Intrinsic Assessment of Linked Datasets without Requiring Ontology |
Salem Samah |
Consulter | 2021 | SIBC |
| Survey: Data Management Issues in P2P Systems |
Sellami Samir Benchikha Fouzia |
Consulter | 2012 | SIBC |
| SocialNER: a training dataset for named entity recognition in short social media texts |
Belbekri Adel Fouzia Benchika |
Consulter | 2022 | SIBC |
| Une approche de classification et de sélection des Services Web dédiée à la gestion des chaînes logistiques |
BOUDOUDA Souheila |
Consulter | 2015 | SIBC |
| Une approche basée MDA pour le développement des systèmes de Gestion de Chaînes Logistiques (GCL) |
BOUDOUDA Souheila |
Consulter | 2009 | SIBC |
| EMR Sharing with Privacy Preservation Using Blockchain Technology |
BOUMEZBEUR Insaf |
Consulter | 2022 | |
| Blockchain-Based Architecture Supporting Hypertension Remote Monitoring in a Cloud Environment |
BOUMEZBEUR Insaf |
Consulter | 2022 | |
| Named entity disambiguation in short texts over knowledge graphs |
Bouarroudj Wissem Boufaida Zizette Ladjel Bellatreche |
Consulter | 2022 | SIBC |
| A hybrid model for efficient decision-making in self-adaptive systems |
Kachi Fatma Bouanaka Chafia |
Consulter | 2022 | GLSD |
| Reusing Alignments for Discovering Instances Correspondences |
Ghemmaz Wafa Fouzia Benchika Maroua Bouzid (GREYC Laboratory, University of Caen Normandie, France) |
Consulter | 2021 | SIBC |
| A Deep Neural Network Model for Malware Detection |
Bourebaa Fatima Mohamed Benmohammed |
Consulter | 2021 | AS |
| IDERES: Intrusion detection and response system using machine learning and attack graphs |
Bendiab Gueltoum Matthew Swann Joseph R.Rose Konstantinos-Panagiotis Grammatikakis Nicholas Kolokotronis Ioannis Koufos Stavros Shiaeles |
Consulter | 2022 | AS |
| Cybersecurity Challenges in the Maritime Sector |
Bendiab Gueltoum Stavros Shiaeles Frank Akpan Michalis Michaloliakos |
Consulter | 2022 | AS |
| On the suitability of blockchain platforms for IoT applications: Architectures, security, privacy, and performance |
Bendiab Gueltoum Stavros Shiaeles Nicholas Kolokotronis SotiriosBrotsis Konstantinos Limniotis |
Consulter | 2021 | AS |
| FCMDT: A Novel Fuzzy Cognitive Maps Dynamic Trust Model for Cloud Federated Identity Management |
Bendiab Gueltoum Stavros Shiaeles Samia Boucherkha Bogdan Ghita |
Consulter | 2019 | AS |
| MALGRA: Machine Learning and N-Gram Malware Feature Extraction and Detection System |
Bendiab Gueltoum Stavros Shiaeles Bogdan Ghita Muhammad Ali |
Consulter | 2020 | AS |
| A Comparative Study of Traffic Generators: Applicability for Malware Detection Testbeds |
Bendiab Gueltoum Matthew Swann Joseph Rose Stavros Shiaeles Nick Savage |
Consulter | 2021 | AS |
| On context-independent and context-aware cloud services substitutability verification |
Bourouz Sofiane |
Consulter | 2018 | GLSD |
| Modelling elastic scaling of cloud with energy-efficiency: Application to smart-university |
Berkane Mohamed Lamine |
Consulter | 2022 | SIBC |
| Using variability modelling and design patterns for self-adaptive system engineering: application to smart-home |
Berkane Mohamed Lamine |
Consulter | 2015 | SIBC |
| Extending SWRL Rules to Integrate Object-Oriented Techniques in Hybrid Ontologies |
Bouaicha Souad |
Consulter | 2012 | SIBC |
| Reasoning on Hybrid Ontology Using Extended SWRL Rules |
Bouaicha Souad |
Consulter | 2014 | SIBC |
| SWRLx: A New Formalism for Hybrid Ontology Reasoning |
Bouaicha Souad |
Consulter | 2016 | SIBC |
| A Combined Approach for RT-Systems Development and Analysis: Application to the COVID-19 Fever Detection System |
Boukhelfa Kamel Faiza Belala |
Consulter | 2022 | GLSD |
| Enhanced metrics for temporal dimensions toward assessing Linked Data: A case study of Wikidata |
Ferradji Mohamed Amine |
Consulter | 2022 | SIBC |
| Distributed Abnormal Behavior Detection Approach Based on Deep Belief Network and Ensemble SVM Using Spark |
Marir Naila |
Consulter | 2018 | SIBC |
| LODQuMa: A Free-ontology process for Linked (Open) Data quality management |
Salem Samah |
Consulter | 2022 | SIBC |
| A Dynamic Scaling Approach in Hadoop YARN |
NEMOUCHI Warda Ismahene |
Consulter | 2022 | SIBC |
| Execution of Long-Duration Multi- Cloud Serverless Functions Using Selective Migration-Based Approach |
Soltani Boubaker |
Consulter | 2020 | GLSD |
| A Decision-Making Support for Business Process Outsourcing to a Multi-Cloud Environment. International Journal of Decision Support System Technology |
Zarour Karim |
Consulter | 2020 | SIBC |
| A decision-making support for business process outsourcing to a multi-cloud environment |
Zarour Karim |
Consulter | 2019 | SIBC |
| A Multi-Criteria Allocation Strategy for Provisioning Cloud Resources |
Zarour Karim |
Consulter | 2022 | SIBC |
| Keyword-based faceted search interface for knowledge graph construction and exploration |
Sellami Samir Nacer eddine Zarour |
Consulter | 2022 | SIBC |
| MidSemI: A Middleware for Semantic Integration of Business Data with Large-scale Social and Linked Data |
Sellami Samir Nacer eddine Zarour Taoufiq Dkaki Pierre-Jean Charrel |
Consulter | 2019 | SIBC |
| An Ultra-Fast Method for Clustering of Big Genomic Data |
Kenidra Billel Souham Meshoul |
Consulter | 2020 | AS |
| An Improved K-Means Algorithm for Gene Expression Data Clustering |
Kenidra Billel Mohamed Benmohammed |
Consulter | 2018 | AS |
| Federation-Level Agreement and Integrity-Based Managed Cloud Federation Architecture |
Ghenai Afifa |
Consulter | 2020 | AS |
| Execution of Long-Duration Multi-Cloud Serverless Functions Using Selective Migration-Based Approach |
Ghenai Afifa |
Consulter | 2020 | AS |
| SaNTEA: Stopwatch Petri Net based Tool for Embedded systems Analysis |
Ghenai Afifa |
Consulter | 2014 | AS |
| Hybrid Simulation based Approach for Embedded Systems Reliability Analysis |
Ghenai Afifa |
Consulter | 2013 | AS |
| A hybrid model for efficient decision-making in self-adaptive systems |
Bouanaka Chafia |
Consulter | 2023 | GLSD |
| Formal Specification of Non-Functional Properties of Context-Aware Systems |
Bouanaka Chafia |
Consulter | 2022 | GLSD |
| Dynamic verification of hierarchical multi-agent plans |
Brahimi said |
Consulter | 2017 | GLIA |
| A new transformation approach for complex systems modelling and simulation: application to industrial control system |
Boukelkoul Sofiane SEDDARI Noureddine Bouras Abdelghani Mohamed Belaoued Redjimi Mohammed |
Consulter | 2021 | GLIA |
| A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business processes |
Boukelkoul Sofiane MAAMRI Ramdane |
Consulter | 2020 | GLIA |
| A Discrete Event Model for Analysis and Verification of Time-Constrained Business Processes |
Boukelkoul Sofiane Chihoub Mohamed MAAMRI Ramdane |
Consulter | 2020 | GLIA |
| Using of DEVS and MAS Tools for Modeling and simulation of an Industrial Steam Generator |
Boukelkoul Sofiane SEDDARI Noureddine Redjimi Mohammed |
Consulter | 2014 | GLIA |
| Algorithmic Tools for the Transformation of Petri Nets to DEVS |
Boukelkoul Sofiane Redjimi Mohammed |
Consulter | 2013 | GLIA |
| Towards formalising installation and reconfiguration tasks of AADL architecture. |
Benlahrache Nadira |
Consulter | 2013 | GLSD |
| Model Checking BRS based AADL Specification |
Benlahrache Nadira |
Consulter | 2012 | GLSD |
| SocioOntoProcess: a user-centred process for participatory ontology engineering |
Guergour Habib-Ellah Boufaida Zizette |
Consulter | 2016 | SIBC |
| Integrating Multi-View Model and Agent Paradigm in the Supply Chain Design |
BOUDOUDA Souheila |
Consulter | 2015 | SIBC |
| Efficient Discovery of Provider’s Services in a Cloud-based Supply Chain |
BOUDOUDA Souheila |
Consulter | 2021 | SIBC |
| A Dynamic Scaling Approach in Hadoop YARN |
BOUDOUDA Souheila |
Consulter | 2022 | SIBC |
| Towards Electronic Prescription System in a Developing Country |
ZAROUR Karim |
Consulter | 2021 | |
| Agent-Based Architecture for Nursing Home Search and Appointment System |
ZAROUR Karim |
Consulter | 2022 | |
| Blockchain-based architecture centred patient for decentralised storage and secure sharing health data |
ZAROUR Karim |
Consulter | 2022 | |
| Towards a Telehomecare in Algeria: Case of Diabetes Measurement and Remote Monitoring |
ZAROUR Karim |
Consulter | 2017 | |
| Privacy Preservation and Access Control for Sharing Electronic Health Records Using Blockchain Technology |
BOUMEZBEUR Insaf |
Consulter | 2022 | |
| Improving Privacy-preserving Healthcare Data Sharing in a Cloud Environment Using Hybrid Encryption |
BOUMEZBEUR Insaf |
Consulter | 2022 | |
| Blockchain-Based Electronic Health Records Sharing Scheme with Data Privacy Verifiable |
BOUMEZBEUR Insaf |
Consulter | 2021 | |
| A coherent architectural framework for the development of hospital information systems |
ZAROUR Karim |
Consulter | 2012 | |
| Agent and Mobile Tools for Telehomecare in Developing Countries: An Architecture Approach |
ZAROUR Karim |
Consulter | 2015 | |
| A multi-agent architecture for interoperable medical information systems |
ZAROUR Karim |
Consulter | 2010 | |
| Timed CTL checking of time critical cloud applications using timed bigraphs |
Latreche Fateh |
Consulter | 2020 | GLSD |
| A layered Petri net model to formally analyse time critical web service composition |
Latreche Fateh |
Consulter | 2017 | GLSD |
| New Recommendation System Based on Students' Engagement Prediction Using CNN to Optimize E-Learning |
ZITOUNI Abdelhafid |
Consulter | 2022 | SIBC |
| KAB: A new k-anonymity approach based on black hole algorithm |
ZITOUNI Abdelhafid Djoudi Mahieddine Kacha lynda |
Consulter | 2020 | SIBC |
| Ensuring user authentication and data integrity in multi-cloud environmen |
ZITOUNI Abdelhafid Djoudi Mahieddine Megouache Leila |
Consulter | 2020 | SIBC |
| An Enhanced Corpus for Arabic Newspapers Comment |
ZITOUNI Abdelhafid Rahab Hichem Djoudi Mahieddine |
Consulter | 2020 | SIBC |
| Improving Service Performance in Oversubscribed IaaS Cloud |
ZITOUNI Abdelhafid MAAMRI Ramdane Bouaita Riad |
Consulter | 2019 | SIBC |
| SANA: Sentiment Analysis on Newspapers comments in Algeria |
ZITOUNI Abdelhafid |
Consulter | 2021 | SIBC |
| A New Collective Simulated Annealing with Adapted Objective Function for Web Service Selection |
Benmohammed Mohamed |
Consulter | 2023 | AS |
| A framework based protocol for A better interoperability among services in e- government |
Tebib Assia |
Consulter | 2013 | SIBC |
| An architecture using formal interaction protocols for business process integration in e-Government |
Tebib Assia |
Consulter | 2015 | SIBC |
| Self-Healing in Web Service-Based Systems Using QoS |
Tebib Assia |
Consulter | 2022 | SIBC |
| Enhancing Information Extraction Process in Job Recommendation using Semantic Technology. |
Brek Assia |
Consulter | 2022 | SIBC |
| AMACE: agent based multi-criterions adaptation in cloud environment |
ZITOUNI Abdelhafid Djoudi Mahieddine Kemchi Sofiane |
Consulter | 2018 | SIBC |
| Adapted smart home services based on smart contracts and service level agreements |
Belguidoum Meriem |
Consulter | 2021 | GLSD |
| EA-based hyperparameter optimization of hybrid deep learning models for effective drug-target interactions prediction, Expert Systems with Applications |
Belguidoum Meriem |
Consulter | 2021 | GLSD |
| A Specification and Generation System for Interactive Multimedia Documents |
Labed Ilhem |
Consulter | 2007 | SIBC |
| Handling User-Oriented Cyber-Attacks: STRIM, a User-Based Security Training Model |
Hamoud Aymen |
Consulter | 2020 | AS |
| Individual Processing of Phishing Emails: Towards a Phishing Detection Framework |
Hamoud Aymen |
Consulter | 2022 | AS |
| Conceptual method for flexible business process modeling |
Bentellis Adla |
Consulter | 2008 | SIBC |
| Objective Based Flexible Business Process Management Using the Map Model |
Bentellis Adla |
Consulter | 2009 | SIBC |
| . Skyline recomputation in Big Data. Information Systems |
Maamri Ramdane Bourahla Chouaib Brahimi Said |
Consulter | 2023 | GLIA |
| A Hybrid Architecture Based on Blockchain to Ensure Security, Privacy, and Trust in IoT |
Maamri Ramdane Cherif Benali |
Consulter | 2022 | GLIA |
| A multi-layered bigraphical modelling approach for context-aware systems |
Maamri Ramdane Ahmed Taki Eddine DIB |
Consulter | 2022 | GLIA |
| Implementation of Secure Data Storage and Retrieval Approach |
Maamri Ramdane Aloguechi Farida |
Consulter | 2022 | GLIA |
| Signature-based Tree for Finding Frequent Itemsets |
Benelhadj Mohamed El Hadi |
Consulter | 2023 | SIBC |
| A model-driven approach for the verification of an adaptive service composition |
Zatout Sara |
Consulter | 2020 | SIBC |
| The Need for Formal Compatibility Analysis in Web Service Choreography via an E-commerce Application. |
Souilah Benabdelhafid Maya |
Consulter | 2015 | SIBC |
| Analysing timed compatibility of web service choreography. |
Souilah Benabdelhafid Maya |
Consulter | 2017 | SIBC |
| Applying Formal Methods to SOA and SaaS Service Compositions for ERP Systems. |
Souilah Benabdelhafid Maya |
Consulter | 2020 | SIBC |
| A Model-Driven Approach for the Verification of an Adaptive Service Composition. |
Souilah Benabdelhafid Maya |
Consulter | 2020 | SIBC |
| Android Malware Detection using Convolutional Deep Neural Networks |
Bourebaa Fatima Mohamed Benmohammed |
Consulter | 2020 | AS |
| IoT Security Frameworks and Countermeasures |
Bendiab Gueltoum |
Consulter | 2021 | AS |
| Malware Detection and Mitigation |
Bendiab Gueltoum |
Consulter | 2021 | AS |
| CHAINGE: A Blockchain Solution to Automate Payment Detail Updates to Subscription Services |
Bendiab Gueltoum |
Consulter | 2021 | AS |
| CIDS: Collaborative Intrusion Detection System using Blockchain Technology |
Bendiab Gueltoum |
Consulter | 2021 | AS |
| Data Exfiltration: Methods and Detection Countermeasures |
Bendiab Gueltoum |
Consulter | 2021 | AS |
| IPASS: A Novel Open-Source Intelligence Password Scoring System |
Bendiab Gueltoum |
Consulter | 2022 | AS |
| Verifying Web services substitutability using open colored nets reduction techniques |
Bourouz Sofiane |
Consulter | 2013 | GLSD |
| Towards formal checking of Web services substitutability |
Bourouz Sofiane |
Consulter | 2016 | GLSD |
| Extending SWRL Rules for Rules/Concepts Integration in Hybrid Ontologies |
Bouaicha Souad |
Consulter | 2012 | SIBC |
| Reasoning on Hybrid Ontology Using Extended SWRL Rules. |
Bouaicha Souad |
Consulter | 2013 | SIBC |
| A Semantic Interoperability Approach for Heterogeneous Meteorology Big IoT Data |
Bouaicha Souad |
Consulter | 2022 | SIBC |
| A Blockchain Data Balance Using a Generative Adversarial Network Approach: Application to Smart House IDS |
Bouzeraib Wayoud |
Consulter | 2020 | GLSD |
| A Multi O bjective Genetic GAN Oversampling : Application to Intelligent T ransp ort Anomaly Detection Detection |
Bouzeraib Wayoud |
Consulter | 2021 | GLSD |
| A Smart Healthcare Imbalanced Classes Model Using Multi Conditional-Task GAN |
Bouzeraib Wayoud |
Consulter | 2021 | GLSD |
| Towards a Formalization of Real-Time Patterns-Based Designs |
Boukhelfa Kamel Faiza Belala |
Consulter | 2015 | GLSD |
| A Cooperative Abnormal Behavior Detection Framework Based on Big Data Analytics |
Marir Naila |
Consulter | 2017 | SIBC |
| Synonym Predicate Discovery for Linked Data Quality Assessment Without Requiring the Ontology Semantic Relations |
Salem Samah |
Consulter | 2020 | SIBC |
| A BPMN extension for business process outsourcing to the cloud |
Zarour Karim |
Consulter | 2019 | SIBC |
| Open Source and Commercial Capture The Flag Cyber Security Learning Platforms - A Case Study |
Bendiab Gueltoum Matthew Swann Joseph Rose Stavros Shiaeles Fudong Li |
Consulter | 2021 | AS |
| Insider Threat Detection using Deep Autoencoder and Variational Autoencoder Neural Networks |
Bendiab Gueltoum Stavros Shiaeles Nicholas Kolokotronis Efthimios Pantelidis |
Consulter | 2021 | AS |
| Intrusion Detection using Network Traffic Profiling and Machine Learning for IoT |
Bendiab Gueltoum |
Consulter | 2021 | AS |
| Tools for Network Traffic Generation - A Quantitative Comparison |
Bendiab Gueltoum |
Consulter | 2020 | AS |
| On the Security and Privacy of Hyperledger Fabric: Challenges and Open Issues |
Bendiab Gueltoum |
Consulter | 2020 | AS |
| A Novel Approach to Detect Phishing Attacks using Binary Visualisation and Machine Learning |
Bendiab Gueltoum |
Consulter | 2020 | AS |
| Advanced metering infrastructures: security risks and mitigation |
Bendiab Gueltoum |
Consulter | 2020 | AS |
| IoT Malware Network Traffic Classification using Visual Representation and Deep Learning |
Bendiab Gueltoum |
Consulter | 2020 | AS |
| Detection of Insider Threats using Artificial Intelligence and Visualisation |
Bendiab Gueltoum |
Consulter | 2020 | AS |
| WiP: A Novel Blockchain-Based Trust Model for Cloud Identity Management |
Bendiab Gueltoum |
Consulter | 2018 | AS |
| A New Dynamic Trust Model for "On Cloud" Federated Identity Management |
Bendiab Gueltoum |
Consulter | 2018 | AS |
| A Dynamic Federated Identity Management Approach for Cloud-Based Environments |
Bendiab Gueltoum |
Consulter | 2017 | AS |
| A Novel Access Control Model for Securing Cloud API |
Bendiab Gueltoum |
Consulter | 2015 | AS |
| An SLA-based process for the elicitation and evaluation of consumers needs in the Cloud |
AMARA Ryma Messaouda |
Consulter | 2016 | SIBC |
| A Cloud Portal for Consumer’s Needs in the Cloud Context |
AMARA Ryma Messaouda |
Consulter | 2021 | SIBC |
| Ontology-Based Integration for Disaster Management: Approach and System Architecture |
Sellami Samir Benchikha Fouzia |
Consulter | 2015 | SIBC |
| Towards a Formalization of Real Time Design Patterns: From UML-MARTE Profile To MAUDE Specification |
Boukhelfa Kamel |
Consulter | 2015 | GLSD |
| Rewriting Logic Based Meta-Model For DP Formalization |
Boukhelfa Kamel |
Consulter | 2011 | GLSD |
| For more understandable UML Diagrams |
Boukhelfa Kamel |
Consulter | 2010 | GLSD |
| MDMSD4IoT a Model Driven Microservice Development for IoT Systems |
Belguidoum Meriem |
Consulter | 2022 | GLSD |
| ViolationPredictor: a Solution for Predicting SLA Violations of IoT Applications |
Belguidoum Meriem |
Consulter | 2022 | GLSD |
| ECO-TrackDrive: a tracking system for energy-efficient driving |
Belguidoum Meriem |
Consulter | 2022 | GLSD |
| A domain ontology building process based on principles of social web |
Guergour Habib-Ellah Boufaida Zizette |
Consulter | 2012 | SIBC |
| An Approach for Application Ontology Building and Integration Enactment |
Guergour Habib-Ellah Boufaida Zizette Driouche |
Consulter | 2006 | SIBC |
| Vers une architecture de développement d’ontologies basée sur les principes du web social |
Guergour Habib-Ellah Boufaida Zizette |
Consulter | 2012 | SIBC |
| TrackThe90: Intelligent System for Analyzing and Predicting Football Players using Machine Learning and Deep Learning Algorithms |
BOUDOUDA Souheila |
Consulter | 2023 | SIBC |
| Towards a Telehomecare in Algeria: Case of Diabetes Measurement and Remote Monitoring |
ZAROUR Karim |
Consulter | 2019 | |
| A deep learning approach for arrhythmia detection and classification based on IoT wearable technology |
Bechinia Hadjer |
Consulter | 2022 | SIBC |
| An Approach Based EGP for Interoperability of E-Government Services |
Tebib Assia |
Consulter | 2007 | SIBC |
| Une Architecture pour l’Interopérabilité et la Sécurité des Services de l’E-gouvernement |
Tebib Assia |
Consulter | 2007 | SIBC |
| Interoperability of Services in E-Government using Intelligent Agent and Electronic Government Protocol |
Tebib Assia |
Consulter | 2011 | SIBC |
| Using LOD and Fuzzy Ontology to Annotate Industrial Schemas |
Brek Assia |
Consulter | 2018 | SIBC |
| New recommender system for enhancing predictions’ performances in e-learning systems using learning analytics indicators |
ZITOUNI Abdelhafid Megouache Leila Sadouni Ouissal |
Consulter | 25022 | SIBC |
| A new Process for Analyzing Natural Language Queries Based on Semantic Interpretation |
Boumechaal Hasna ZIZETTE BOUFAIDA |
Consulter | 2013 | SIBC |
| Formalization of Natural Language Queries |
Boumechaal Hasna ZIZETTE BOUFAIDA |
Consulter | 2011 | SIBC |
| A Policy-Based Dynamic Adaptation System for Service Composition |
Zatout Sara |
Consulter | 2017 | SIBC |
| Web services and agents-based approach for a better interoperability of enterprises. In 2011 10th International Symposium on Programming and Systems |
Souilah Benabdelhafid Maya |
Consulter | 2011 | SIBC |
| A Coalition Formation based Model for Web Service Composition. In the Second International Workshop on Advanced Information Systems for Enterprises |
Souilah Benabdelhafid Maya |
Consulter | 2012 | SIBC |
| Modeling and Analyzing Behavioral Compatibility for Web Service Choreography : A Colored Petri Net based Approach. |
Souilah Benabdelhafid Maya |
Consulter | 2014 | SIBC |
| Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration |
Souilah Benabdelhafid Maya |
Consulter | 2018 | SIBC |
| Modeling and Verification of Temporal Constraints for Web Service Composition |
Souilah Benabdelhafid Maya |
Consulter | 2021 | SIBC |
| E-learning et e-administration : Un Framework basé sur Google Workspace for Education pour l’ESCF de Constantine |
Souilah Benabdelhafid Maya |
Consulter | 2022 | SIBC |
| Assimilation of ERP Systems in the Public Health Sector: a Flexible and Efficient Approach |
Souilah Benabdelhafid Maya |
Consulter | 2022 | SIBC |
| A maude based specification for sos architecture |
Seghiri Akram Belala Faiza |
Consulter | 2018 | GLSD |
| A Candidate Generation Algorithm for Named Entities Disambiguation Using DBpedia |
Bouarroudj Wissem Boufaida Zizette |
Consulter | 2018 | SIBC |
| A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems |
Kachi Fatma Bouanaka Chafia Merkouche Souheir |
Consulter | 2020 | GLSD |
| Aster: A DSL for Engineering Self-Adaptive Systems |
Kachi Fatma Bouanaka Chafia |
Consulter | 2022 | GLSD |
| ViewSameAs: a Novel Link in Instance Matching Process |
Ghemmaz Wafa Fouzia Benchika |
Consulter | 2016 | SIBC |
| Instance matching based on discriminative property values |
Ghemmaz Wafa Fouzia Benchika |
Consulter | 2015 | SIBC |
| Unsupervised Feature Learning With Distributed Stacked Denoising Sparse Autoencoder for Abnormal Behavior Detection Using Apache Spark |
Marir Naila |
Consulter | 2019 | SIBC |
| A Formal Modelling Language for Digital Electronic Systems Design |
Marir Naila |
Consulter | 2022 | SIBC |
| Towards a BRS-based Model for IoT Hybrid Fault Tolerance |
Ghemmaz Wafa |
Consulter | 2022 | SIBC |
| An Agent-Oriented Methodology for Business Process Management |
Zouad Sara Mahmoud Boufaida |
Consulter | 2020 | SIBC |
| Using Multi-Agent Microservices for a Better Dynamic Composition of Semantic Web services |
Zouad Sara Mahmoud Boufaida |
Consulter | 2020 | SIBC |
| An Auto Scaling Energy Efficient Approach in Apache Hadoop |
NEMOUCHI Warda Ismahene |
Consulter | 2021 | SIBC |
| Efficient Auto Scaling and Cost-Effective Architecture in Apache Hadoop |
NEMOUCHI Warda Ismahene |
Consulter | 2022 | SIBC |
| Towards Distributed Containerized Serverless Architecture in Multi Cloud Environments |
Soltani Boubaker |
Consulter | 2018 | GLSD |
| A Migration-Based Approach to Execute Long-Duration Multi-Cloud Serverless Functions |
Soltani Boubaker |
Consulter | 2019 | GLSD |
| Automating the Generation of Comparison Weights for Enhancing the AHP Decision-Making Process |
Zarour Karim |
Consulter | 2019 | SIBC |
| Welink: a named entity disambiguation approach for a qas over knowledge bases |
Bouarroudj Wissem Boufaida Zizette |
Consulter | 2019 | SIBC |
| Ontology-Based Data integration: Approach and System Architecture |
Sellami Samir Benchikha Fouzia |
Consulter | 2013 | SIBC |
| Towards an Integration Approach for Enterprise Data with Large-Scale Social and Linked Data |
Sellami Samir Nacer eddine Zarour |
Consulter | 2016 | SIBC |
| KGMap: Leveraging Enterprise Knowledge Graphs by Bridging between Relational, Social and Linked Web Data |
Sellami Samir Nacer eddine Zarour Taoufiq Dkaki Pierre-Jean Charrel |
Consulter | 2019 | SIBC |
| Leveraging Enterprise Knowledge Graphs for Efficient Bridging Between Business Data with Large-Scale Web Data |
Sellami Samir Nacer eddine Zarour Taoufiq Dkaki Pierre-Jean Charrel |
Consulter | 2021 | SIBC |
| A Non-Stochastic Method for Clustering of Big Genomic Data |
Kenidra Billel Mohamed Benmohammed |
Consulter | 2019 | AS |
| A partitional approach for genomic-data clustering combined with K-Means approach |
Kenidra Billel Mohamed Benmohammed |
Consulter | 2016 | AS |
| A data-clustering approach based on artificial ant colonies with control of emergence combined with K-Means approach |
Kenidra Billel Mohamed Benmohammed |
Consulter | 2015 | AS |
| A data-clustering approach based on artificial ant colonies with control of emergence |
Kenidra Billel Mohamed Benmohammed |
Consulter | 2014 | AS |
| HST-Detector: A Multimodal Deep Learning System for Twitter Spam Detection |
Ghenai Afifa |
Consulter | 2022 | AS |
| A Multimodal Spam Filtering System for Multimedia Messaging Service |
Ghenai Afifa |
Consulter | 2022 | AS |
| A Smart Healthcare Imbalanced Classes Model Using Multi Conditional-Task GAN |
Ghenai Afifa |
Consulter | 2021 | AS |
| A Multi-Objective Genetic GAN Oversampling: Application to Intelligent Transport Anomaly Detection |
Ghenai Afifa |
Consulter | 2020 | AS |
| A Blockchain Data Balance using a Generative Adversarial Network Approach: Application to Smart House IDS |
Ghenai Afifa |
Consulter | 2020 | AS |
| Deep Learning Environment Perception and Self-Tracking for Autonomous and Connected Vehicles |
Ghenai Afifa |
Consulter | 2020 | AS |
| Data Oriented Blockchain: Off-Chain Storage with Data Dedicated and Prunable Transactions |
Ghenai Afifa |
Consulter | 2019 | AS |
| A Migration-based Approach to execute Long-Duration Multi-Cloud Serverless Functions |
Ghenai Afifa |
Consulter | 2020 | AS |
| Towards distributed containerized serverless architecture in multi cloud environment |
Ghenai Afifa |
Consulter | 2018 | AS |
| Multi-user dynamic scheduling- based resource management for Internet of Things applications |
Ghenai Afifa |
Consulter | 2018 | AS |
| Temporal Reliability Analysis of Embedded Systems |
Ghenai Afifa |
Consulter | 2010 | AS |
| Replication and Migration Heuristics For Enhancing Service Accessibility In Fog environment |
Brahimi said |
Consulter | 2021 | GLIA |
| Towards a smart home for elder healthcare |
Brahimi said |
Consulter | 2019 | GLIA |
| Model-based DEVS for Modeling and Simulation of Resource-constrained Business Processes |
Boukelkoul Sofiane MAAMRI Ramdane |
Consulter | 2016 | GLIA |
| Optimal model transformation of BPMN to DEVS |
Boukelkoul Sofiane MAAMRI Ramdane |
Consulter | 2015 | GLIA |
| Mapping Between Petri Nets and DEVS Models |
Boukelkoul Sofiane Redjimi Mohammed |
Consulter | 2013 | GLIA |
| Approche pour la transformation des réseaux de Petri en model DEVS |
Boukelkoul Sofiane Redjimi Mohammed |
Consulter | 2013 | GLIA |
| Towards an UML-based SoS Analysis and Design Process |
Benlahrache Nadira |
Consulter | 2020 | GLSD |
| A Review of IoT Systems Engineering: Application to the Smart traffic lights system. |
Benlahrache Nadira |
Consulter | 2020 | GLSD |
| Translating AADL systems to Java programs |
Benlahrache Nadira |
Consulter | 2018 | GLSD |
| E-orientation system socio-psychological data sensitive |
Benlahrache Nadira |
Consulter | 2022 | GLSD |
| Vers un Modèle de Déploiement à base de Bigraphes. |
Benlahrache Nadira |
Consulter | 2010 | GLSD |
| Modeling of Architectural Reconfiguration Case Study: Automated Teller Machine |
Benlahrache Nadira |
Consulter | 2012 | GLSD |
| Extension d'ABAReL par les Propriétés d'Exécution. |
Benlahrache Nadira |
Consulter | 2009 | GLSD |
| Efficient Auto Scaling and Cost-Effective Architecture in Apache Hadoop |
BOUDOUDA Souheila |
Consulter | 2022 | SIBC |
| MAM Security Enhancement: Proposed Control Mechanism |
BOUDOUDA Souheila |
Consulter | 2022 | SIBC |
| An Approach to Securing Mobile Devices in a Mobile Enterprise |
BOUDOUDA Souheila |
Consulter | 2022 | SIBC |
| A methodological approach for modeling supply chain management |
BOUDOUDA Souheila |
Consulter | 2012 | SIBC |
| Un modèle basé agent pour l’aide à la décision coopérative dans une chaîne logistique |
BOUDOUDA Souheila |
Consulter | 2012 | SIBC |
| A framework-based MDA for designing advanced and distributed applications |
BOUDOUDA Souheila |
Consulter | 2008 | SIBC |
| An Agent-Based Architecture for a Cooperation Information System Supporting the Homecare |
ZAROUR Karim |
Consulter | 2008 | |
| Towards enhancing interoperability in medical information systems |
ZAROUR Karim |
Consulter | 2011 | |
| Privacy Preserving Requirements for Sharing Health Data in Cloud |
BOUMEZBEUR Insaf |
Consulter | 2018 | |
| Using ontology as prior conceptual knowledge in an ILP system for fault diagnosis |
Bouarroudj Samiya |
Consulter | 2014 | SIBC |
| Vers l’Intégration des Propriétés non Fonctionnelles dans le Langage SADL |
Latreche Fateh |
Consulter | 2008 | GLSD |
| AADL behavioral annex based on generalized rewriting logic |
Latreche Fateh |
Consulter | 2008 | GLSD |
| Covid-19 and pedagogical continuity |
Benelhadj Mohamed El Hadi |
Consulter | 2021 | SIBC |
| L’e-administration au service de l’étudiant de l’ESCF de Constantine |
Souilah Benabdelhafid Maya |
Consulter | 2022 | SIBC |
| Incrustation d’objet virtuels dans des séquences vidéo pour la maintenance industrielle |
Badeche Mohamed |
Consulter | 2003 | AS |
| Suivi de modèle 2D pour la réalité augmentée |
Badeche Mohamed |
Consulter | 2011 | AS |
| Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems |
Latreche Fateh |
Consulter | 2019 | GLSD |
| Toward a rewriting logic framework for safe and distributed component installation |
Latreche Fateh |
Consulter | 2011 | GLSD |
| A Novel Semantic Framework for Analyzing Dynamic Web Services. |
Latreche Fateh |
Consulter | 2011 | GLSD |
| A Semantic Interoperability Approach for Heterogeneous Meteorology Big IoT Data |
Ghemmaz Wafa |
Consulter | 2022 | SIBC |
| Improving the formulation of NL queries based on a combination of ontology and case based reasoning |
Boumechaal Hasna ZIZETTE BOUFAIDA |
Consulter | 2016 | SIBC |
| Towards a model supporting synchronization of multimedia data and cost estimation |
Labed Ilhem |
Consulter | 1999 | SIBC |
| A temporal Synchronization Model for Cost Estimation in Distributed Multimedia Documents |
Labed Ilhem |
Consulter | 2004 | SIBC |
| O2DM: An Object Oriented Model for Multimedia Authoring Systems |
Labed Ilhem |
Consulter | 2004 | SIBC |
| Un modèle en étoile orienté aspect pour la gestion de la qualité de service de logiciels |
Labed Ilhem |
Consulter | 2011 | SIBC |
| An Adaptation Architecture of Multimedia Documents for Management of the Quality of Service |
Labed Ilhem |
Consulter | 2013 | SIBC |
| Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration |
Zatout Sara |
Consulter | 2018 | SIBC |
| An Architecture Dedicated to Dynamic Adaptation for Services Orchestration |
Zatout Sara |
Consulter | 2018 | SIBC |
| An ILP Approach to Learn MKNF+ Rules for Fault Diagnosis |
Bouarroudj Samiya |
Consulter | 2023 | SIBC |
| An automatic natural feature selection system for indoor tracking - Application to Alzheimer patient support |
Badeche Mohamed |
Consulter | 2018 | AS |
| Automatic Correction of Free Format MCQ Tests |
Badeche Mohamed |
Consulter | 2020 | AS |
| Classification de l’Alphabet Arabe Utilisé comme Motif Textuel sur des Marqueurs ARToolkit |
Badeche Mohamed |
Consulter | 2012 | AS |
| Une Méthode Robuste pour l’insertion réaliste d’objets Virtuels dans une séquence vidéo : Application à la fabrication et la maintenance industrielle |
Badeche Mohamed |
Consulter | 2003 | AS |
| Real Time Tracking for augmented reality |
Badeche Mohamed |
Consulter | 2006 | AS |
| Proposition d’une mire 3D pour des applications réalité augmentée de E-Learning réalisées avec la bibliothèque ARToolkit |
Badeche Mohamed |
Consulter | 2012 | AS |
| Mesure de similarité entre les motifs textuels des marqueurs utilisés dans la bibliothèque ARToolkit (cas de l’alphabet latin) |
Badeche Mohamed |
Consulter | 2012 | AS |
| Temperature forecasting via neural networks based on time-series data |
Badeche Mohamed |
Consulter | 2021 | AS |