Search:
By Year:
| 2018 | |
| [54] | , Multi-objective design exploration approach for Ravenscar real-time systems, In Real-Time Systems, volume 54, 2018. [bibtex] [doi] |
| [53] | 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018, Paris, France, June 27-29, 2018, In (Layth Sliman, Ismael Bouassida Rodriguez, Kaori Yoshida, eds.), IEEE Computer Society, 2018. [bibtex] [pdf] [doi] |
| [52] | , Adaptive MBSFN subframe allocation scheme for VBR video streaming over LTE-A networks, In Transactions on Emerging Telecommunications Technologies, Wiley Online Library, 2018. [bibtex] |
| [51] | , Dynamic MBSFN Subframe Allocation Algorithm for Bursty Video Traffic in LTE-Advanced Network, In IEEE WCNC, 2018. [bibtex] |
| [50] | , A Low-Complexity Scheduling for Joint Unicast and Multicast Transmissions in LTE-A Network, In IEEE 14th International Wireless Communications and Mobile Computing Conference (IWCMC), 2018. [bibtex] |
| [49] | , Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living: 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings, Springer, 2018. [bibtex] |
| [48] | , Towards a Model-Based Testing Framework for the Security of Internet of Things for Smart City Applications, In International Conference on Smart Cities, Infrastructure, Technologies and Applications, 2018. [bibtex] |
| [47] | , Towards Multi-Access Edge Based Vehicular Fog Computing Architecture, In 2018 IEEE Global Communications Conference (GLOBECOM), 2018. [bibtex] |
| [46] | , Detection of dynamic and overlapping communities in social networks, In Int. J. Appl. Eng. Res, volume 13, 2018. [bibtex] |
| [45] | , Distributed and Resource-Aware Load Testing of WS-BPEL Compositions., In ICEIS (2), 2018. [bibtex] |
| [44] | , Specification and automatic checking of architecture constraints on object oriented programs, In Information and Software Technology, Elsevier, volume 101, 2018. [bibtex] |
| [43] | , Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models, In International Conference on Current Trends in Theory and Practice of Informatics, 2018. [bibtex] |
| [42] | , Technological approach for early and unobtrusive detection of possible health changes toward more effective treatment, In International Conference on Smart Homes and Health Telematics, 2018. [bibtex] |
| [41] | , Long-term behavior change detection approach through objective technological observations toward better adaptation of services for elderly people, In Health and Technology, Springer Berlin Heidelberg, volume 8, 2018. [bibtex] |
| [40] | , A Semantic Approach for Tweet Categorization, In Procedia Computer Science, Elsevier, volume 126, 2018. [bibtex] |
| [39] | , Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation, In OTM Confederated International Conferences" On the Move to Meaningful Internet Systems", 2018. [bibtex] |
| [38] | , Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes, In 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA), 2018. [bibtex] |
| [37] | , Impacts of Temperature and Humidity variations on RSSI in indoor Wireless Sensor Networks, In Procedia Computer Science, Elsevier, volume 126, 2018. [bibtex] |
| [36] | , Geo-distributed bigdata processing for maximizing profit in federated clouds environment, In 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 2018. [bibtex] |
| [35] | , Exact and heuristic MapReduce scheduling algorithms for cloud federation, In Computers & Electrical Engineering, Pergamon, volume 69, 2018. [bibtex] |
| [34] | , Efficient distribution of mapreduce jobs for maximizing profit on federated cloud, In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018. [bibtex] |
| [33] | , A multi-criteria decision making approach for predicting cancer cell sensitivity to drugs, In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, ACM, 2018. [bibtex] |
| [32] | , Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns, In International Journal of Computer Applications in Technology, volume 57, 2018. [bibtex] [doi] |
| [31] | , Formalizing compound MAPE patterns for decentralized control in self-adaptive systems, In 12th International Conference on Research Challenges in Information Science, RCIS 2018, Nantes, France, May 29-31, 2018, 2018. [bibtex] [doi] |
| [30] | , Translation of UML models for self-adaptive systems into Event-B specifications, In Intelligent Systems Design and Applications - 18th International Conference on Intelligent Systems Design and Applications (ISDA 2017) Held in Delhi, India, December 14-16, 2017, 2018. [bibtex] |
| [29] | , Distributed Computations in Wireless Sensor Networks by Local Interactions, In 17th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now) , Springer, volume 11104, 2018. [bibtex] |
| [28] | , Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations, In 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, IEEE Computer Society, 2018. [bibtex] |
| [27] | , A refinement-based approach for specifying multi-scale software architectures: application to SoS, In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, ACM, 2018. [bibtex] [pdf] [doi] |
| [26] | , A performance analysis of Orchestra scheduling for time-slotted channel hopping networks, In Internet Technology Letters, 2018. [bibtex] |
| [25] | , Autonomous and traffic-aware scheduling for TSCH networks, In Computer Networks, volume 135, 2018. [bibtex] [doi] |
| [24] | , Optimal Evidence Collection for Accountability in the Cloud, In 15th International Conference on e-Business Engineering ICEBE, 2018. [bibtex] |
| [23] | , Video-processing-based system for automated pedestrian data collection and analysis when crossing the street, In Journal of Electronic Imaging, volume 27, 2018. [bibtex] [doi] |
| [22] | , Distributed and Resource-Aware Load Testing of WS-BPEL Compositions, In Proceedings of the 20th International Conference on Enterprise Information Systems, ICEISa, SciTePress, 2018. [bibtex] [doi] |
| [21] | , A model-based approach to combine conformance and load tests: an eHealth case study, In IJCCBS, volume 8, 2018. [bibtex] [doi] |
| [20] | , IT Governance in Higher Education Institutions: A Systematic Literature Review, In IJHCITP, volume 9, 2018. [bibtex] [doi] |
| [19] | , A model-based approach to combine conformance and load tests: an eHealth case study, In IJCCBSaaa, volume 8, 2018. [bibtex] |
| [18] | , An analytical study of the main characteristics of Cluster-based Energy-aware Virtual Ring Routing (CLEVER): Number of clusters, number of hops and cluster diameter, In Peer-to-Peer Networking and Applications, 2018. [bibtex] [doi] |
| [17] | , A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks, In The 30th International Conference on Software Engineering and Knowledge Engineering, Redwood City, California, USA, July 1-3, 2018., 2018. [bibtex] |
| [16] | , Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud, In Information Systems - 15th European, Mediterranean, and Middle Eastern Conference, EMCIS 2018, Limassol, Cyprus, October 4-5, 2018, Proceedings (Marinos Themistocleous, Paulo Rupino da Cunha, eds.), Springer, volume 341, 2018. [bibtex] [pdf] [doi] |
| [15] | , Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review, In The 22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Belgarde, Serbia,September 3-5, 2018., Elsevier, 2018. [bibtex] |
| [14] | , Preserving the Correctness of Dynamic Workflows within a Cloud Environment, In The 22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Belgarde, Serbia,September 3-5, 2018., Elsevier, 2018. [bibtex] |
| [13] | , Avoiding resource misallocations in business processes, In Concurrency and Computation: Practice and Experience, 2018. [bibtex] [doi] |
| [12] | , Elastic Multi-Tenant Business Process Based on Temporal Constraints, In 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2018. [bibtex] [doi] |
| [11] | , Experiencing Low Power Wireless Links in Distribution Smart Grid Environments, In Proceedings of the 15th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA, 2018. [bibtex] [doi] |
| [10] | , Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets, In New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY at MEDI, 2018. [bibtex] [doi] |
| [9] | , Composite Event Handling over a Distributed Event-Based System, Chapter in (Roger Lee, ed.), Springer International Publishing, 2018. [bibtex] [doi] |
| [8] | , Adaptive and Reconfigurable Systems and Architectures (AROSA 2018): Summary Report, In 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018, Paris, France, June 27-29, 2018, 2018. [bibtex] [doi] |
| [7] | , MF-Re-Rank: A modality feature-based Re-Ranking model for medical image retrieval, In JASIST, volume 69, 2018. [bibtex] [doi] |
| [6] | , Building Contextual Implicit Links for Image Retrieval, In Proceedings of the 20th International Conference on Enterprise Information Systems, ICEIS 2018, Funchal, Madeira, Portugal, March 21-24, 2018, Volume 1., 2018. [bibtex] [doi] |
| [5] | , Data accuracy aware mobile healthcare applications, In Computers in Industry, volume 97, 2018. [bibtex] [doi] |
| [4] | , Anomaly Detection and Diagnosis Scheme for Mobile Health Applications, In 32nd IEEE International Conference on Advanced Information Networking and Applications, AINA, 2018. [bibtex] [doi] |
| [3] | , A decision approach for energy distribution management in smart cities, In Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC), 2018. [bibtex] [doi] |
| [2] | , Performance efficiency of a predictive scheme into publish/subscribe, In Int. J. Commun. Networks Distributed Syst., volume 21, 2018. [bibtex] [pdf] [doi] |
| [1] | , A novel adaptation approach for collaborative ubiquitous applications, In IJAACS, volume 11, 2018. [bibtex] [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