Home > Research > Publications & Outputs

Research

Publications and Research Outputs

« Simple search

Reset

to
77711 - 77720 out of 99,577Page size: 10
Sort by: Title
  1. Published

    Specification for a quality management framework at departmental level.

    Burge, S. E., Tannock, J. D. T. & Jackson, N., 1996, Engineering Professors Council.

    Research output: Working paper › Other

  2. Published

    Specification of Stochastic Properties in Real-Time Systems.

    Lakas, A., Blair, G. S. & Chetwynd, A. G., 1996, Proceedings of the 11th UK Performance Engineering Workshop for Computer and Telecommunications Systems. Springer, p. 202-216 15 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  3. Published

    Specificity and integration of responses: Ca2+ as a signal in polarity and osmotic regulation.

    Brownlee, C., Goddard, H., Hetherington, A. M. & Peake, L. A., 04/1999, In: Journal of Experimental Botany. 50, Specia, p. 1001-1011 11 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  4. Published

    Specificity of the human frequency following response for carrier and modulation frequency assessed using adaptation

    Gockel, H. E., Krugliak, A., Plack, C. J. & Carlyon, R. P., 12/2015, In: Journal of the Association for Research in Otolaryngology : JARO. 16, 6, p. 747-762 16 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  5. Published

    Specifying and analysing multimedia systems

    Blair, L. & Blair, G. S., 2001, Formal methods for distributed processing : a survey of object-oriented approaches. Bowman, H. & Derrick, J. (eds.). Cambridge: Cambridge University Press, p. 373-399 27 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  6. Published

    Specifying and applying commitment-based business patterns

    Chopra, A. K. & Singh, M. P., 2011, The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2. Richland, S.C.: International Foundation for Autonomous Agents and Multiagent Systems, p. 475-482 8 p. (AAMAS '11).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  7. Published

    Specifying and Constructing a Fault-Tolerant Composite Service

    Onditi, V., Dobson, G., Hutchinson, J., Walkerdine, J. & Sawyer, P., 11/2008, IEEE Sixth European Conference on Web Services, 2008. ECOWS '08. . Dublin: IEEE, p. 135-142 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  8. Published

    Specifying and Verifying Usage Control Models and Policies in TLA+

    Grompanopoulos, C., Gouglidis, A. & Mavridou, A., 31/10/2021, In: International Journal on Software Tools for Technology Transfer. 23, 5, p. 685-700

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  9. Published

    Specifying Autonomous System Behaviour

    Sogokon, A., Yuksek, B., Inalhan, G. & Suri, N., 2023, In: CoRR. abs/2302.10087

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  10. Unpublished

    Specifying Persistence

    Sawyer, P., Araujo, J. & Moreira, A., 12/1999, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN › Other

Previous 1...7768 7769 7770 7771 7772 7773 7774 7775 ...9958 Next

Back to top