Search Results

Refine Results
  1. Cover Image

    Simulation modelling of QoS enhancements in IEEE, 802. 11 networks and the effects of channel modelling by Mundangepfupfu, Tinotenda Leslie

    Published 2015
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets by Kabutz, Heinz Max

    Published 2015
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  3. Cover Image

    Generalised Markovian analysis of timed transition systems by Knottenbelt, William John

    Published 2015
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  4. Cover Image

    Protocol engineering from Estelle specifications by Wheeler, Graham

    Published 2015
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  5. Cover Image

    Modelling adaptive routing in Wide Area Networks by Hutchison, Andrew

    Published 2015
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  6. Cover Image

    The complexity of Petri net transformations by Donaldson, Stephen Richard

    Published 2015
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  7. Cover Image

    A graphical representation for the formal description technique Estelle by Templemore-Finlayson, Justin George

    Published 2016
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  8. Cover Image

    Office automation by Stutz, Peter

    Published 2016
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  9. Cover Image

    XSnap : a queueing network analysis package by Donnelly, Hylton

    Published 2016
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  10. Cover Image

    Cross-layer RaCM design for vertically integrated wireless networks by Pileggi, Paolo P

    Published 2016
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  11. Cover Image

    An Estelle compiler by Van Dijk, Jacques

    Published 2016
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  12. Cover Image

    Improving requirements engineering : an enhanced requirements modelling and analysis method by Ryndina, Ksenia

    Published 2016
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  13. Cover Image

    A web browsing workload model for simulation by Walters, Lourens O

    Published 2014
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  14. Cover Image

    A methodology for analyzing power consumption in wireless communication systems by Chibesakunda, Mwelwa K

    Published 2014
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  15. Cover Image

    Symbolic techniques for the performance analysis of generalised stochastic petri nets by Davies, Ian

    Published 2014
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  16. Cover Image

    Model driven communication protocol engineering and simulation based performance analysis using UML 2.0 by De Wet, Nico

    Published 2014
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  17. Cover Image

    Specification and verification of systems using model checking and Markov reward models by Lifson, Farrel

    Published 2014
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  18. Cover Image

    Simulating raid storage systems for performance analysis by Perumal, Sameshan

    Published 2014
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  19. Cover Image

    ROLAND : a tool for the realistic optimisation of local access network design by Buffler, Simon

    Published 2014
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  20. Cover Image

    A hardware testbed for measuring IEEE 802.11g DCF performance by Symington, Andrew

    Published 2014
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: