Home > Research > Publications & Outputs
  1. Published

    A framework for the formal specification of multimedia systems in open distributed processing MPG-93-12 J.

    Blair, L., Blair, G. S., Bowman, H., Chetwynd, A. G. & Papathomas, M., 1994, Proceedings of the Workshop on Distributed Multimedia Applications and Quality of Service Verification. Montreal

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  2. Published

    A framework for the formal specification and verification of distributed multimedia systems.

    Blair, L., Blair, G. S., Bowman, H. & Chetwynd, A. G., 1994, Proceedings of the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  3. Published

    A framework for the extraction and interpretation of organic molecules in speleothem carbonate

    Wynn, P. M. & Brocks, J., 30/04/2014, In: Rapid Communications in Mass Spectrometry. 28, 8, p. 845-854 10 p.

    Research output: Contribution to journalJournal articlepeer-review

  4. Published

    A framework for the engagement of SMEs in e-business

    Brown, D. H. & Lockett, N. J., 2001, Americas Conference on Information Systems (AMCIS), 2-5 Aug (Boston, MA ) - 2001. N/A: unknown, p. 656-662 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  5. Published

    A framework for the design and validation of efficient fail-safe fault-tolerant programs

    Jhumka, A., Suri, N. & Hiller, M., 2003, Software and Compilers for Embedded Systems . Springer-Verlag, Vol. 2826. p. 182-197 16 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  6. Published

    A framework for the design and evaluation of network resilience management

    Schaeffer-Filho, A., Smith, P., Mauthe, A., Hutchison, D., Yu, Y. & Fry, M., 1/04/2012, Network Operations and Management Symposium (NOMS), 2012 IEEE. IEEE, p. 401-408 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  7. Published

    A framework for testing large-scale distributed soil erosion and sediment delivery models: Dealing with uncertainty in models and the observational data

    Batista, P. V. G., Laceby, J. P., Davies, J., Carvalho, T. S., Tassinari, D., Silva, M. L. N., Curi, N. & Quinton, J. N., 31/03/2021, In: Environmental Modelling and Software. 137, 18 p., 104961.

    Research output: Contribution to journalJournal articlepeer-review

  8. Published

    A framework for testing distributed systems

    Hughes, D., Greenwood, P. & Coulson, G., 2004, 4th International Conference on Peer-to-Peer Computing, Proceedings. Caronni, G., Weiler, N. & Shahmehri, N. (eds.). Los Alamitos: IEEE COMPUTER SOC, p. 262-263 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  9. Published

    A framework for studying research collaboration

    Suchman, L. A. & Trigg, R. H., 3/12/1986, p. 221-228. 8 p.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  10. Published

    A Framework for SLO-driven Cloud Specification and Brokerage

    Elhabbash, A., Elkhatib, Y., Blair, G. S., Lin, Y. & Barker, A., 4/07/2019, 2019 19th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID). IEEE, p. 666-667 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Back to top