Search Results - "Dib, Ahmed Taki Eddine"

A multi-layered bigraphical modelling approach for context-aware systems by DIB, Ahmed Taki Eddine, Maamri, Ramdane

“…There exist several approaches proposed for building Context-Aware Systems (CAS). However, due to the continually changing environment, the large number of…”
Get full text

Towards a Formal Model for Cloud Computing Elasticity by Sahli, Hamza, Bouanaka, Chafia, Taki Eddine Dib, Ahmed

“…Cloud computing is an emerging topic in the IT industry, it brings new design challenges and security issues, as resources rapid availability and quick…”
Get full text

Model checking of Multi Agent System architectures using BigMC by Dib, Ahmed Taki Eddine, Sahnoun, Zaidi

“…Formal methods offer a great potential for early integration of verification in the design process. These are based on theories and mathematical notations that…”
Get full text