|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 12 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rabeb Mizouni, Mohamed Adel Serhani, Rachida Dssouli, Abdelghani Benharref, Ikbal Taleb |
Performance Evaluation of Mobile Web Services.  |
ECOWS  |
2011 |
DBLP DOI BibTeX RDF |
Web Services, Performance, Mobile Devices |
| 1 | Ahmed Al Dhanhani, Rabeb Mizouni, Hadi Otrok, Jason W. P. Ng |
Smart Mobile Assessment Tool. |
Intelligent Environments (Workshops) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rabeb Mizouni, Mohamed Adel Serhani, Rachida Dssouli, Abdelghani Benharref, Ikbal Taleb |
On the Performance of Hosting Web Services on Mobile Devices. |
IEEE SCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rabeb Mizouni, Aziz Salah |
Towards a framework for estimating system NFRs on behavioral models. |
Knowl.-Based Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Sinnig, Rabeb Mizouni, Ferhat Khendek |
Bridging the gap: empowering use cases with task models. |
EICS |
2010 |
DBLP DOI BibTeX RDF |
use cases, task models, development methodology, user interface development |
| 1 | Sanja Lazarova-Molnar, Rabeb Mizouni |
Modeling Human Decision Behaviors for Accurate Prediction of Project Schedule Duration. |
EOMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanja Lazarova-Molnar, Rabeb Mizouni |
Floating Task: Introducing and Simulating a Higher Degree of Uncertainty in Project Schedules. |
WETICE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rabeb Mizouni, Daniel Sinnig, Ferhat Khendek |
Towards an Integrated Model for Functional and User Interface Requirements. |
HCSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rabeb Mizouni, Daniel Sinnig, Ferhat Khendek |
Enriching Use Cases with CTTs. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rabeb Mizouni, Aziz Salah |
Behavioral Model Composition: a Non Functional Requirements Driven Approach. |
SoMeT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli |
Merging partial system behaviours: composition of use-case automata. |
IET Software |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rabeb Mizouni, Aziz Salah, Rachida Dssouli |
Using Formal Composition of Use Cases in Requirements Engineering. |
SEKE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rabeb Mizouni, Sofiène Tahar, Paul Curzon |
Hybrid verification integrating HOL theorem proving with MDG model checking. |
Microelectronics Journal |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli |
Composition of Use Cases Using Synchronization and Model Checking. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
synchronized product, model checking, Use cases, composition operators |
| 1 | Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux |
Formal Composition of Distributed Scenarios. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
Scenario-based approach, Scenario composition, Distributed systems, Formal specification, Use case, FSM |
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")