Search:
By Year:
| 2016 | |
| [64] | , Feature model for the service provider in the service oriented architecture, In Proceedings of the IEEE 17th International Conference on Sciences and Techniques of Automatic control & computer engineering (STA'2017), 2016. [bibtex] |
| [63] | , Annotation-based Learner’s Personality Modeling in Distance Learning Context, In Turkish Online Journal of Distance Education, volume 17, 2016. [bibtex] |
| [62] | , Modeling and Formal Specification Of Multi-scale Software Architectures, In Proceedings of the 11th International Conference on Software Engineering Advances, (ICSEA'2016), 2016. [bibtex] |
| [61] | , A Novel Approach for Semantic Web Service Discovery, In 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2016. [bibtex] [doi] |
| [60] | , Software architectures: multi-scale refinement, In Proceedings of the 14th IEEE/ACIS, International Conference on Software Engineering Research, Management and Applications (SERA'2016), IEEE Computer Society, 2016. [bibtex] |
| [59] | , Multiple Software Product Lines for Service Oriented Architecture., In Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'2016), 2016. [bibtex] [doi] |
| [58] | , Energy-efficient model for indoor localization process based on wireless sensor networks, In 13th International Multi-Conference on Systems, Signals Devices (SSD), 2016. [bibtex] [doi] |
| [57] | , A Fault-Tolerant Handshake Algorithm for Local Computations, In 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA), 2016. [bibtex] [doi] |
| [56] | , A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures, In Proceedings of the 10th International Workshop on Verification and Evaluation of Computer and Communication System (VECoS), CEUR-WS.org, volume 1689, 2016. [bibtex] |
| [55] | , Improving Students’ Reading Comprehension Achievement through Sharing Annotations in Peer Learning Environment, In the 20th Global Chinese Conference on Computers in Education 2016. Hong Kong, 2016. [bibtex] |
| [54] | , i-Read: A Collaborative Learning Environment to Support Students with Low Reading Abilities, In International Conference on Intelligent Tutoring Systems, 2016. [bibtex] |
| [53] | , Processus pour la génération automatique de composants exécutables partir de contraintes d'architecture, In Revue des Nouvelles Technologies de l'Information, volume Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, RNTI-L-8, 2016. [bibtex] |
| [52] | , Fault Tolerance Approach Based on Checkpointing towards Dependable Business Processes, In IEEE Latin America Transactions, IEEE, volume 14, 2016. [bibtex] |
| [51] | , An Efficient Validation Approach for Quasi-Synchronous Checkpointing oriented to Distributed Diagnosability, In Journal of Systems and Software, Elsevier, 2016. [bibtex] |
| [50] | , Proceedings of the 14th International Conference on Inclusive Smart Cities and Digital Health-Volume 9677, Springer-Verlag, 2016. [bibtex] |
| [49] | , Efficient Parallel Multi-Objective Optimization for Real-time Systems Software Design Exploration, In Proceedings of the 27th International Symposium on Rapid System Prototyping (RSP), 2016. [bibtex] |
| [48] | , Agile framework for rapid deployment in ambient assisted living environments, In Proceedings of the 18th international conference on information integration and web-based applications and services, 2016. [bibtex] |
| [47] | , Simplifying installation and maintenance of ambient intelligent solutions toward large scale deployment, In Inclusive Smart Cities and Digital Health: 14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016. Proceedings 14, 2016. [bibtex] |
| [46] | , Detecting inconsistencies in rule-based reasoning for ambient intelligence, In 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS), 2016. [bibtex] |
| [45] | , Towards Accurate Medical Data in Mobile Health Applications, In 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016, Paris, France, June 13-15, 2016, 2016. [bibtex] [doi] |
| [44] | , A Development Process for the Design, Implementation and Code Generation of Fault Tolerant Reconfigurable Real Time Systems, In International Journal of Autonomous and Adaptive Communications Systems, IJAACS, Inderscience Publishers, volume (3/4), 2016. [bibtex] |
| [43] | , From Event-B specifications to programs for distributed algorithms, In International Journal of Autonomous and Adaptive Communications Systems (IJAACS),, volume 9, 2016. [bibtex] [doi] |
| [42] | , An Adaptation Approach for Smart Buildings, In Proceedings of The 18-th IEEE International Conference on High Performance Computing and Communications (HPCC), 2016. [bibtex] [doi] |
| [41] | , Holistic Link Quality Estimation-based Routing Metric for RPL Networks in Smart Grids, In 2016 IEEE 27th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC): Mobile and Wireless Networks (IEEE PIMRC2016 Mobile and Wireless), 2016. [bibtex] |
| [40] | , Computing of Learner's Personality Traits Based on Digital Annotations, In International Journal of Artificial Intelligence in Education, 2016. [bibtex] [doi] |
| [39] | , Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents, In Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications (AINA),, IEEE Computer Society, 2016. [bibtex] |
| [38] | , Optimized HOG Descriptor for on Road Cars Detection, In Proceedings of the 10th International Conference on Distributed Smart Camera, 2016. [bibtex] [doi] |
| [37] | , An approach based on runtime models for developing dynamically adaptive systems, In Future Generation Computer Systems, Elsevier, volume , 2016. [bibtex] [doi] |
| [36] | , Analytical decisional model for latency aware publish/subscribe systems on \MANET\, In Journal of Systems and Software, 2016. () [bibtex] [doi] |
| [35] | , Safe and Efficient Runtime Testing Framework Applied in Dynamic and Distributed Systems, In Science of Computer Programming (SCP), Elsevier, volume 122, 2016. [bibtex] |
| [34] | , Designing an Analysis Procedure for Context Aware Applications in Ubiquitous Environments, In Proceedings of The 30-th IEEE International Conference on Advanced Information Networking and Applications (AINA-2016), 2016. [bibtex] |
| [33] | , Adaptive and Reconfigurable Software Systems and Architectures, In Journal of Systems and Software, Elsevier, volume , 2016. [bibtex] |
| [32] | , Comparative study of web annotation systems used by learners to enhance educational practices: features and services, In International Journal of Technology Enhanced Learning, Inderscience, volume 8, 2016. [bibtex] [doi] |
| [31] | , Functionalities provided by Annotation Systems for Learners in Educational Context: An Overview, In International Journal of Emerging Technologies in Learning, volume 11, 2016. [bibtex] [doi] |
| [30] | , OoDAAS: Ontology-Driven Analysis for Self-Adaptive Ambient Systems, In Proceedings of the International Conference on Internet of Things and Cloud Computing, ACM, 2016. [bibtex] [doi] |
| [29] | Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, (Mohamed Hadj Kacem, Ismael Bouassida Rodriguez, Ernesto Exposito, eds.), Hermann-Éditions, volume L-8, 2016. [bibtex] |
| [28] | , Modeling and Verifying Self-adaptive Systems:A Refinement Approach, In The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC2016), 2016. [bibtex] |
| [27] | , BPMN4CPS: A BPMN Extension for modeling cyber-physical systems, In Proceedings of the 25th IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, volume , 2016. [bibtex] [doi] |
| [26] | , Vers une modélisation formelle basée sur le rafinnement des systèmes multi-agents auto-organisateurs, In Revue d'Intelligence Artificielle, volume 30, 2016. [bibtex] [doi] |
| [25] | , Time Patterns for Cyber-Physical Systems, In Proceedings of the 21th IEEE Symposium on Computers and Communications (ISCC), IEEE, volume , 2016. [bibtex] [doi] |
| [24] | , A Stepwise Refinemet based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants, In International Journal of Agent-Oriented Software Engineering, 2016. [bibtex] |
| [23] | , A Bigraphical Modeling Methodology for Multi-scale Reconfigurable Systems, In Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2016. [bibtex] [doi] |
| [22] | , Encoding Bigraphical Reactive Systems into Graph Transformation Systems, In Proceedings of the 14th Cologne Twente Workshop on Graphs and Combinatorial Optimization, (CTW), 2016. [bibtex] |
| [21] | , Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance, In Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, 2016. [bibtex] [doi] |
| [20] | , EMA2AOP: From the AADL Error Model Annex to aspect language towards fault tolerant systems, In 14th IEEE International Conference on Software Engineering Research, Management and Applications, SERA, 2016. [bibtex] [doi] |
| [19] | , AspectAda: An aspect oriented extension of ada for real-time systems, In 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS, 2016. [bibtex] [doi] |
| [18] | , A Distributed and Flexible Architecture for Internet of Things, In Procedia Computer Science, 2016. [bibtex] [doi] |
| [17] | , A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs, In 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2016. [bibtex] [doi] |
| [16] | , Dealing with structural changes on provisioning resources for deadline-constrained workflow, In The Journal of Supercomputing, 2016. [bibtex] [doi] |
| [15] | , Recursive and RollingWindows for Medical Time Series Forecasting : a Comparative Study, In 14th IEEE /IFIP International Conference on Embedded and Ubiquitous Computing, EUC, 2016. [bibtex] |
| [14] | , Special issue Editorial: New technologies of distributed systems, volume 28, 2016. [bibtex] [doi] |
| [13] | , A correct by construction approach for modeling and formalizing self-adaptive systems, In 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2016, Shanghai, China, May 30 - June 1, 2016, 2016. [bibtex] [doi] |
| [12] | , Dynamic Selection for Service Composition Based on Temporal and QoS Constraints, In IEEE International Conference on Services Computing, SCC, 2016. [bibtex] [doi] |
| [11] | , Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing, In 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, Heraklion, Crete, Greece, February 17-19, 2016, 2016. [bibtex] [doi] |
| [10] | , Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions, In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016. Proceedings, 2016. [bibtex] |
| [9] | , Formal Verification of Time-Aware Cloud Resource Allocation in Business Process, In Proceedings of On the Move to Meaningful Internet Systems: OTM Conferences - Confederated International Conferences: CoopIS, ODBASE, and C&TC, Springer, volume , 2016. [bibtex] [doi] |
| [8] | , The SemSPM approach: fine integration of WS-SecurityPolicy semantics to enhance matching security policies in SOA, In Service Oriented Computing and Applications, Springer, 2016. [bibtex] |
| [7] | , Developing correct adapters for software architectural dynamic reconfiguration, In International Journal of Autonomous and Adaptive Communications Systems (IJAACS), volume 9, 2016. [bibtex] |
| [6] | , Mining correlations between medically dependent features and image retrieval models for query classification, In Journal of the Association for Information Science Technology (JASIST 2016), Wiley-Blackwell, 2016. [bibtex] |
| [5] | , An LDA Topic Model Adaptation for Context-Based Image Retrieval, In 16th International Conference on Electronic Commerce and Web Technologies, 2016. [bibtex] |
| [4] | , SoLDES: Service-oriented Lexical Database Exploitation System, In Research in Computing Science, volume 109, 2016. [bibtex] |
| [3] | , An overview of a decision approach for autonomic applications architectural adaptation, In Proceedings of The 18-th IEEE International Conference on High Performance Computing and Communications (HPCC), 2016. [bibtex] [doi] |
| [2] | , DLBMS: A DYNAMIC LOAD BALANCING FOR MOBILE SUBSCRIBERS INTO PUBLISH/SUBSCRIBE SYSTEMS, In 13th International Conference Applied Computing 2016, IADIS AC 2016, MANNHEIM, GERMANY (Hans Weghorn, ed.), IADIS digital library, 2016. [bibtex] |
| [1] | , Towards ODRAH: an Ontology-based Data Reliability Assessment in mobile Health, In 13th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2016. [bibtex] |
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