A formal security framework for mobile agent systems: Specification and verification by Loulou, M., Kacem, A.H., Jmaiel, M., Mosbah, M.

Request full text

A Conceptual Model for Secure Mobile Agent Systems by Loulou, M., Jmaiel, M., Kacem, A.H., Mosbah, M.

Request full text

Speech as a high level control for teleoperated manipulator arm by El-Emary, I M M, Fezari, M, Abbassi, H A

Request full text

Specification and verification of multi-agent applications using temporal Z by Regayeg, A., Hadj Kacem, A., Jmaiel, M.

Request full text

Using UML2.0 and GG for describing the dynamic of software architectures by Kacem, M.H., Jmaiel, M., Kacem, A.H., Drira, K.

Request full text

A formal model for mobile agent systems using Z by Loulou, M., Kacem, A.H., Jmaiel, M.

Request full text

Compositional specification of event-based software architectural styles by Loulou, I., Kacem, A.H., Jmaiel, M., Drira, K.

Request full text

Towards a unified graph-based framework for dynamic component-based architectures description in Z by Loulou, I., Kacem, A.H., Jmaiel, M., Drira, K.

Request full text