Items where Author is "Dssouli, Rachida"
|Up a level|
El Menshawy, Mohamed and Bentahar, Jamal and El Kholy, Warda and Dssouli, Rachida (2013) Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. Autonomous Agents and Multi-Agent Systems, 27 (3). pp. 375-418. ISSN 1387-2532
Fung, Benjamin C.M. and Trojer, Thomas and Hung, Patrick C.K. and Xiong, Li and Al-Hussaeni, Khalil and Dssouli, Rachida (2012) Service-Oriented Architecture for High-Dimensional Private Data Mashup. IEEE Transactions on Services Computing, 5 (3). pp. 373-386. ISSN 1939-1374