Search:
By Year:
| 2020 | |
| [63] | , Docker-C2A : Cost-Aware Autoscaler of Docker Containers for Microservices-based Applications, In Advances in Science, Technology and Engineering Systems Journal, ASTES Journal, volume 5, 2020. [bibtex] [pdf] [doi] |
| [62] | , M-CNN: A New Hybrid Deep Learning Model for Web Security, In 2020 IEEE/ACS 17th International Conference on Computer Systems and Applications (AICCSA), IEEE Computer Society, volume , 2020. [bibtex] [pdf] [doi] |
| [61] | , A Tool for Multi-scale Modeling of Software Architectures: Application to the Smart Home for Telemonitoring Elderly People at Home, In Digital Health in Focus of Predictive, Preventive and Personalised Medicine, Springer, volume Chapter 18, 2020. [bibtex] [pdf] [doi] |
| [60] | , Towards a Formal Specification for an AADL Behavioural Subset Using the LNT Language, In International Journal of Business and Systems Research, volume 14, 2020. [bibtex] [doi] |
| [59] | , A formal approach to AADL model-based software engineering, In International Journal on Software Tools for Technology Transfer, volume 22, 2020. [bibtex] [doi] |
| [58] | , Deep convolutional neural network based image spam classification, In 2020 6th Conference on Data Science and Machine Learning Applications (CDMA), 2020. [bibtex] |
| [57] | , Do digital students show an inclination toward continuous use of academic library applications? A case study, In The Journal of Academic Librarianship, Elsevier, 2020. [bibtex] |
| [56] | , Multirate ECG Processing and k-Nearest Neighbor Classifier Based Efficient Arrhythmia Diagnosis, In International Conference on Smart Homes and Health Telematics, 2020. [bibtex] |
| [55] | , Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems, In International Conference on Smart Homes and Health Telematics, 2020. [bibtex] |
| [54] | , Efficient Depth Features for Age-Group Classification, In International Journal Of Science and Technoledge, volume 8, 2020. [bibtex] [doi] |
| [53] | , Vehicular Fog Resource Allocation Scheme: A Multi-Objective Optimization based Approach, In 2020 IEEE 17th Annual Consumer Communications & Networking Conference (CCNC), 2020. [bibtex] |
| [52] | , A Survey on Vehicular Fog Computing: Motivation, Architectures, Taxonomy, and Issues, In Workshops of the International Conference on Advanced Information Networking and Applications, 2020. [bibtex] |
| [51] | , A decision system for computational authors profiling: From machine learning to deep learning, In Concurrency and Computation: Practice and Experience, Wiley Online Library, 2020. [bibtex] |
| [50] | , A co-training-based approach for the hierarchical multi-label classification of research papers, In Expert Systems, Wiley Online Library, 2020. [bibtex] |
| [49] | , Hybrid Deep Neural Network-Based Text Representation Model to Improve Microblog Retrieval, In Cybernetics and Systems, Taylor & Francis, volume 51, 2020. [bibtex] |
| [48] | , Towards a Runtime Testing Framework for Dynamically Adaptable Internet of Things Networks in Smart Cities, Chapter in Smart Infrastructure and Applications, Springer, Cham, 2020. [bibtex] |
| [47] | , Security Testing of Internet of Things for Smart City Applications: A Formal Approach, Chapter in Smart Infrastructure and Applications, Springer, Cham, 2020. [bibtex] |
| [46] | , The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24--26, 2020, Proceedings, Springer Nature, 2020. [bibtex] |
| [45] | , A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain, In 2020 International Wireless Communications and Mobile Computing (IWCMC), 2020. [bibtex] |
| [44] | , Driver drowsiness detection model using convolutional neural networks techniques for android application, In 2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT), 2020. [bibtex] |
| [43] | , Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity, In 2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT), 2020. [bibtex] |
| [42] | , Dynamic VNF Forwarding Graph Extension Algorithms, In IEEE Transactions on Network and Service Management, IEEE, 2020. [bibtex] |
| [41] | , Lookup Service for Fog-based Indoor Localization Platforms using Chord Protocol, In 2020 International Wireless Communications and Mobile Computing (IWCMC), 2020. [bibtex] |
| [40] | , Modeling and proving distributed algorithms for dynamic graphs, In Future Generation Computer Systems, Elsevier, 2020. [bibtex] |
| [39] | , An Evaluative Review of the Formal Verification for VANET Protocols, In Proceedings of the 12th International Conference on Computational Collective Intelligence (ICCCI), 2020. [bibtex] |
| [38] | Risks and Security of Internet and Systems, 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings, (Slim Kallel, Frédéric Cuppens, Nora Cuppens-Boulahia, Ahmed Hadj Kacem, eds.), Springer, volume 12026, 2020. [bibtex] [doi] |
| [37] | , Augmented Reality and Autism Spectrum Disorder Rehabilitation: Scoping review, In IEEE International Conference on Artificial Intelligence and Virtual Reality, AIVR 2020, Virtual Event, The Netherlands, December 14-18, 2020, IEEE, 2020. [bibtex] [pdf] [doi] |
| [36] | , Pilot Site Deployment of an IoT Solution for Older Adults’ Early Behavior Change Detection, In Sensors, Multidisciplinary Digital Publishing Institute, volume 20, 2020. [bibtex] |
| [35] | , Personalized and Contextualized Persuasion System for Older Adults? Physical Activity Promoting, In International Conference on Smart Homes and Health Telematics, 2020. [bibtex] |
| [34] | , Extension and adaptation of an aspect oriented programming language for real-time systems, In International Journal of Business and Systems Research (IJBSR), volume 14, 2020. [bibtex] [pdf] [doi] |
| [33] | , A survey of current challenges in partitioning and processing of graph-structured data in parallel and distributed systems, In Distributed Parallel Databases, volume 38, 2020. [bibtex] [pdf] [doi] |
| [32] | , Malicious Http Request Detection Using Code-Level Convolutional Neural Network, In Risks and Security of Internet and Systems - 15th International Conference, CRiSIS 2020, Paris, France, November 4-6, 2020, Revised Selected Papers, Springer, volume 12528, 2020. [bibtex] [pdf] [doi] |
| [31] | , Toward a correct and optimal time-aware cloud resource allocation to business processes, In Future Gener. Comput. Syst., volume 112, 2020. [bibtex] [doi] |
| [30] | , IoT-aware Business Process: comprehensive survey, discussion and challenges, In 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2020, Virtual Event, France, September 10-13, 2020, 2020. [bibtex] [pdf] [doi] |
| [29] | , Ensuring the correctness of adaptive business processes: a systematic literature review, In IJCAT, volume 62, 2020. [bibtex] [pdf] [doi] |
| [28] | , ABDA: An Automated Behavioral Disorder Assessment Framework, In Computational Science and Its Applications - ICCSA 2020 - 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part VI, Springer, volume 12254, 2020. [bibtex] [pdf] [doi] |
| [27] | , A Framework for Detecting and Analyzing Behavior Changes of Elderly People over Time Using Learning Techniques, In Sensors, volume 20, 2020. [bibtex] [pdf] [doi] |
| [26] | , Using Learning Techniques to Observe Elderly's Behavior Changes over Time in Smart Home, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020 Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi] |
| [25] | , Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment, In J. Network Syst. Manage., volume 28, 2020. [bibtex] [pdf] [doi] |
| [24] | , Automatic Age Estimation: a survey, In Journal Computación y Sistemas, volume 24, 2020. [bibtex] [pdf] |
| [23] | , A Guiding Framework for Vetting the Internet of Things, In J. Inf. Secur. Appl., volume 55, 2020. [bibtex] [doi] |
| [22] | , Resource Allocation in Fog Computing: A Systematic Mapping Study, In Fifth International Conference on Fog and Mobile Edge Computing, FMEC, IEEE, 2020. [bibtex] [pdf] [doi] |
| [21] | , Machine Learning Classification Models with SPD/ED Dataset: Comparative Study of Abstract Versus Full Article Approach, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi] |
| [20] | , Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi] |
| [19] | , Time-aware selection approach for service composition based on pruning and improvement techniques, In Softw. Qual. J., volume 28, 2020. [bibtex] [pdf] [doi] |
| [18] | , A Comprehensive Survey on Modeling Cyber-physical Systems, In Concurrency and Computation: Practice and Experience, 2020. [bibtex] [doi] |
| [17] | , Study of Middleware for Internet of Healthcare Things and Their Applications, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi] |
| [16] | , Vehicle Platooning Systems: Review, Classification and Validation Strategies, In Int. J. Networked Distributed Comput., volume 8, 2020. [bibtex] [pdf] [doi] |
| [15] | , New trends in adaptive smart systems, services, and architectures, In Concurr. Comput. Pract. Exp., volume 32, 2020. [bibtex] [pdf] [doi] |
| [14] | , Adaptive and Reconfigurable Systems and Architectures (AROSA 2020) : Summary Report, In 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2020, Virtual Event, France, September 10-13, 2020, IEEE, 2020. [bibtex] [pdf] [doi] |
| [13] | , Blockchain for the Internet of Vehicles: A Decentralized IoT Solution for Vehicles Communication Using Ethereum, In Sensors, volume 20, 2020. [bibtex] [pdf] [doi] |
| [12] | , Formal specification and verification of a broadcasting protocol: a refinement-based approach, In Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, Virtual Event, 16-18 September 2020 (Matteo Cristani, Carlos Toro, Cecilia Zanni-Merk, Robert J. Howlett, Lakhmi C. Jain, eds.), Elsevier, volume 176, 2020. [bibtex] [pdf] [doi] |
| [11] | , Application of Blockchain Technology in Healthcare: A Comprehensive Study, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, 2020. [bibtex] [pdf] [doi] |
| [10] | , Study of Healthcare Professionals' Interaction in the Patient Records Based on Annotations, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi] |
| [9] | , DHPV: a distributed algorithm for large-scale graph partitioning, In J. Big Data, volume 7, 2020. [bibtex] [pdf] [doi] |
| [8] | , Business process specification, verification, and deployment in a mono-cloud, multi-edge context, In Comput. Sci. Inf. Syst., volume 17, 2020. [bibtex] [doi] |
| [7] | , Resolving Multi-user Conflicts in a Smart Building using RBAC, In 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2020, Virtual Event, France, September 10-13, 2020, IEEE, 2020. [bibtex] [pdf] [doi] |
| [6] | , AUDIT: AnomaloUs data Detection and Isolation approach for mobile healThcare systems, In Expert Syst. J. Knowl. Eng., volume 37, 2020. [bibtex] [pdf] [doi] |
| [5] | , Age-group Classification Using 3DHOG Descriptor Applied to Depth Maps, In Proceedings of 35th International Conference on Computers and Their Applications (Gordon Lee, Ying Jin, eds.), EasyChair, volume 69, 2020. [bibtex] [pdf] [doi] |
| [4] | , Q-Rank: Reinforcement Learning for Recommending Algorithms to Predict Drug Sensitivity to Cancer Therapy, In IEEE Journal of Biomedical and Health Informatics, volume 24, 2020. [bibtex] [doi] |
| [3] | , How blockchain helps to combat trust crisis in COVID-19 pandemic?: poster abstract, In SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, Virtual Event, Japan, November 16-19, 2020 (Jin Nakazawa, Polly Huang, eds.), ACM, 2020. [bibtex] [doi] |
| [2] | , Blockchain for Internet of Medical Things: A Technical Review, In The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, Springer, volume 12157, 2020. [bibtex] [pdf] [doi] |
| [1] | , Using Marker Based Augmented Reality to teach autistic eating skills, In IEEE International Conference on Artificial Intelligence and Virtual Reality, AIVR 2020, Virtual Event, The Netherlands, December 14-18, 2020, IEEE, 2020. [bibtex] [pdf] [doi] |
ReDCAD
National School of Engineering of Sfax
www.enis.rnu.tn
University of Sfax, Tunisia
www.uss.rnu.tn
Contact
Prof. Dr. Eng. Mohamed Jmaiel
Research Center for Computer Science, Multimedia and Digital Data Processing of Sfax, Send an EmailPhone: +216 74 666 578
Address
National School of Engineers of Sfax
Department of Computer Science and Applied Mathematics
ReDCAD Laboratory
B.P. 1173, 3038 Sfax, Tunisia