Home > Research > Computing and Communications > Publications & Outputs
View graph of relations

Computing and Communications

  1. Published

    A formal approach to the design of QoS parameters in multimedia systems.

    Lakas, A., Blair, G. S. & Chetwynd, A. G., 1996, Proceedings of the 4th International Workshop on Quality of Service.

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

  2. Published

    A formal description technique supporting quality of service and media synchronisation.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1994, Proceedings of Cost 237 : multimedia transport and teleservices. Springer

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

  3. Published

    A Formal Method of Trust Computation in VANET: A Spatial, Temporal and Behavioral Approach

    Alharthi, A., Ni, Q., Jiang, R. & Khan, M. A., 29/11/2022, Smart Technologies in Urban Engineering. Arsenyeva, O., Romanova, T., Sukhonos, M. & Tsegelnyk, Y. (eds.). Cham: Springer, p. 775-784 10 p. (Smart Technologies in Urban Engineering; vol. 536).

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

  4. Published

    A formal modeling for exceptions in context-aware systems

    Yoon, T.-S., Choi, J.-H., Cho, E.-S., Helal, S., C., S. (Editor), B., M. (Editor), C.K., C. (Editor), Y., G. (Editor), K., Y. (Editor), A., H. (Editor), Y., O. (Editor), M., M. (Editor) & [Unknown], 2014, 38th Annual IEEE Computer Software and Applications Conference Workshops, COMPSACW 2014. IEEE, p. 734-739 6 p.

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

  5. Forthcoming

    A Formal Security Analysis of Hyperledger AnonCreds

    Fraser, A. & Schneider, S., 12/02/2025, (Accepted/In press) IEEE Euro S&P 2025.

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

  6. Unpublished

    A Formal View of Aspects in the Development of Component-Based Distributed Systems

    Blair, G. S., Blair, L. & Andersen, A., 09/2000, (Unpublished)

    Research output: Other contribution

  7. Published

    A formally verified SMT approach to true concurrency

    Bowles, J. & Caminati, M. B., 24/10/2020, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020.

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

  8. Published

    A format to design narrative multimedia applications for cultural heritage communication

    Rubegni, E., Di Blas, N., Paolini, P. & Sabiescu, A., 2010, SAC '10 Proceedings of the 2010 ACM Symposium on Applied Computing. ACM, p. 1238-1239 2 p.

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

  9. Published

    A foundation for defining security requirements in grid computing

    Gouglidis, A. & Mavridis, I., 4/12/2009, PCI 2009 - 13th Panhellenic Conference on Informatics. IEEE, p. 180-184 5 p. 5298349

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

  10. Published

    A Framework and Task Allocation Analysis for Infrastructure Independent Energy-Efficient Scheduling in Cloud Data Centers

    Primas, B., Garraghan, P., McKee, D., Summers, J. & Xu, J., 11/12/2017, 2017 IEEE International Conference on Cloud Computing Technology and Science (CloudCom). IEEE, p. 178-185 8 p.

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

  11. Published

    A framework for architecture-driven migration of legacy systems to cloud-enabled software

    Ahmad, A. & Babar, M. A., 7/04/2014, 11th Working IEEE/IFIP Conference on Software Architecture, WICSA 2014 - Proceedings. The Association for Computing Machinery, p. 1-8 8 p. 7. (ACM International Conference Proceeding Series).

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

  12. Published

    A framework for automated conflict detection and resolution in medical guidelines

    Bowles, J., Caminati, M. B., Cha, S. & Mendoza, J., 1/08/2019, In: Science of Computer Programming. p. 42-63

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  13. Published

    A framework for constructing semantically composable feature models from natural language requirements

    Weston, N., Chitchyan, R. & Rashid, A., 2009, Proceedings of the 13th International Software Product Line Conference. New York: ACM Press, p. 211-220 10 p.

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

  14. Unpublished

    A Framework for Customisable Schema Evolution in Object-Oriented Databases

    Rashid, A., 01/2003, (Unpublished).

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

  15. Published

    A framework for dependability driven software integration

    Suri, N., Ghosh, S. & Marlowe, T., 29/05/1998, Proceedings. 18th International Conference on Distributed Computing Systems. IEEE, p. 406-415 10 p.

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

  16. Published

    A Framework for Developing Mobile Network Services

    Sifalakis, M., Schmid, S., Chart, T. & Scott, A. C., 2004, Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers. Minden, G. J., Calvert, K. L., Solarski, M. & Yamamoto, M. (eds.). Berlin: Springer, p. 126-137 12 p. (Lecture Notes in Computer Science; vol. 3912).

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

  17. Published

    A framework for developing reflective and dynamic P2P networks (RaDP2P)

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

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

  18. Published

    A framework for informing consumers on the ecological impact of products at point of sale

    Schaeffer, S. E., Garza, S., Espinosa-Ceniceros, J. C., Urbina-Coronado, S. C., Nurmi, P. T. & Cruz-Reyes, L., 06/2018, In: Behaviour and Information Technology. 37, 6, p. 607-621 16 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  19. Published

    A Framework for Measuring the Costs of Security at Runtime

    Ivkic, I., Pichler, H., Zsilak, M., Mauthe, A. & Tauber, M., 05/2019, CLOSER 2019 : International Conference on Cloud Computing and Services Science.

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

  20. Published

    A framework for P2P application development

    Walkerdine, J., Hughes, D., Rayson, P., Simms, J., Gilleade, K., Mariani, J. & Sommerville, I., 2008, In: Computer Communications. 31, 2, p. 387-401 15 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  21. Unpublished

    A Framework for P2P Application Development

    Walkerdine, J., Melville, L. & Sommerville, I., 01/2004, (Unpublished).

    Research output: Working paper

  22. Published

    A Framework for Policy Driven Auto-Adaptive Systems using Dynamic Framed Aspects.

    Blair, L. & Greenwood, P., 1/11/2006, Transactions on Aspect-Oriented Software Development II. Berlin : Springer, p. 30-65 36 p. (Lecture Notes in Computer Science; vol. 4242).

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

  23. Published

    A framework for privacy aware design in future mobile applications

    Kibirige Mukisa, S., 30/07/2019, Lancaster University. 222 p.

    Research output: ThesisDoctoral Thesis

  24. Published

    A Framework for Ranking Cloud Security Services

    Taha, A., Trapero, R., Luna, J., Suri, N., X., L. (Editor) & U., B. (Editor), 25/06/2017, 2017 IEEE International Conference on Services Computing (SCC). IEEE, p. 322-329 8 p.

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

  25. Published

    A framework for resilience management in the cloud

    Shirazi, S. N. U. H., Simpson, S., Oechsner, S., Mauthe, A. U. & Hutchison, D., 03/2015, In: Elektrotechnik und Informationstechnik. 132, 2, p. 122-132 11 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  26. 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

  27. 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

  28. Published

    A Framework for the Adoption of Agile within Software SMEs in Saudi Arabia

    Altuwaijri, F. & Ferrario, M. A., 26/03/2022, ESSE 2021 - 2nd European Symposium on Software Engineering. New York: ACM, p. 73-77 5 p. (ACM International Conference Proceeding Series).

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

  29. 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

  30. 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

  31. 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

  32. 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

  33. Published

    A framework for UMTS air interface analysis

    Navaie, K. & Sharafat, A. R., 2003, In: Canadian Journal of Electrical and Computer Engineering. 28, 3-4, p. 113-129 17 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  34. Published

    A Framework to Support ICS Cyber Incident Response and Recovery

    Staves, A., Balderstone, H., Green, B., Gouglidis, A. & Hutchison, D., 24/05/2020. 14 p.

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

  35. Published

    A Frequency Dictionary of Mandarin Chinese: Core vocabulary for learners

    Xiao, R., Rayson, P. & McEnery, T., 2009, London: Routledge.

    Research output: Book/Report/ProceedingsBook

  36. Published

    A fully autonomous data density based clustering algorithm

    Hyde, R. & Angelov, P., 9/12/2014, Evolving and Autonomous Learning Systems (EALS), 2014 IEEE Symposium on. Piscataway, N.J.: IEEE, p. 116-123 8 p.

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

  37. Unpublished

    A function-behaviour-structure framework for the lifecycle of an artefact

    Stalker, R., 01/2002, (Unpublished).

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

  38. Published

    A fuzzy approach to building thermal systems optimization.

    Angelov, P., 06/1999. 4 p.

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

  39. Published

    A fuzzy based verification agent for the Persim human activity simulator in Ambient Intelligent Environments

    Elfaham, A., Hagras, H., Helal, S., Hossain, S., Lee, J. W. & Cook, D., 2010, 2010 6th IEEE World Congress on Computational Intelligence, WCCI 2010. IEEE

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

  40. Published

    A fuzzy controller with evolving structure.

    Angelov, P., 5/04/2004, In: Information Sciences. 161, 1-2, p. 21-35 15 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  41. Published

    A game theoretic based Call Admission Control scheme for competing WiMAX networks

    Pervaiz, H. B., 17/02/2009, p. 1-5. 5 p.

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

  42. Published

    A game theoretical network-assisted user-centric design for resource allocation in 5G heterogeneous networks

    Munir, H., Hassan, S. A., Pervaiz, H. B. & Ni, Q., 15/05/2016, 2016 IEEE 83rd Vehicular Technology Conference (VTC Spring). IEEE, p. 1-5 5 p.

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

  43. Published

    A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees

    Wu, M., Wicker, M., Ruan, W., Huang, X. & Kwiatkowska, M., 6/02/2020, In: Theoretical Computer Science. 807, p. 298-329 32 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  44. Published

    A Gas-lens Telescope

    Michaelis, M. M., Dempers, C. A., Kosch, M. J., Prause, A., Notcutt, M., Cunningham, P. F. & Waltham, J. A., 1991, In: Nature. 353, p. 547-548 2 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  45. Published

    A gateway for linking local area networks and X.25 networks

    Grant, A., Hutchison, D. & Shepherd, W. D., 8/10/1983, ACM SIGCOMM Computer Communication Review. ACM, p. 234-239 6 p.

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

  46. Published

    A gaze interactive assembly instruction with pupillometric recording

    Paulin, J., Mardanbegi, D., Biermann, F. & Bækgaard, P., 08/2018, In: Behavior Research Methods. 50, 4, p. 1723-1733 11 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  47. Published

    A general Cluster data and global MHD simulation comparison

    Daum, P., Denton, M. H., Wild, J. A., Taylor, M. G. G. T., Safrankova, J. & Hayosh, M., 4/11/2008, In: Annales Geophysicae. 26, 11, p. 3411-3428 18 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  48. Published

    A general framework of wiretap channel with helping interference and state information

    Xu, P., Ding, Z., Dai, X. & Leung, K. K., 1/02/2014, In: IEEE Transactions on Information Forensics and Security. 9, 2, p. 182-195 14 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  49. Published

    A general MIMO framework for NOMA downlink and uplink transmission based on signal alignment

    Ding, Z., Schober, R. & Poor, H. V., 06/2016, In: IEEE Transactions on Wireless Communications. 15, 6, p. 4438-4454 17 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  50. Published

    A general model for stochastic SIR epidemics with two levels of mixing.

    Ball, F. G. & Neal, P. J., 11/2002, In: Mathematical Biosciences. 180, 1-2, p. 73-102 30 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  51. Published

    A general purpose intelligent surveillance system for mobile devices using deep learning

    Antoniou, A. & Angelov, P. P., 24/07/2016, 2016 International Joint Conference on Neural Networks (IJCNN). Vancouver Canada: IEEE, p. 2879-2886 8 p. (Neural Networks (IJCNN), 2016 International Joint Conference on).

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

  52. Published

    A general scheme for equalization of space-time block-coded systems with unknown CSI

    Ding, Z., Ward, D. & Chin, W., 07/2006, In: IEEE Transactions on Signal Processing. 54, 7, p. 2737-2746 10 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  53. Published

    A generalized approach to fuzzy optimization

    Angelov, P., 1994, In: International Journal of Intelligent Systems. 9, 3, p. 261-268 8 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  54. Published

    A Generalized Methodology for Data Analysis

    Angelov, P. P., Gu, X. & Principe, J., 10/2018, In: IEEE Transactions on Cybernetics. 48, 10, p. 2981-2993 13 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  55. Unpublished

    A Generative Approach for Multi-Agent Systems

    Garcia, A., Kulesza, U. & Lucena, C., 01/2005, (Unpublished)

    Research output: Other contribution

  56. Unpublished

    A generic active service deployment protocol

    Sifalakis, M., Schmid, S., Hutchison, D. & Chart, T., 05/2003, (Unpublished)

    Research output: Other contribution

  57. Published

    A generic approach to dependability in overlay networks

    Porter, B. & Coulson, G., 2005, On the Move to Meaningful Internet Systsems 2005: OTM 2005 Workshops, Proceedings. Meersman, R., Tari, Z. & Herrero, P. (eds.). Berlin: Springer Verlag, p. 18-19 2 p. (Lecture Notes in Computer Science; vol. 3762).

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

  58. Published

    A generic component model for building systems software

    Coulson, G., Blair, G., Grace, P., Taiani, F., Joolia, A., Lee, K., Ueyama, J. & Sivaharan, T., 02/2008, In: ACM Transactions on Computer Systems. 26, 1, p. 1-42 43 p., 1.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  59. Published

    A Generic Hand-Over Framework for 4G Networks

    Roedig, U. & Sreenan, C. J., 10/2006.

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

  60. Published

    A generic holonic control architecture for heterogeneous multi-scale and multi-objective smart microgrids

    Frey, S., Diaconescu, A., Menga, D. & Demeure, I., 06/2015, In: ACM Transactions on Autonomous and Adaptive Systems. 10, 2, 21 p., 9.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  61. Published

    A generic self-repair approach for overlays

    Porter, B., Coulson, G. & Taiani, F., 2006, On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, Pt 2, Proceedings. Meersman, R., Tari, Z. & Herrero, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 4278. p. 1490-1499 10 p. (Lecture Notes in Computer Science).

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

  62. Published

    A Genetic Based Disk Scheduling Method to Decrease Makespan and Missed Tasks

    Rahmani, H., 2010, In: Information Systems.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  63. Published

    A genetic-algorithm-based approach to optimization of bioprocesses described by fuzzy rules.

    Angelov, P. & Guthke, R., 04/1997, In: Bioprocess and Biosystems Engineering. 16, 5, p. 299-303 5 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  64. Published

    A geospatial framework to support integrated biogeochemical modelling in the United Kingdom

    Greene, S., Johnes, P. J., Bloomfield, J. P., Reaney, S. M., Lawley, R. S., Elkhatib, Y., Freer, J., Odoni, N., Macleod, C. J. A. & Percy, B. J., 06/2015, In: Environmental Modelling and Software. 68, p. 219-232 14 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  65. Published

    A globally-applied component model for programmable networking

    Ueyama, J., Coulson, G., Blair, G., Schmid, S., Gomes, A. T., Joolia, A. & Lee, K., 2003, Active Networks. Wakamiya, N., Solarski, M. & Sterbenz, J. (eds.). Berlin: Springer Verlag, p. 202-214 13 p. (Lecture Notes in Computer Science; vol. 2982).

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

  66. Published

    A GNSS/5G Integrated Positioning Methodology in D2D Communication Networks

    Yin, L., Ni, Q. & Deng, Z., 02/2018, In: IEEE Journal on Selected Areas in Communications. 36, 2, p. 351-362 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  67. Published

    A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty

    Cheng, B. H. C., Sawyer, P., Bencomo, N. & Whittle, J., 10/2009, Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS '09). Schürr , A. & Selic, B. (eds.). Berlin: Springer, p. 468-483 16 p. (Lecture Notes in Computer Science; vol. 5795).

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

  68. Published

    A grand challenge for HCI: food + sustainability

    Norton, J., Raturi, A., Nardi, B., Prost, S., McDonald, S., Pargman, D., Bates, O. E. G., Normak, M., Tomlinson, B., Herbig, N. & Dombrowski, L., 1/11/2017, In: Interactions. 24, 6, p. 50-55 6 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  69. Unpublished

    A Green Family: Generations of Publish/Subscribe Middleware Configurations

    Bencomo, N., Sivaharan, T. & Blair, G. S., 01/2005, (Unpublished) Unknown Publisher.

    Research output: Book/Report/ProceedingsBook

  70. Published

    A Green IoT Node Incorporating Transient Computing, Approximate Computing and Energy/Data Prediction

    Khan, S. Z., Kakar, R., Alam, M. M., Moullec, Y. L. & Pervaiz, H., 10/01/2020, p. 1-6. 6 p.

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

  71. Published

    A Group Communication Framework

    Mathy, L., Leduc, G., Bonaventure, O. & Danthine, A. A. S., 1994, Proceedings of the 3rd Intermational Conference on Broadband Islands. Bauerfeld, W. L., Spaniol, O. & Williams, F. (eds.). Amsterdam: North-Holland Publishing Co., p. 167-178 12 p.

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

  72. Published

    A group-oriented secure multiagent platform

    Such, J. M., Alberola, J. M., Espinosa, A. & Garcia-Fornes, A., 10/2011, In: Software: Practice and Experience. 41, 11, p. 1289-1302 14 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  73. Published

    A Guide to Convolutional Neural Networks for Computer Vision

    Khan, S., Rahmani, H., Shah, S. A. A. & Bennamoun, M., 13/02/2018, Morgan and Claypool. 207 p. (Synthesis Lectures on Computer Vision; vol. 8)

    Research output: Book/Report/ProceedingsBook

  74. Published

    A heuristic for fair dynamic resource allocation in over-loaded OFDMA systems

    Letchford, A., Ni, Q. & Zhong, Z., 1/02/2020, In: Journal of Heuristics. 26, 1, p. 21-32 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  75. Published

    A heuristic for maximising energy efficiency in OFDMA systems with QoS constraints

    Letchford, A. N., Ni, Q. & Zhong, Z., 1/07/2018, Combinatorial Optimization: 5th International Symposium. Lee, J., Rinaldi, G. & Mahjoub, A. R. (eds.). Springer, p. 303-312 10 p. (Lecture Notes in Computer Science; vol. 10856).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)peer-review

  76. Published

    A Heuristic-Based Appliance Scheduling Scheme for Smart Homes

    Jindal, A., Bhambu, B. S., Singh, M., Kumar, N. & Naik, S., 31/05/2020, In: IEEE Transactions on Industrial Informatics. 16, 5, p. 3242-3255 14 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  77. Published

    A Hierarchical P2PSIP Architecture to Support Skype-like Services

    Martinez-Yelmo, I., Guerrero, C., Cuevas, R. & Mauthe, A., 2009, PDP '09: Proceedings of the 2009 17th Euromicro International Conference on Parallel, Distributed and Network-based Processing. Washington, DC, USA: IEEE Computer Society, p. 316-322 7 p.

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

  78. Published

    A Hierarchical Prototype-Based Approach for Classification

    Gu, X. & Ding, W., 1/12/2019, In: Information Sciences. 505, p. 325-351 27 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  79. Published

    A High Performance Privacy-Oriented Location System

    Hazas, M. & Ward, A., 2003, p. 216-223. 8 p.

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

  80. Published

    A Higher Level Abstraction for Mobile Computing Middleware

    Grace, P., Blair, G. S. & Samuel, S., 11/2003.

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

  81. Published

    A highly flexible service composition framework for real-life networks.

    Schmid, S., Chart, T., Sifalakis, M. & Scott, A. C., 1/10/2006, In: Computer Networks. 50, 14, p. 2488-2505 18 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  82. Published

    A high-performance, hardware-based deep learning system for disease diagnosis

    Siddique, A., Iqbal, M. A., Aleem, M. & Lin, J. C.-W., 19/07/2022, In: PeerJ Computer Science. 8, e1034.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  83. Published

    A holistic approach to feature modeling for product line requirements engineering

    Lee, J., Kang, K. C., Sawyer, P. & Lee, H., 1/11/2014, In: Requirements Engineering . 19, 4, p. 377-395 18 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  84. Published

    A Holonic Control Architecture for a Heterogeneous Multi-Objective Micro Smart-Grid

    Frey, S., 2013, 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems. IEEE, p. 21-30 10 p.

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

  85. Published

    A hopping code for MMFSK in a power-line channel

    Adebisi, B., Ali, S. & Honary, B., 07/2009, In: Journal of Communications. 4, 6, p. 429-436 8 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  86. Published

    A Human-Perceived Softness Measure of Virtual 3D Objects

    Lau, M. C. M., Dev, K., Dorsey, J. & Rushmeier, H., 1/08/2018, In: ACM Transactions on Applied Perception. 15, 3, 18 p., 19.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  87. Unpublished

    A hybrid approach to requirement level impact analysis

    Lock, S., 01/2001, (Unpublished) Lancaster University.

    Research output: ThesisDoctoral Thesis

  88. Published

    A Hybrid Approach to Separation of Concerns: The Story of SADES

    Rashid, A., 2001, Metalevel Architectures and Separation of Crosscutting Concerns Third International Conference, REFLECTION 2001 Kyoto, Japan, September 25–28, 2001 Proceedings. Yonezawa, A. & Matsuoka, S. (eds.). Berlin: Springer, p. 231-249 19 p. (Lecture Notes in Computer Science; vol. 2192).

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

  89. Published

    A hybrid approach to upstream requirements: IBIS and cognitive mapping

    Rooksby, J., Sommerville, I. & Pidd, M., 2006, Rationale management in software engineering. Dutoit, A. H., McCall, R., Mistrik, I. & Paech, B. (eds.). Berlin: Springer, p. 137-154 8 p.

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

  90. Published

    A hybrid intervention for challenging the stigma of mental illness

    Coman, A. & Sas, C., 1/11/2016, In: Bulletin of the Transilvania University of Brasov. 9 (58), 2, p. 73-80 8 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  91. Published

    A hybrid model for capturing implicit spatial knowledge

    Sas, C., 09/2005, TAMODIA '05 Proceedings of the 4th international workshop on Task models and diagrams. New York: ACM, p. 49-54 6 p.

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

  92. Published

    A Hybrid of Network and Application Layer Multicast for Mobile IPv6 Networks

    Garyfalos, A., Almeroth, K. & Finney, J., 10/2003, Proceedings of SRDS workshop on Large Scale Group Communication. p. 1-6 6 p.

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

  93. Published

    A hybrid Overlay-Underlay strategy for OFDM-based cognitive radio systems and its maximum achievable capacity: 2011 19th Iranian Conference on Electrical Engineering

    Arpanaei, F., Navaie, K. & Esfahani, S. N., 2011, p. 1-6. 6 p.

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

  94. Published

    A joint cluster and ground-based instrument study of two magnetospheric substorm events on 1st september 2002

    Draper, N. C., Lester, M., Wild, J. A., Milan, S. E., Provan, G., Grocott, A., Cowley, S. W. H., Bogdanova, Y. V., Dewhirst, J. P., Fazakerley, A. N., Davies, J. A. & Bosqued, J. M., 12/2004, In: Annales Geophysicae. 22, 12, p. 4217-4228 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  95. Published

    A joint communication and computing resource management scheme for pervasive grid networks

    Tarchi, D., Tassi, A. & Fantacci, R., 10/10/2013, In: Wireless Communications and Mobile Computing. 13, 14, p. 1309-1323 15 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  96. Published

    A journey to Semantic Web query federation in the life sciences

    Cheung, K.-H., Frost, H. R., Marshall, M. S., Prud'hommeaux, E., Samwald, M., Zhao, J. & Paschke, A., 1/10/2009, In: BMC Bioinformatics. 10, Suppl. 10, 16 p., S10.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  97. Published

    A K-Anonymity Based Schema for Location Privacy Preservation

    Fei, F., Li, S., Dai, H., Hu, C., Dou, W. & Ni, Q., 1/04/2019, In: IEEE Transactions on Sustainable Computing. 4, 2, p. 156-167 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  98. Published

    A Key Exchange Protocol for Wireless Ad-hoc Networks Using ECC

    Catterall, N., Katsaros, I. & Honary, B., 12/2004, First International Symposium on Broadband Communications. Harrogate, p. 30

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

  99. Published

    A knowledge-based operating system

    Blair, G. S., Mariani, J. A., Nicol, J. R. & Shepherd, D., 1987, In: The Computer Journal. 30, 3, p. 193-200 8 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  100. Published

    A Language for Self-Adaptive System Requirements

    Whittle, J., Sawyer, P., Bencomo, N. & Cheng, B., 8/09/2008, SOCCER '08. International Workshop on Service-Oriented Computing: Consequences for Engineering Requirements, 2008. . IEEE Publishing, p. 24-29 6 p.

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

Previous 1 2 3 4 5 6 7 8 ...107 Next

Back to top