International Conferences Papers
|
[1]
|
Monia BEN BRAHIM and Maher BEN JEMAA and Mohamed JMAIEL.
Security Mapping To Enhance Matching Fine-Grained Security
Policies.
In Proceedings of the Second International Conference on
Networked Digital Technologies (NDT 2010), Communications in Computer and
Information Science, pages 183-196, Prague, Czech Republic, July 2010.
Springer.
[ BibTeX |
DOI ]
|
|
[2]
|
Nesrine OULED ABDALLAH, Hatem HADJ KACEM, Mohamed MOSBAH, and Akka ZEMMARI.
Broadcast in wireless mobile sensor networks with population
protocols and extension with the rendezvous model.
In the 10th Annual International Conference on New Technologies
of Distributed Systems - Notere 2010, Tozeur - Tunisia, june 2010.
[ BibTeX ]
|
|
[3]
|
Zeineb Graja, Amira Regayeg, and Ahmed Hadj Kacem.
Formaad: Towards A Model Driven Approach For Agent
Based Application Design.
In International Workshop on Agent Oriented Software Engineering
(AOSE), Toronto, Canada, May 2010.
[ BibTeX ]
|
|
[4]
|
Sihem Loukil, Slim Kallel, Bechir Zalila, and Mohamed Jmaiel.
Aspect Oriented ADL for Embedded Systems.
In the 4th European Conference on Software Architecture -
ECSA'2010, Research Challenge Paper, Copenhagen - Denmark, August 2010.
[ BibTeX ]
|
|
[5]
|
Sihem Loukil, Slim Kallel, Bechir Zalila, and Mohamed Jmaiel.
AO4AADL: an Aspect Oriented ADL for Embedded Systems.
In the 10th Annual International Conference on New Technologies
of Distributed Systems - Notere 2010, a Demonstration Paper, Tozeur -
Tunisia, June 2010.
[ BibTeX ]
|
|
[6]
|
Fatma Krichen, Brahim Hamid, Bechir Zalila, and Bernard Coulette.
Designing Dynamic Reconfiguration for Distributed Real Time Embedded
Systems.
In the 10th Annual International Conference on New Technologies
of Distributed Systems - Notere 2010, Tozeur - Tunisia, june 2010.
[ BibTeX ]
|
|
[7]
|
Hatem Awadi and Mouna Torjmen.
Exploitation des liens pour la recherche d'images dans des documents
xml.
In Proceedings of the 7th French Information Retrieval
Conference CORIA 2010 - COnférence en Recherche d'Infomations et
Applications, Sousse, Tunisia, March 18-20 2010.
[ BibTeX ]
|
|
[8]
|
E. FKI, C. SOULE DUPUY, S. TAZI, and M. JMAIEL.
Intention Driven Service Composition With Service Patterns.
In 12th International Conference on Enterprise Information
Systems (ICEIS 2010), pages 236-241, Funchal, Madeira (Portugal), 2010.
[ BibTeX ]
|
|
[9]
|
Kaouthar FAKHFAKH, Tarak CHAARI, Ikbel GUIDARA, and Saïd TAZI.
A demonstration paper. ODACE SLA : An efficient tool for the
automatic SLA Establishment between service clients and providers.
In the 10th Annual International Conference on New Technologies
of Distributed Systems - Notere 2010, 2010.
[ BibTeX ]
|
|
[10]
|
Kaouthar Fakhfakh, Said Tazi, Khalil Drira, Tarak Chaari, and Mohamed Jmaiel.
Implementing and Testing a Semantic-Driven Approach Towards a Better
Comprehension Between Service Consumers and Providers.
In AINA Workshops, pages 183-188. IEEE Computer Society, 2010.
[ BibTeX |
DOI ]
|
|
[11]
|
Kaouthar Fakhfakh, Said Tazi, Khalil Drira, Tarak Chaari, and Mohamed Jmaiel.
Enhancing Client Intentions Analysis for Service Level Agreements
Establishment Assistance.
In First International Conference on Models and Ontology-based
Design of Protocols, Architectures and Services. IEEE Computer Society,
2010.
[ BibTeX ]
|
|
[12]
|
Najla Hadj Kacem, Ahmed Hadj Kacem, and Khalil Drira.
Orchestrating Safe Behavioural Adaptations of Component-based
Systems.
In Proceedings of the 6th International Conference on Autonomic
and Autonomous Systems, pages 37-46. IEEE Computer Society, 2010.
[ BibTeX |
DOI ]
|
|
[13]
|
E. FKI, S. TAZI, and C. SOULE DUPUY.
Towards a User Intention Aware Service Composition.
In 10th annual international conference on New Technologies of
Distributed Systems (NOTERE'10), Tozeur (Tunisia), 2010.
113-120.
[ BibTeX ]
|
|
[14]
|
I. BOUASSIDA, J. LACOUTURE, and K. DRIRA.
Semantic driven self-adaptation of communications applied to ercms.
In The 24th IEEE International Conference on Advanced
Information Networking and Applications (AINA 2010), pages 1292-1299, Perth
(Australia), 2010 Avril.
[ BibTeX |
DOI ]
|
|
[15]
|
K. DRIRA and I. BOUASSIDA.
A demonstration of an efficient tool for graph matching and
transformation.
In 10ème Conférence Internationale Francophone sur
l'Extraction et la Gestion des Connaissances (EGC 2010), pages 71-73,
Hammamet (Tunisie), 2010.
[ BibTeX ]
|
|
[16]
|
G. SANCHO, I. BOUASSIDA, T. VILLEMUR, and TAZI.
What about collaboration in ubiquitous environments.
In 10th annual international conference on New Technologies of
Distributed Systems (NOTERE'10), Tozeur (Tunisia), 2010.
143-150.
[ BibTeX ]
|
|
[17]
|
I. BOUASSIDA, C. CHASSOT, and M. JMAIEL.
Graph grammar-based transformation for context-aware architectures
supporting group communication.
In 4ème Conférence francophone sur les Architectures
Logicielles, pages 29-42, Pau (FRANCE), 2010.
[ BibTeX ]
|
|
[18]
|
Mohamed Nadhmi Miladi, Fatma Krichen, Mohamed Jmaiel, and Khalil Drira.
A UML based deployment and management modeling for cooperative and
distributed applications.
In Proceedings of the 8th ACIS International Conference on
Software Engineering Research, Management & Applications (SERA 2010),
Studies in Computational Intelligence, pages 87-101, Monreal, Canada, May
2010. Springer.
[ BibTeX ]
|
|
[19]
|
Fatma Krichen.
Position paper: Advances in Reconfigurable Distributed Real Time
Embedded Systems.
In International workshop on Distributed Architecture modeling
for Novel component based Embedded systems (DANCE 2010), Tozeur, Tunisie,
May 2010. IEEE Computer Society.
[ BibTeX ]
|
|
[20]
|
Fatma Krichen, Brahim Hamid, Bechir Zalila, and Bernard Coulette.
Designing Dynamic Reconfiguration of Distributed Real Time Embedded
Systems.
In Proceedings of the 10th annual international conference on
New Technologies of Distributed Systems (NOTERE), Tozeur, Tunisie, June
2010. IEEE Computer Society.
[ BibTeX ]
|
|
[21]
|
Nouha Baccour, Anis Koubaa, Habib Youssef, Maissa Ben Jamaa, Denis
do Rosário, , Mario Alves, and Leandro B.Becker.
F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks.
In 7th European Conference on Wireless Sensor Networks (EWSN
2010), LNCS 5970, pages 240-255, Coimbra, Portugal, February 2010.
Springer.
[ BibTeX ]
|
|
[22]
|
H. Aloulou, M.Loulou, S. Kallel, and A. Hadj Kacem.
RDyMASS: Reliable and dynamic enforcement of security policies for
mobile agent systems.
In International workshop on autonomous and spontaneous security
(SETOP 2009) at the 14th European Symposium on Research in Computer Security
(ESORICS 2009), volume LNCS 5939, pages 237-252, Berlin Heidelberg, 2010.
Springer-Verlag.
[ BibTeX ]
|
|
[23]
|
M. N. Miladi, I. Krichen, M. Jmaiel, and K. Drira.
An xADL Extension for Managing Dynamic Deployment in Distributed
Service Oriented Architectures.
In F. Arbab and M. Sirjani, editors, FSEN, volume 5961 of
Lecture Notes in Computer Science, pages 439-446. Springer, 2009.
[ BibTeX |
DOI ]
|
|
[24]
|
Nouha Baccour, Anis Koubaa, Maissa Ben Jamaa, Habib Youssef, Marco Zuniga, and
Mario Alves.
A Comparative Simulation Study of Link Quality Estimators in
Wireless Sensor Networks.
In 17th Annual Meeting of the IEEE/ACM International Symposium
on Modelling, Analysis and Simulation of Computer and Telecommunication
Systems (MASCOTS'09), pages 301-310, Imperial College London, September
2009. IEEE Computer Society.
[ BibTeX ]
|
|
[25]
|
Soumaya Marzouk, Afef Jmal Maâlej, Ismael Bouassida Rodriguez, and Mohamed
Jmaiel.
Periodic Checkpointing for Strong Mobility of Orchestrated Web
Services.
volume 0, pages 203-210, Los Alamitos, CA, USA, 2009. IEEE Computer
Society.
[ BibTeX |
DOI ]
|
|
[26]
|
I. Loulou, I. Tounsi, M. Hadj-Kacem, A. Hadj-Kacem, and M. Jmaiel.
A formal architecture-centric approach for safe self-repair.
In In Second International Conference on Web and Information
Technologies (ICWIT'09), Kerkennah Island, Sfax, Tunisia, June 2009.
[ BibTeX |
PDF ]
|
|
[27]
|
I. Loulou, I. Tounsi, M. Hadj-Kacem, A. Hadj-Kacem, and M. Jmaiel.
Making sound policies for self-healing systems.
In 9ème Conférence Internationale sur les Nouvelles
Technologies de lREpartition (NOTERE'09), pages 178-185, Montreal - Canada,
July 2009.
[ BibTeX |
PDF ]
|
|
[28]
|
S. Kallel, A. Charfi, M. Mezini, M. Jmaiel, and K. Klose.
From Formal Access Control Policies to Runtime Enforcement Aspects.
In F. AMassacci, S. Redwine, and N. Zannone, editors,
Proceedings of the 1st International Symposium on Engineering Secure Software
and Systems (ESSoS), volume 5429 of Lecture Notes on Computer Science,
pages 16-31, Leuven, Belguim, Fevrier 2009. Springer.
[ BibTeX |
DOI ]
|
|
[29]
|
M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel.
Fault tolerant distributed algorithms for mobile agents.
In 9ème Conférence Internationale sur les Nouvelles
Technologies de REpartition (NOTERE'09), pages 108-117, Montreal - Canada,
July 2009.
[ BibTeX |
PDF ]
|
|
[30]
|
S. Kallel, A. Charfi, T. Dinkelaker, M. Mezini, and M. Jmaiel.
Specifying and monitoring temporal properties in web services
compositions.
In Proceedings of the 7th IEEE European Conference on Web
Services (ECOWS), pages 148-157, Eindhoven, The Netherland, November 2009.
IEEE computer society.
[ BibTeX |
DOI ]
|
|
[31]
|
M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel.
A distributed computational model for mobile agents.
In A. Ghose, G. Governatori, and R. Sadananda, editors,
Proceedings of the 10th International Conference on Principals of Practice in
Multi-Agent Systems PRIMA 2007, volume 5044 of Lecture Notes in
Artificial Intelligence, pages 416-421. Springer, 2009.
[ BibTeX |
DOI ]
|
|
[32]
|
I. Bouassida, K. Drira, Ch. Chassot, and M. Jmaiel.
A model-based multi-level architectural reconfiguration applied to
adaptability management in context-aware cooperative communication support
systems.
In Joint Working IEEE/IFIP Conference on Software Architecture
2009 and European Conference on Software Architecture, Cambridge (UK), 2009.
[ BibTeX ]
|
|
[33]
|
A. Chaabane and M. Jmaiel.
A secure content-based publish/subscribe middleware.
In Third International Conference on Information Technology: New
Generations, pages 619-622, Los Alamitos, CA, USA, 2009. IEEE Computer
Society.
[ BibTeX |
DOI ]
|
|
[34]
|
A. Chaabane and M. Jmaiel.
Security aware content-based publish/subscribe system.
In Proceedings of the 14th IEEE Symposium on Computers and
Communications (ISCC 2009), pages 538-543, Sousse, Tunisia, 2009. IEEE
Computer Society.
[ BibTeX |
DOI ]
|
|
[35]
|
M. Ben-Abderrahmen, B. Gargouri, and M. Jmaiel.
Lmf-ql: A graphical tool to query lmf databases for nlp and editorial
use.
In Z. Vetulani and H. Uszkoreit, editors, Proceedings of the 4th
Language & Technology Conference LTC 2007, volume 5603 of Lecture
Notes in Artificial Intelligence, page 279–290. Springer, 2009.
[ BibTeX |
DOI ]
|
|
[36]
|
R. Ben-Halima, E. Fki, M. Jmaiel, and K. Drira.
Experiments results and large scale measurement data for web services
performance assessment.
In Proceedings of the 14th IEEE Symposium on Computers and
Communications (ISCC 2009), pages 83-88, Sousse, Tunisia, July 2009. IEEE
Computer Society.
[ BibTeX |
DOI ]
|
|
[37]
|
M. Ben Jemaa, I. Daly, W. Mansouri, and L. Kamoun.
Portability of an IEEE 802.11s standard open source implementation
on the XOs.
In the first International Conference on Communications and
Networking (ComNet'09), Hammamet - Tunisia, 2009.
[ BibTeX ]
|
|
[38]
|
I. Belaid, F. Muller, and M. Ben Jemaa.
Off-line Placement of Reconfigurable Zones and off-line Mapping of
Harware Tasks on FPGA.
In Conference on Design and Architectures for Signal and Image
Processing (DASIP2009), Sophia Antipolis - France, 2009.
[ BibTeX ]
|
|
[39]
|
I. Belaid, F. Muller, and M. Ben Jemaa.
Off-Line Placement of Hardware Tasks on FPGA .
In IEEE 19th International Conference on Field Programmable
Logic and Applications (FPL), Czech republic, 2009.
[ BibTeX ]
|
|
[40]
|
O. Nabuco, R. Ben Halima, K. Drira, M. G. Fugini, S. Modafferi, and E. Mussi.
Model-Based QoS-Enabled Self-Healing Web Services.
In DEXA '08: Proceedings of the 2008 19th International
Conference on Database and Expert Systems Application, pages 711-715,
Washington, DC, USA, 2008. IEEE Computer Society.
[ BibTeX |
DOI ]
|
|
[41]
|
Renê Pegoraro, Riadh Ben Halima, Khalil Drira, Karim Guennoun, and
João Maurício Rosário.
A framework for monitoring and runtime recovery of web service-based
applications.
In 10th International Conference on Enterprise Information
Systems (ICEIS 2008), pages 201-206, Barcelone (Espagne), 2008.
[ BibTeX |
PDF ]
|
|
[42]
|
S. Marzouk and M. Jmaiel.
Towards Making WSRF Based Web Services Strongly Mobile.
In Proceedings of the 17th IEEE International Workshops on
Enabling Technologies: Infrastructure for Collaborative Enterprises
(WETICE'08), pages 339-344, Rome, Italy, 23-25 June 2008. IEEE Computer
Society.
[ BibTeX |
DOI ]
|
|
[43]
|
M. N. Miledi, M. Hadj-Kacem, A. Boukhriss, M. Jmaiel, and K. Drira.
A UML rule-based approach for describing and checking dynamic
software architectures.
In Proceedings of the 8th ACS/IEEE International Conference on
Computer Systems and Applications (AICCSA'08), Doha, Qatar, April 2008.
[ BibTeX |
DOI ]
|
|
[44]
|
R. Ben-Halima, K. Guennoun, K. Drira, and M. Jmaiel.
Non-intrusive QoS monitoring and analysis for self-healing Web
services.
In Proceedings of the first IEEE International Conference on the
Applications of Digital Information and Web Technologies (ICADIWT'08),
Ostrava, Czech Republic, August 2008. IEEE Computer Society.
[ BibTeX |
DOI ]
|
|
[45]
|
R. Ben-Halima, M. Jmaiel, and K. Drira.
A QoS-oriented reconfigurable middleware for self-healing Web
services.
In Proceedings of the IEEE International Conference on Web
Services (ICWS'08), Beijing, China, September 2008. IEEE Computer Society.
[ BibTeX |
DOI ]
|
|
[46]
|
I. Bouassida, K. Drira, Ch. Chassot, and M. Jmaiel.
Multi-layer coordinated adaptation based on graph refinement for
cooperative activities.
In Army L. Murphy and Jan Vitek, editors, Proceedings of the 4th
International Conference on Self-organization and Adaptation of Computing and
Communications (SSCC'2008), volume 4904 of System and Information
Sciences Notes, pages 286-291, Glasgow, UK, July 2008. Springer.
[ BibTeX |
DOI ]
|
|
[47]
|
I. Bouassida, K. Guennoun, K. Drira, Ch. Chassot, and M. Jmaiel.
Implementing a rule-driven approach for architectural self
configuration in collaborative activities using a graph rewriting formalism.
In CSTST '08: Proceedings of the 5th international conference on
Soft computing as transdisciplinary science and technology, pages 484-491,
New York, NY, USA, 2008. ACM.
[ BibTeX |
DOI ]
|
|
[48]
|
M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel.
Proving Distributed Algorithms for Mobile Agents: Examples of
Spanning Tree Computation in Anonymous Networks.
In Army L. Murphy and Jan Vitek, editors, Proceedings of the 9th
International Conference on Distributed Computing and Networking ICDCN'2008,
volume 4904 of Lecture Notes in Computer Sciences, pages 286-291,
Kolkata, India, January 2008. Springer.
[ BibTeX |
DOI ]
|
|
[49]
|
M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel.
Electing a Leader in the Local Computation Model Using Mobile
Agents.
In Proceedings of the 8th ACS/IEEE International Conference on
Computer Systems and Applications (AICCSA'08), Doha, Qatar, April 2008.
[ BibTeX |
DOI ]
|
|
[50]
|
N. Hadj-Kacem, A. Hadj-Kacem, M. Jmaiel, and K. Drira.
Towards modelling and analysis of a coordination protocol for dynamic
software adaptation.
In CSTST '08: Proceedings of the 5th international conference on
Soft computing as transdisciplinary science and technology, pages 499-507,
New York, NY, USA, 2008. ACM.
[ BibTeX |
DOI ]
|
|
[51]
|
M. Ben-Brahim, M. Ben-Jemaa, and M. Jmaiel.
Improving java card grid dependability with fault prevention and
fault tolerance.
In Proceedings of the 1st International Conference in Embedded
Systems and Critical Applications, Tunis, Tunisia, May 2008.
[ BibTeX |
PDF ]
|
|
[52]
|
Kaouthar Fakhfakh, Tarak Chaari, Sa? Tazi, Khalil Drira, and Mohamed Jmaiel.
Modélisation et monitoring des contrats de qualité de services en
utilisant les ontologies.
volume 0, 2008.
[ BibTeX |
PDF ]
|
|
[53]
|
Siwar Khelifi, Hatem Hadj kacem, and Ahmed Hadj kacem.
Specification and verification of the structural and behavioural
properties of publish/subscribe architectures.
In Second International Workshop on Verification and Evaluation
of Computer and Communication Systems (VECoS 2008),, 2008.
[ BibTeX |
PDF ]
|
|
[54]
|
S. Ghorbel, M. Ben Jemaa, and M. Chtourou.
SVM synthesis by hierarchical structures of learning automata
application for handwritten digits recognition .
In IEEE International Multi-Conference on Systems, Signals and
Devices (SSD2008), Amman - Jordan, 2008.
[ BibTeX ]
|
|
[55]
|
Nouha Baccour, Heni Kaaniche, Mohamed Chtourou, and Maher Ben Jemaa.
F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks.
In International Multi-Conference on Systems, Signals and
Devices (SSD 2007), Hammamet, Tunisia, March 2007.
[ BibTeX ]
|
|
[56]
|
K. Fakhfakh, H. Kheddouci, and H.Seba.
Outils pour le passage à l’échelle dans la composition des
protocoles métier.
volume 0, 2007.
[ BibTeX |
PDF ]
|
|
[57]
|
I. Loulou, A. Hadj-Kacem, M. Jmaiel, and K. Drira.
Formal Design of Structural and Dynamic Features of
Publish/Subscribe Architectural Styles.
In In ECSA'07 The First European Conference on Software
Architecture, volume 4758 of Lecture Notes in Computer Science, pages
44-59, Madrid - Spain, September 2007. Springer-Verlag.
[ BibTeX |
DOI ]
|
|
[58]
|
I. Loulou, A. Hadj-Kacem, M. Jmaiel, and K. Drira.
Consistent Reconfiguration for Publish/Subscribe Architecture
Styles.
In In proceedings of the 1st International Workshop on
Verification and Evaluation of Computer and Communication Systems, Algiers,
Algeria, May 2007. Electronic Workshops in Computing EWIC Series, The British
Computer Society.
[ BibTeX |
DOI ]
|
|
[59]
|
M. Loulou, M. Tounsi, A. Hadj-Kacem, M. Jmaiel, and M. Mosbah.
A formal approach to prevent attacks on mobile agent systems.
In Proceedings of the International Conference on Emerging
Security Information, Systems and Technologies, pages 42-47, Valencia,
Spain, 2007. IEEE Computer Society.
[ BibTeX |
DOI ]
|
|
[60]
|
S. Marzouk, M. Ben-Jemaa, and M. Jmaiel.
A Serialisation Based Approach for Processes Strong Mobility.
In Jadwiga Indulska and Kerry Raymond, editors, Proceedings of
the 7th IFIP International Conference on Distributed Applications and
Interoperable Systems (Dais), volume 4531 of Lecture Notes in Computer
Sciences, pages 153-166, Paphos, Cyprus, June 2007. Springer.
[ BibTeX |
DOI ]
|
|
[61]
|
S. Marzouk, M. Ben-Jemaa, and M. Jmaiel.
A Serialisation Based Approach for Strong Mobility of Shared
Object.
In Proceedings of the 1st International Workshop on Java for
Mobility (Ja4Mo 07) as part of the International Conf. on Principles and
Practices of Programming In Java (PPPJ 2007), pages 237-242, Lisbon,
Portugal, September 2007. ACM.
[ BibTeX |
DOI ]
|
|
[62]
|
M. N. Miladi, M. Jmaiel, and M. Hadj-Kacem.
An UML Profile and a FUJABA PlugIn for modelling dynamic software
architectures.
In Proceedings of the Workshop on Model-Driven Software
Evolution MoDSE2007, number 4. European Conference on Software Maintenance
and Reengineering, CSMR2007, IEEE, March 2007.
[ BibTeX |
DOI ]
|
|
[63]
|
M. Sellami and M. Jmaiel.
A Secured Service-Oriented Architecture for E-government in
Tunisia.
In Proceedings of the eGovernment Interoperability Campus 2007
Conference (eGovINTEROP'07), Paris, France, October 2007.
[ BibTeX |
PDF ]
|
|
[64]
|
S. Kallel, A. Charfi, and M. Jmaiel.
Using Aspects for Enforcing Formal Architectural Invariants.
In Markus Lumpe and Eric Madelaine, editors, Proceedings of the
4th International Workshop on Formal Aspect of Component Software (FACS),
pages 1-15, Sophia-Antipolis,Nice, France, Semptember 2007. ENTCS, Elsevier.
[ BibTeX |
DOI ]
|
|
[65]
|
S. Kallel, A. Charfi, M. Mezini, and M. Jmaiel.
Combining Formal Methods and Aspects for Specifying and Enforcing
Architectural Invariants.
In Army L. Murphy and Jan Vitek, editors, Proceedings of the 9th
International Conference on Coordination Models and Languages
(Coordination), volume 4467 of Lecture Notes in Computer Sciences,
pages 211-230, Paphos, Cyprus, June 2007. Springer.
[ BibTeX |
DOI ]
|
|
[66]
|
M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel.
A Distributed Computational Model for Mobile Agents.
In Proceedings of the Pacific Rim International WorkShop On
Multi-Agents, Lecture Notes in Computer Science. Springer-Verlag, 2007.
[ BibTeX |
DOI ]
|
|
[67]
|
M. Ben-Abderrahmen, B. Gargouri, and M. Jmaiel.
LMF-QL: A Graphical Tool to Query LMF databases.
In Zygmut Vetulani, editor, Proc. of the 3rd Language &
Technology Conference: Human Language Technologies as a Challenge for
Computer Science and Linguistics, pages 300-304, Poznan, Poland, October
2007. Wydawnictwp Poznanskie.
[ BibTeX |
DOI ]
|
|
[68]
|
R. Ben-Halima, M. Jmaiel, and K. Drira.
Une approche orientée règle pour la spécification
formelle des architectures dynamiquement configurables.
In Actes de la 7ème Conférence Internationale sur les
NOuvelles TEchnologies de la REpartition NOTERE 2007, pages 405-412,
Marrakech, Maroc, June 2007.
[ BibTeX |
PDF ]
|
|
[69]
|
R. Ben-Halima, M. Jmaiel, and K. Drira.
A qos-driven reconfiguration management system extending web services
with self-healing properties.
In Proceeding of the 16th IEEE International Workshops on
Enabling Technologies: Infrastructures for Collaborative Enterprises WETICE;
In Workshop on Information Systems & Web Services ISWS, pages 339-344,
Paris, France, 18-20 June 2007. IEEE Computer Society.
[ BibTeX |
DOI ]
|
|
[70]
|
Luaî Jaff, Gérard H. E. Duchamp, Hatem Hadj kacem, and Cyrille Bertelle.
Moderate growth time series dynamic combinatorics modelisation.
In International Conference on Economics, Law and Management
ICELM2, Tirgu-Mures. Romania, 2007.
[ BibTeX |
PDF ]
|
|
[71]
|
A. Ben Abdallah, O. Cheikhrouhou, M. Laurent-Maknavicius, H. Chaouchi, and
M. Ben Jemaa.
Architecture de sécurité dans un réseau mesh multi sauts.
In 8ème Colloque Francophone de Gestion de REseaux et de
Services, (GRES2007), Hammamet -Tunisie, 2007.
[ BibTeX ]
|
|
[72]
|
I. Smaoui, M. Ben Jemaa, and A. Koubaa.
QOS-PCF: an enhanced mechanism of PCF for QOS support in IEEE 802.11
wireless LANS.
In IASTED European Conference on Proceedings of the IASTED
European Conference: internet and multimedia systems and applications, pages
106-110, Chamonix - France, 2007.
[ BibTeX ]
|
|
[73]
|
F. Ghaffari, M. Auguin, M. Abid, and M. Ben Jemaa.
Dynamic and On-line Design Space Explora¬tion for Reconfigurable
Architecture .
In Transac¬tions on HiPEAC I, Lecture Notes in Computer
Sciences 4050, pages 179-193, Springer-Verlag berlin Heidelberg, 2007.
[ BibTeX ]
|
|
[74]
|
Hakima Kadri, Rawan Ghnemat, Hatem Hadj kacem, Cyrille Bertelle, and Gérard
H. E. Duchamp.
Emerging decision support system for geographical information
systems.
In International Conference on Economics, Law and Management
ICELM2, Tirgu-Mures. Romania, 2006.
[ BibTeX |
PDF ]
|
|
[75]
|
M. Hadj-Kacem, A. Hadj-Kacem, M. Jmaiel, and K. Drira.
An uml-based approach for validation of software architecture
descriptions.
In Dirk Draheim and Gerald Weber, editors, Trends in Enterprise
Application Architecture, 2nd International Conference, TEAA 2006, Berlin,
Germany, November 29 - December 1, 2006, Revised Selected Papers, volume
4473 of Lecture Notes in Computer Science, pages 158-171. Springer,
2006.
[ BibTeX |
DOI ]
|
|
[76]
|
M. Hadj-Kacem, A. Hadj-Kacem, M. Jmaiel, and K. Drira.
Describing dynamic software architecture using an extended UML
model.
In Hisham Haddad, Richard Chbeir, Sascha Ossowski, Roger Wainwright,
Lorie Liebrock, Mathew Palakal, Kokou Yetongnon, and Christophe Nicolle,
editors, Proceeding of the 2006 ACM Symposium on Applied Computing :
Session track Model Transformation, Applied Computing, pages 1245-1249,
Dijon, France, April 2006. ACM SIGAPP, ACM.
[ BibTeX |
DOI ]
|
|
[77]
|
I.Loulou, A.Hahj-Kacem, M.Jmaiel, and K.Drira.
Compositional specification of event-based software architectural
styles.
In The 4th ACS/IEEE International Conference on Computer Systems
and Applications (AICCSA'06), Dubai/Sharjah, UAE, March 2006.
[ BibTeX |
DOI ]
|
|
[78]
|
S. Khemakhem, K. Drira, and M. Jmaiel.
SEC : A search engine for component based software engineering.
In Hisham Haddad, Richard Chbeir, Sascha Ossowski, Roger Wainwright,
Lorie Liebrock, Mathew Palakal, Kokou Yetongnon, and Christophe Nicolle,
editors, Proceeding of the 2006 ACM Symposium on Applied Computing :
Session track Software Engineering, Applied Computing, pages 1745-1750,
Dijon, France, April 2006. ACM SIGAPP, ACM.
[ BibTeX |
DOI ]
|
|
[79]
|
I. Loulou, A. Hadj-Kacem, M. Jmaiel, and K. Drira.
A formally specified framework for elaborating event-based
architectural styles correct by design.
In Proceedings of the eigth Maghrebian Conference on Software
Engineering and Artificial Intelligence (MCSEAI'06), pages 132-138, Agadir,
Morocco, December 2006.
[ BibTeX |
PDF ]
|
|
[80]
|
M. Loulou, A. Hadj-Kacem, M. Jmaiel, and M. Mosbah.
A conceptual model for secure mobile agent systems.
In In Proceedings of the IEEE International Conference on
Computational Intelligence and Security (CIS'2006), Bejing, China, 3-6
November 2006.
[ BibTeX |
DOI ]
|
|
[81]
|
M. Ben-Abderrahmen, F. Chaâri, B. Gargouri, and M. Jmaiel.
Des services orientés besoin pour l'exploitation des bases
lexicales normalisées.
In Proceedings of the eigth Maghrebian Conference on Software
Engineering and Artificial Intelligence (MCSEAI'06), pages 451-456, Agadir,
Morocco, December 2006.
[ BibTeX |
PDF ]
|
|
[82]
|
O. Cheikhrouhou, M. Laurent-Maknavicius, and M. Ben Jemaa.
Nouvelle méthode d'authentification EAP-EHash .
In 12ème Colloque Francophone sur l'Ingénierie des Protocoles
CFIP'2006, Hermès Science et Publication, ISBN 978-2-7462-1587-0, Tozeur -
Tunisie, 2006.
[ BibTeX ]
|
|
[83]
|
M.A. Ben Ayed, A. Samet, S. Marzouk, N. Souissi, M. Ben Jemaa, and N. Masmoudi.
New variable block size motion estimation algorithm for H264/AVC.
In Second International Symposium on Communications, Control and
Signal Processing (ISCCSP 2006), Marrakech - Morocco, 2006.
[ BibTeX ]
|
|
[84]
|
A. Ben Jemaa, M. Ben Jemaa, and Y. Ben Jemaa.
Optimization of fractal image compression with genetic algorithms.
In Second International Symposium on Communications, Control and
Signal Processing (ISCCSP 2006), Marrakech - Morocco, 2006.
[ BibTeX ]
|
|
[85]
|
M. Ben Jemaa, F. Bouzid, and S. Ghribi.
Conception d'un Logiciel de Localisation d'un mobile.
In Workshop avec école intégrée Méthodologies et
Heuristiques pour l'Optimisation des Systèmes Industriels MHOSI'2005),
Marrakech - Morocco, 2006.
[ BibTeX ]
|
|
[86]
|
M. Loulou, A. Hadj-Kacem, and M. Jmaiel.
A formal model for mobile agent systems using Z.
In The 3rd ACS/IEEE International Conference on Computer Systems
and Applications (AICCSA'05), Cairo, Egypt, January 2005.
[ BibTeX |
DOI ]
|
|
[87]
|
A. Regayeg, A. Hadj-Kacem, and M. Jmaiel.
Towards a formal methodology for designing multi-agent applications.
In T. Eymann, F. Klügl, W. Lamersdorf, M. Klusch, and M.N. Huhns,
editors, Proceedings of Third German Conference on Multi-Agent
Technologis MATES 2005, volume 3550 of Lecture Notes in Artificial
Intelligence, pages 153-164. Springer, 2005.
[ BibTeX |
DOI ]
|
|
[88]
|
A. Regayeg, A. Hadj-Kacem, and M. Jmaiel.
Towards a formal methodology for developing multi-agent applications
using temporal Z.
In The 3rd ACS/IEEE International Conference on Computer Systems
and Applications (AICCSA'05), Cairo, Egypt, January 2005.
[ BibTeX |
DOI ]
|
|
[89]
|
R. Ben-Halima, M. Jmaiel, and K. Drira.
A simulation based process for the construction of correct models.
In Proceedings of the International Conference on Conceptual
Modeling and Simulation (CMS2005), Marseilles, France, October 2005.
[ BibTeX |
PDF ]
|
|
[90]
|
R. Ben-Halima, M. Jmaiel, and K. Drira.
Graphical simulation of the dynamic evolution of the software
architectures specified in Z.
In Proceedings of the 8th International Workshop on Principles
of Software Evolution (IWPSE), Lisbon, Portugal, September 2005.
[ BibTeX |
DOI ]
|
|
[91]
|
S. Bouaziz, B. Gargouri, and M. Jmaiel.
Component based lingware development using the EJB model and XML
linguistic interface.
In Proceedings of the L&TC'05, Poland, 2005.
[ BibTeX |
PDF ]
|
|
[92]
|
M. Hadj-Kacem, M. Jmaiel, A. Hadj-Kacem, and K. Drira.
Evaluation and comparison of ADL based approaches for the
description of dynamic software architectures.
In Proceedings of the Seventh International Conference on
Enterprise Information Systems ICEIS'05, pages 189-195, Miami, USA, MAy
2005.
[ BibTeX |
PDF ]
|
|
[93]
|
M. Hadj-Kacem, M. Jmaiel, A. Hadj-Kacem, and K. Drira.
Using UML2.0 and graph grammars for describing the dynamic
software architectures.
In Proceedings of the IEEE International Conference on
Information Technology and Applications ICITA'05, pages 46-51, Sydney,
Australia, July 2005.
[ BibTeX |
DOI ]
|
|
[94]
|
Gérard H. E. Duchamp, Hatem Hadj Kacem, and Eric Laugerotte.
On the decomposition of boolean functions.
In P. Valarcher JF. Michon and JB. Yunès, editors, Boolean
Functions: Cryptography and Applications, BFCA'05, pages 115-127, Rouen,
France, 2005. Publications des universités de Rouen et du Havre.
[ BibTeX |
PDF ]
|
|
[95]
|
I. Ben Brahim and M. Ben Jemaa.
Multicast Routing Protocol for Ad Hoc Networks with a Quality of
Service 'Qos-AODV'.
In 12th IEEE International Conference on Electronics, Circuits
and Systems (ICECS 2005), Gammarth, Tunisia, 2005.
[ BibTeX ]
|
|
[96]
|
Gérard H. E. Duchamp, Hatem Hadj Kacem, and Eric Laugerotte.
Algebraic erasure of letter-transitions.
In Jordan International Conference on Computer Sciences and
Engineering, JICCSE 2004, Al-Salt, Jordan, October (2004).
[ BibTeX |
PDF ]
|
|
[97]
|
I. Loulou, A. Hadj-Kacem, M. Jmaiel, and K. Drira.
Toward a unified graph-based framework for dynamic component-based
architectures descriptionin Z.
In Proceedings of the IEEE/ACS International Conference on
Pervasive Services (ICPS'2004), pages 227-234, Beirut, Lebanon, July 2004.
[ BibTeX |
DOI ]
|
|
[98]
|
I. Loulou, A. Hadj-Kacem, M. Jmaiel, and K. Drira.
Approche formelle intégrée pour la spécification des
architectures dynamiques orientées composants.
In Proceedings of the eigth Maghrebian Conference on Software
Engineering and Artificial Intelligence, pages 125-136, Sousse, Tunisia,
May 2004.
[ BibTeX |
PDF ]
|
|
[99]
|
M. Loulou, A. Hadj-Kacem, and M. Jmaiel.
Formalization of cooperation in mas: Towards a generic conceptual
model.
In C. Lemaître, C.A. Reyes, , and J.A. Gonzalez, editors,
Proceedings of the IX Ibero-American Conference on Artificial Intelligence
(IBERAMIA), volume 3315 of Lecture Notes in Artificial Intelligence,
pages 43-52. Springer, 2004.
[ BibTeX |
DOI ]
|
|
[100]
|
M. Loulou, A. Hadj-Kacem, and M. Jmaiel.
Agent et sma : Modélisation de la coopération et de la
négociation selon la notation z.
In Proceedings of the eigth Maghrebian Conference on Software
Engineering and Artificial Intelligence, pages 85-98, Sousse, Tunisia, May
2004.
[ BibTeX ]
|
|
[101]
|
A. Regayeg, A. Hadj-Kacem, and M. Jmaiel.
Specification and design of multi-agent applications using temporal
z.
In M.W. Barley and N. Kasabov, editors, Proceedings of Pacific
Rim International Workshop on Multi-Agents, volume 3371 of Lecture
Notes in Artificial Intelligence, pages 228-242. Springer, 2004.
[ BibTeX |
DOI ]
|
|
[102]
|
A. Regayeg, A. Hadj-Kacem, and M. Jmaiel.
Specification and verification of multi-agent applications using
temporal Z.
In Proceedings of the IEEE/WIC/ACM International Conference on
Intelligent Agent Technology 2004 (IAT'2004), pages 260-266, Beijing,
China, September 2004.
[ BibTeX |
DOI ]
|
|
[103]
|
R. Ben-Djemaa, M. Jmaiel, and A. Ben-Hamadou.
Vers une méthode centrée-acteur pour la conception des
applications web.
In Proceedings of the eigth Maghrebian Conference on Software
Engineering and Artificial Intelligence, pages 247-260, Sousse, Tunisia,
May 2004.
[ BibTeX |
PDF ]
|
|
[104]
|
A. Jmal, M. Jmaiel, and A. Hadj-Kacem.
Support de communication asynchrone dédié aux agents
distribués.
In Actes des Journées Scientifiques Francophones JSF'03 en
Electronique, Télécommunication et Informatique, pages 301-307,
Tozeur, Tunisie, Décembre 2003.
[ BibTeX |
PDF ]
|
|
[105]
|
B. Bouaziz, B. Gargouri, M. Jmaiel, and A. Ben-Hamadou.
EFLE : An environment for generating lingware systems code
from formal requirements specification.
In Proceedings of the ACS/IEEE International Conference on
Computer Systems and Applications, Tunis, Tunisia, July 2003.
[ BibTeX |
PDF ]
|
|
[106]
|
M. Jmaiel and A. Hadj-Kacem.
An operational semantics for negotiating agents.
In Intelligent Agents and Multi-Agent Systems, volume 2413 of
Lecture Notes in Artificial Intelligence, pages 77-91. Springer, 2002.
[ BibTeX |
DOI ]
|
|
[107]
|
M. Jmaiel, A. Hadj-Kacem, and A. Regayeg.
An operational semantics dedicated to the coordination of cooperating
agents.
In Proceedings of the IEEE International Conference on Systems,
Man and Cybernetics, Hammamet, Tunisia, October 2002.
[ BibTeX |
PDF ]
|
|
[108]
|
K. Drira, M. Diaz, Th. Villemur, M. Jmaiel, A. Ben-Hamadou, and A. Hadj-Kacem.
Cooperative systems for information sharing and exchange.
In Proceedings of 10th IEEE Workshops on Enabling Technologies:
Infrastructre for Collaborative Entreprise8, Messachussets Institute of
Technology, Cambridge, MA, USA, June 2001.
[ BibTeX |
DOI ]
|
|
[109]
|
B. Gargouri, M. Jmaiel, and A. Ben-Hamadou.
An environment for formal specification and verification of lingware.
In L. Monostori and A. Moonis J. Váncza, editors, Engineering
of Intelligent Systems, volume 2070 of Lecture Notes in Artificial
Intelligence, pages 539-545. Springer, 2001.
[ BibTeX |
DOI ]
|
|
[110]
|
A. Hadj-Kacem and M. Jmaiel.
A formal negociation model for cooperating agents.
In Proceedings of the AAAI Workshop on Negotiation Methods for
Autonomous Cooperative Systems, North Falmouth, Massachusetts, USA, November
2001.
[ BibTeX |
DOI ]
|
|
[111]
|
M. Jmaiel and A. Hadj-Kacem.
A formal definition of cooperation and agency among multi-agent
systems.
In Proceedings of the International Conference on Artificial and
Computational Intelligence for Decision, Control and Automation in
Engineering and Industrial Applications, Monastir, Tunisia, March 2000.
[ BibTeX |
PDF ]
|
|
[112]
|
M. Jmaiel.
A unified algebraic framework for specifying communication protocols.
In Proceedings of the 3rd IEEE International Conference on
Formal Engineering Methods, pages 57-67, York, England, September 2000.
Chapman and Hall.
[ BibTeX |
DOI ]
|
|
[113]
|
B. Gargouri, M. Jmaiel, and A. Ben-Hamadou.
Using a formal approach to evaluate grammars.
In Proceedings of Second International Conference on Language
Resources and Evaluation (LREC'2000), 31 May - 02 June 2000.
[ BibTeX ]
|
|
[114]
|
A. Hadj-Kacem and M. Jmaiel.
Towards a formal definition of the cooperation among multi-agent
systems.
In Proceedings of the first IFAC Workshop on Multi-Agent-Systems
in production, Vienna, Austria, December 1999.
[ BibTeX ]
|
|
[115]
|
B. Gargouri, M. Jmaiel, and A. Ben-Hamadou.
A formal approach to lingware development.
In F. Imam, Y. Kodratoff, A. El-Dessouki, and A. Moonis, editors,
Industrial and Engineering Applications of Artificial Intelligence and
Expert Systems, volume 1611 of Lecture Notes in Computer Science,
pages 859-868. Springer, 1999.
[ BibTeX |
DOI ]
|
|
[116]
|
B. Gargouri, M. Jmaiel, and A. Ben-Hamadou.
Vers l'utilisation des méthodes formelles pour le développement
de linguiciels.
In Proceedings of the 36th Annual Meeting of the Association for
Computational Linguistics and 17th International Conference on Computational
Linguistics COLING/ACL, pages 438-443, Montréal, Québec, CANADA, Aug.
1998. Morgan Kaufmann Publishers.
[ BibTeX |
DOI ]
|
|
[117]
|
B. Gargouri, M. Jmaiel, and A. Ben-Hamadou.
Intérêts des méthodes formelles en génie linguistique.
In Proceedings of the TALN98, Paris, France, Juin 1998.
[ BibTeX ]
|
|
[118]
|
N. Fourati, A. Ben-Hamadou, and M. Jmaiel.
RSOO : Une représentation sémantique orientée
Objets de requêtes en langage naturel.
In Proceedings of the International conference on Natural
Language Processing and Industrial Applications; NLP+IA 98, Moncton,
New-Brunswick, CANADA, Aug 1998.
[ BibTeX ]
|
|
[119]
|
W. Chainbi, M. Jmaiel, and A. Ben-Hamadou.
Conception, behavioral semantics and formal specification of
multi-agent systems.
In C. Zhang and D. Lukose, editors, Proceedings of the 4th
Australian Workshop on Distributed Artificial Intelligence on Multi-Agent
Systems : Theories, Languages, and Applications (DAI-98), volume 1544 of
Lecture Notes in Artificial Intelligence, pages 16-28. Springer, 1998.
[ BibTeX |
DOI ]
|
|
[120]
|
W. Chainbi, M. Jmaiel, and A. Ben-Hamadou.
A new approach to the conception and the behavioral semantics of a
multi-agent system.
In Proceedings of the 2nd IEEE International Conference on
Intelligent Processing Systems -ICIPS'98, Goald Coast, Queensland,
Australia, Aug. 1998.
[ BibTeX ]
|
|
[121]
|
W. Chainbi, M. Jmaiel, and A. Ben-Hamadou.
Multi-agent systems : from conception to behavioral semantics.
In Proceeding of the IEEE International Conference on
Intelligent Engineering Systems - INES'98, Vienna, Austria, Sep. 1998.
[ BibTeX ]
|
|
[122]
|
W. Chainbi, M. Jmaiel, and A. Ben-Hamadou.
A new approach to the conception and the behavioral semantics of a
multi-agent system.
In Proceedings of the fifth Maghrebian Conference on Software
Engineering and Artificial Intelligence MCSEAI'98, Tunis, Tunisia, Dec.
1998.
[ BibTeX ]
|
|
[123]
|
M. Jmaiel.
A methodology for developing communication protocols.
In Proceedings of the first workshop on many facets of
processes, Tunis, Tunisia, Sep. 1997.
[ BibTeX ]
|
|
[124]
|
M. Jmaiel.
An algebraic-temporal specification of a csma/cd-protocol.
In Proceedings of the IFIP WG 6.1 Fifteenth International
Symposium on Protocol Specification, Testing and Verification, Warsaw,
Poland, June 1995. Chapman and Hall.
[ BibTeX ]
|
|
[125]
|
M. Jmaiel.
Development of communication protocols by composing and refining
temporal specifications.
In Proceedings of the 4th Software Quality Conference.
University of Abertay Dundee, Scotland, UK, July 1995.
[ BibTeX ]
|
|
[126]
|
M. Jmaiel.
Development of communication protocols using algebraic and temporal
specifications.
In G. Hommel, editor, Contributions to the Quality of
Communication-Based Systems, Forschungsbericht 94-27, pages 73-84. FB
Informatik, Technische Universität Berlin, Aug. 1994.
[ BibTeX ]
|
|
[127]
|
M. Jmaiel and P. Pepper.
Development of communication protocols using algebraic and temporal
specifications.
In Proceedings of the International Workshop on Advanced
Software Technology, Shanghai, Sept. 1994. Jiao Tong University.
[ BibTeX ]
|
|
[128]
|
M. Jmaiel.
Development of communication protocols.
In G. Hommel, editor, Forschungsprojekte des Graduiertenkollegs
'Kommunikationsbasierte Systeme', Forschungsbericht 93-19, pages 73-84. FB
Informatik, Technische Universität Berlin, Aug. 1993.
[ BibTeX ]
|
|
