|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 24 occurrences of 19 keywords
|
|
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dominique Barth, Samir Bellahsene, Leïla Kloul |
Mobility Prediction Using Mobile User Profiles.  |
MASCOTS  |
2011 |
DBLP DOI BibTeX RDF |
Mobility prediction techniques, Graph theory, Markov chains, Mobile Networks |
| 1 | Juliana Küster Filipe Bowles, Leïla Kloul |
Synthesising PEPA nets from IODs for performance analysis. |
WOSP/SIPEW |
2010 |
DBLP DOI BibTeX RDF |
formal transformation, pepa nets, uml 2 interaction diagrams, mobility, performance analysis |
| 1 | Samir Bellahsene, Leïla Kloul |
A New Markov-Based Mobility Prediction Algorithm for Mobile Networks. |
EPEW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leïla Kloul |
Performance Analysis of a Software Retrieval Service. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Samir Bellahsene, Leïla Kloul, Dominique Barth |
A hierarchical prediction model for two nodes-based IP mobile networks. |
MSWiM |
2009 |
DBLP DOI BibTeX RDF |
quality of service, mobile networks, mobility prediction |
| 1 | Leïla Kloul |
From DFTs to PEPA: A Model-to-Model Transformation. |
EPEW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lamia Djoudi, Leïla Kloul |
Assembly Code Analysis Using Stochastic Process Algebra. |
EPEW |
2008 |
DBLP DOI BibTeX RDF |
Performance analysis, Stochastic process algebra, Assembly code, Data dependencies graph, Code optimisation |
| 1 | Jane Hillston, Leïla Kloul |
Formal techniques for performance analysis: blending SAN and PEPA. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leïla Kloul, Juliana Küster Filipe |
Modelling Mobility with UML2.0 and PEPA Nets. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Fourneau, Leïla Kloul |
A Precedence PEPA Model for Performance and Reliability Analysis. |
EPEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston, Leïla Kloul |
A Function-Equivalent Components Based Simplification Technique for PEPA Models. |
EPEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Leïla Kloul, Amdjed Mokhtari |
Algèbre des processus pour l'analyse des performances des noeuds actifs. |
Technique et Science Informatiques |
2005 |
DBLP BibTeX RDF |
|
| 1 | Leïla Kloul, Amdjed Mokhtari |
A Secure Code Deployment Scheme for Active Networks. |
IWAN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Leïla Kloul, Fabrice Valois |
Investigating unfairness scenarios in MANET using 802.11b. |
PE-WASUN |
2005 |
DBLP DOI BibTeX RDF |
ad hoc networks, performance analysis, process algebra, 802.11b, unfairness |
| 1 | Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.) |
Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings |
EPEW/WS-FM |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl |
Choreographing Security and Performance Analysis for Web Services. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston, Leïla Kloul, Amdjed Mokhtari |
Towards a Feasible Active Networking Scenario. |
Telecommunication Systems |
2004 |
DBLP DOI BibTeX RDF |
node latency, performance analysis, packets loss, active rules, active nodes |
| 1 | Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul |
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo |
Software performance modelling using PEPA nets. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
PEPA nets, performance analysis, mobile objects |
| 1 | C. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens |
Analysing UML 2.0 activity diagrams in the software performance engineering process. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Leïla Kloul, Davide Piazza |
Modelling Role-Playing Games Using PEPA Nets. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo |
PEPA nets: a structured performance modelling formalism. |
Perform. Eval. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston, Leïla Kloul |
PEPA Nets. |
MASCOTS Tutorials |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Leïla Kloul |
A Unified Tool for Performance Modelling and Prediction. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Fourneau, Leïla Kloul, Fabrice Valois |
Performance modelling of hierarchical cellular networks using PEPA. |
Perform. Eval. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston, Leïla Kloul |
Performance investigation of an on-line auction system. |
Concurrency and Computation: Practice and Experience |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston, Leïla Kloul |
An Efficient Kronecker Representation for PEPA Models. |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Fourneau, Leïla Kloul, Franck Quessette |
Multiple class G-networks with iterated deletions. |
Perform. Eval. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Fourneau, Leïla Kloul, Dominique Verchère |
Multiple class G-networks with list-oriented deletions. |
European Journal of Operational Research |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Fourneau, Leïla Kloul, Franck Quessette |
Multiple Class G-Networks with Jumps back to Zero. |
MASCOTS |
1995 |
DBLP BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")