Search:
By Year:
| 2012 | |
| [58] | , Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems, In The 24th IFIP International Testing Software and Systems Conference (ICTSS) Proceedings, Springer, 2012. [bibtex] [doi] |
| [57] | , Handling Chrun in DHT-based Publish/Subscribe Systems, In Proceedings of the 3nd IEEE/IFIP International Conference on the Network of the Future (NoF 12), IEEE Communications Society, 2012. [bibtex] |
| [56] | , Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems, In The 24th IFIP International Testing Software and Systems Conference (ICTSS) Proceedings, Springer, 2012. [bibtex] [doi] |
| [55] | , mhDHT: a Scalable DHT-based Name Resolution System for the Future Internet, In Proceedings of the 3nd IEEE/IFIP International Conference on the Network of the Future (NoF 12), IEEE Communications Society, 2012. [bibtex] |
| [54] | , Radio link quality estimation in wireless sensor networks: A survey, In ACM Trans. Sen. Netw., ACM, volume 8, 2012. [bibtex] [doi] |
| [53] | , Towards a Verification Approach for Reconfigurable Embedded Systems, In Computers and Communications (ISCC), 2012 IEEE Symposium on, 2012. [bibtex] [doi] |
| [52] | , P/S-CoM+: a Formal Approach to Design Correct Publish/Subscribe Architectural Styles, In Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, IEEE Computer Society, 2012. [bibtex] |
| [51] | , Analytical framework for QoS aware publish/subscribe system deployed on MANET, In Proceedings of The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2012), IEEE Computer Society, 2012. [bibtex] |
| [50] | , Failure Prediction for Publish/Subscribe System on MANET, In Proceedings of the 21 st International Conference Collaboration Technologies and Infrastructure (WETICE 2012). 2nd Track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures (AROSA 2012), IEEE Computer Society, 2012. [bibtex] [doi] |
| [49] | , Towards self healing publish/subscribe system on MANET, In Proceedings of the 21 st International Conference Collaboration Technologies and Infrastructure (WETICE 2012). 2nd Track on Collaborative Technology for Coordinating Crisis Management (CT2CM 2012), IEEE Computer Society, 2012. [bibtex] [doi] |
| [48] | , Design-Time Verification of Reconfigurable Real-Time Embedded Systems, In Proceedings of the 9th IEEE International Conference on Embedded Software and Systems (ICESS 2012), IEEE Computer Society, 2012. [bibtex] |
| [47] | , Predictive schemes for QoS awareness of publish/subscribe systems on MANET, In Proceedings of the 11th International Symposium on Parallel and Distributed Computing (ISPDC 2012), IEEE Computer Society, 2012. [bibtex] |
| [46] | , Towards an Ontology and DHT-based publish/subscribe scalable system, In 3rd IEEE International Workshop on SmArt COmmunications in NEtwork Technologies (ICC'12 WS - SaCoNet-III), 2012. [bibtex] |
| [45] | , QoS Monitoring and Analysis approach for publish/subscribe systems deployed on MANET, In Proceedings of The 20th Euromicro International Conference on Parallel Distributed and Network-Based Computing(PDP 2012), Conference Publishing Services (CPS), 2012. [bibtex] |
| [44] | , Adaptation Of "Bees Algorithm" for QOS-based Selection And Replacement of Web Services, In Proceedings of the seventh International Conference on Software Paradigm Trends(ICSOFT 2012), 2012. [bibtex] |
| [43] | , Semantic reasoning in context-aware assistive environments to support ageing with dementia, In The Semantic Web--ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II 11, 2012. [bibtex] |
| [42] | , New trends to support independence in persons with mild dementia--a mini-review, In Gerontology, Karger Publishers, volume 58, 2012. [bibtex] |
| [41] | , MDA-Based Approach for Implementing Secure Mobile Agent Systems, In proceedings of the International Workshop on Agent-Oriented Software Engineering (AOSE), Springer, volume 7852, 2012. [bibtex] |
| [40] | , A formal framework for black-box conformance testing of distributed real-time systems, In IJCCBS, volume 3, 2012. [bibtex] [doi] |
| [39] | , A semantic plug&play based framework for ambient assisted living, In Impact Analysis of Solutions for Chronic Disease Prevention and Management: 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings 10, 2012. [bibtex] |
| [38] | , The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange, In 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, volume 0, 2012. [bibtex] [doi] |
| [37] | , A Graph Grammar-Based Dynamic Reconfiguration for Virtualized Web Service-Based Composite Architectures, Chapter in Business System Management and Engineering - From Open Issues to Applications [partially an outcome of the International Workshop on Business System Management and Engineering (BSME), Springer, volume 7350, 2012. [bibtex] [doi] |
| [36] | , An Ontology-Based Approach for Linguistic Web Service Description, In WETICE IEEE 21st International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises, 2012. [bibtex] [doi] |
| [35] | , Towards a novel analysis approach for collaborative ubiquitous systems, In Second Track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures in 21th IEEE International Conference Collaboration Technologies and Infrastructures (WETICE 2012), 2012. [bibtex] [doi] |
| [34] | , DRF4SOA: A Dynamic Reconfigurable Framework for Designing Autonomic Application Based on SOA, In Proceedings of the 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2012. [bibtex] [doi] |
| [33] | , Towards Planning Policies for Self-Adaptive Orchestrated Web Services, In WETICE, 2012. [bibtex] [doi] |
| [32] | , Model-Based Conformance Testing of WS-BPEL Compositions, In COMPSAC Workshops, 2012. [bibtex] [doi] |
| [31] | , Conformance Testing of WS-BPEL Compositions under Various Load Conditions, In COMPSAC, 2012. [bibtex] [doi] |
| [30] | , Off-line test selection with test purposes for non-deterministic timed automata, In Logical Methods in Computer Science, volume 8, 2012. [bibtex] [doi] |
| [29] | , A distributed Test Architecture For Adaptable and Distributed Real-Time Systems, In In the Journal of New technologies of Information (RNTI), CAL'2011, 2012. [bibtex] |
| [28] | , Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems, In Proceedings of the 24th IFIP International Conference of Testing Software and Systems (ICTSS), 2012. [bibtex] [doi] |
| [27] | , Une approche de monitoring et d’analyse des systèmes publier/souscrire déployés sur MANET. Application: Les systèmes de gestion de crise, In 1ère Conférence francophone sur les Systèmes Collaboratifs (SysCo2012), 2012. [bibtex] |
| [26] | , Modeling and enforcing invariants of dynamic software architectures, In Software and Systems Modeling, Springer, volume 11, 2012. [bibtex] [doi] |
| [25] | , Experimental study of IEEE 802.11n protocol, In Proceedings of the seventh ACM international workshop on Wireless network testbeds, experimental evaluation and characterization, 2012. [bibtex] [doi] |
| [24] | , On the performance of IEEE 802.11n protocol, In 5th joint IFIP Wireless and Mobile Networking Conference, 2012. [bibtex] [doi] |
| [23] | , A frame aggregation scheduler for QoS-sensitive applications in IEEE 802.11n WLANs, In International Conference on Communications and Information Technology, 2012. [bibtex] [doi] |
| [22] | , BPELVT: A tool for formal validation of web service orchestrations., In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex] |
| [21] | , Position paper: An integration approach of web service composition models: From choreography to orchestration, In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex] |
| [20] | , A Formal Approach for the Validation of Web Service Orchestrations, In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex] |
| [19] | , A formal approach to model and verify the behavior of Publish/Subscribe architectural style, In International Journal of Information Technology, Communications and Convergence, Inderscience publishers, volume , 2012. [bibtex] |
| [18] | , A Comprehensive Survey on Intra and Inter Organizational Agreements, In Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2012. [bibtex] [doi] |
| [17] | , Intention based semantic approach for service sourcing, In Proceedings of the ACM Symposium on Applied Computing(SAC), ACM, 2012. [bibtex] [doi] |
| [16] | , A Semantic Scoring Approach for Service Offers, In Proceedings of the 12th International Conference on Web Engineering (ICWE), Springer, volume 7387, 2012. [bibtex] [doi] |
| [15] | , Word Indexing Versus Conceptual Indexing in Medical Image Retrieval, In Cross Language Evaluation Forum, CLEF (Online Working Notes/Labs/Workshop), 2012. [bibtex] |
| [14] | , A Middleware for Reconfigurable Distributed Real-Time Embedded Systems, In Software Engineering Research, Management and Applications, SERA'2012 (Roger Lee, ed.), Springer Berlin / Heidelberg, volume 430, 2012. [bibtex] [doi] |
| [13] | , Modélisation et vérification des systèmes embarqués temps réel reconfigurables, In 6ème Conférence Internationale Francophone sur les Architectures Logicielles, 2012. [bibtex] |
| [12] | , An MDE-Based Approach for Reconfigurable Embedded Systems, In 21st IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2012, Second trac on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures - AROSA 2012, IEEE Computer Society, 2012. [bibtex] [doi] |
| [11] | , A flexible approach for service composition using service patterns, In Proceedings of the 27th Annual ACM Symposium on Applied Computing, ACM, 2012. [bibtex] [doi] |
| [10] | , Handling Churn in DHT-based Publish/Subscribe Systems, In Proceeding of the 3rd IEEE/IFIP International Conference on the Network of the Future (NoF), 2012. [bibtex] [doi] |
| [9] | , Caractérisation de la reconfiguration dynamique des architectures logicielles par les grammaires de graphe, In 6ème Conférence francophone sur les Architectures Logicielles (CAL 2012), 2012. [bibtex] |
| [8] | , Extension et adaptation d'un langage d'aspect pour les systèmes temps réel, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2012. [bibtex] |
| [7] | , Semantic matching of web services security policies, In Proceedings of the 7th International Conference on Risks and Security of Internet and Systems (CRiSIS), IEEE Computer Society, 2012. [bibtex] [doi] |
| [6] | , Enhancing Linguistic Web Service Description with Non-functional NLP Properties, In ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012, 2012. [bibtex] |
| [5] | , Applying LDA in Contextual Image Retrieval - ReDCAD participation at ImageCLEF Flickr Photo Retrieval 2012, In Cross Language Evaluation Forum, CLEF (Online Working Notes/Labs/Workshop), 2012. [bibtex] |
| [4] | , Combination of document structure and links for multimedia object retrieval, In Journal of Information Science, volume 38, 2012. [bibtex] [doi] |
| [3] | , Applying LDA in Contextual Image Retrieval - ReDCAD participation at ImageCLEF Flickr Photo Retrieval 2012, In Cross Language Evaluation Forum, CLEF (Online Working Notes/Labs/Workshop), 2012. [bibtex] |
| [2] | , Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures, In Proceedings of the 21st IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2012. [bibtex] [doi] |
| [1] | , Modeling Secure Mobile Agent Systems, In Proceedings of the 6th KES International Conference on Agent and Multi-Agent Systems. Technologies and Applications (KES-AMSTA), Springer, volume 7327, 2012. [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