sign in · help · news · about ·

BibSonomy :: author :: Dssouli ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(98)

<< < 1 | 2 | 3 > >>

Performance testing of a negotiation platform.
Charles Hélou, Rachida Dssouli, and Teodor Gabriel Crainic Information & Software Technology 44(5):313-330 (2002)
to dblp by dblp on Nov 30, 2011, 12:00 AM
URL | BibTeX
Preface.
Rachida Dssouli Information & Software Technology 44(5):277-278 (2002)
to dblp by dblp on Nov 30, 2011, 12:00 AM
URL | BibTeX
On the verification of social commitments and time.
Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, and Rachida Dssouli AAMAS, page 483-490. IFAAMAS, (2011)
to dblp by dblp on Nov 18, 2011, 12:00 AM
URL | BibTeX
Timed Wp-Method: Testing Real-Time Systems.
Abdeslam En-Nouaary, Rachida Dssouli, and Ferhat Khendek IEEE Trans. Software Eng. 28(11):1023-1038 (2002)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Trace Analysis for Conformance and Arbitration Testing.
Gregor von Bochmann, Rachida Dssouli, and J. R. Zhao IEEE Trans. Software Eng. 15(11):1347-1356 (1989)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Performance Evaluation of Mobile Web Services.
Rabeb Mizouni, Mohamed Adel Serhani, Rachida Dssouli, Abdelghani Benharref, and Ikbal Taleb ECOWS, page 184-191. IEEE, (2011)
to dblp by dblp on Nov 2, 2011, 12:00 AM
URL | BibTeX
On the Performance of Hosting Web Services on Mobile Devices.
Rabeb Mizouni, Mohamed Adel Serhani, Rachida Dssouli, Abdelghani Benharref, and Ikbal Taleb IEEE SCC, page 763-764. IEEE, (2011)
to dblp by dblp on Oct 20, 2011, 12:00 AM
URL | BibTeX
Developing Applications for Internet Telephony: A Case Study on the Use of Web Services for Conferencing in SIP Networks.
May El Barachi, Roch H. Glitho, and Rachida Dssouli IJWIS 1(3):147-159 (2005)
to dblp by dblp on Sep 30, 2011, 12:00 AM
URL | BibTeX
Formal Composition of Distributed Scenarios.
Aziz Salah, Rabeb Mizouni, Rachida Dssouli, and Benoit Parreaux FORTE, volume 3235 of Lecture Notes in Computer Science, page 213-228. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Applying Reduction Techniques to Software Functional Requirement Specifications.
Jameleddine Hassine, Rachida Dssouli, and Juergen Rilling SAM, volume 3319 of Lecture Notes in Computer Science, page 138-153. Springer, (2004)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
A Guided Method for Testing Timed Input Output Automata.
Abdeslam En-Nouaary, and Rachida Dssouli TestCom, volume 2644 of Lecture Notes in Computer Science, page 211-225. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Model Checking Commitment Protocols.
Mohamed El-Menshawy, Jamal Bentahar, and Rachida Dssouli IEA/AIE 2, volume 6704 of Lecture Notes in Computer Science, page 37-47. Springer, (2011)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks.
Zhongping Tao, Gregor von Bochmann, and Rachida Dssouli MONET 2(3):259-269 (1997)
to dblp by dblp on May 27, 2011, 12:00 AM
URL | BibTeX
Symbolic Model Checking Commitment Protocols Using Reduction.
Mohamed El-Menshawy, Jamal Bentahar, and Rachida Dssouli DALT, volume 6619 of Lecture Notes in Computer Science, page 185-203. Springer, (2010)
to dblp by dblp on Apr 19, 2011, 12:00 AM
URL | BibTeX
Control-level call differentiation in IMS-based 3G core networks.
May El Barachi, Roch H. Glitho, and Rachida Dssouli IEEE Network 25(1):20-28 (2011)
to dblp by dblp on Feb 22, 2011, 12:00 AM
URL | BibTeX
An overlay network for autonomous information discovery in the post-composition registries of ambient networks.
Fatna Belqasmi, Roch H. Glitho, and Rachida Dssouli J. Network and Computer Applications 34(2):697-707 (2011)
to dblp by dblp on Feb 13, 2011, 12:00 AM
URL | BibTeX
VAQoS: Architecture for End-to-End QoS Management of Value Added Web Services.
Mohamed Adel Serhani, Rachida Dssouli, Houari A. Sahraoui, Abdelghani Benharref, and Elarbi Badidi IJIIT 2(4):37-56 (2006)
to dblp by dblp on Jan 25, 2011, 12:00 AM
URL | BibTeX
Symbolic model checking for agent interactions.
Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, and Rachida Dssouli AAMAS, page 1555-1556. IFAAMAS, (2010)
to dblp by dblp on Sep 26, 2010, 12:00 AM
URL | BibTeX
A Case Study on Multiparty Calls Differentiation in the IP Multimedia Subsystem.
May El Barachi, Roch H. Glitho, and Rachida Dssouli VTC Spring, page 1-5. IEEE, (2010)
to dblp by dblp on Sep 24, 2010, 12:00 AM
URL | BibTeX
Case Study: Master of Science in Service Computing Msc SC.
Mohamed Adel Serhani, and Rachida Dssouli SERVICES, page 80-83. (2010)
to dblp by dblp on Aug 12, 2010, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper