S&T School Leadership
| Title | S&T School Leadership |
|---|---|
| Alternative | S&T - Leadshp |
| Faculty | Faculty of Science and Technology |
Latest research outputs
Sort by Date Title
A distributed admission control mechanism for multi-criteria QoS
Sakellari, G. 2010. A distributed admission control mechanism for multi-criteria QoS. IEEE Globecom 2010 Workshop on Advances in Communications and Networks.Conference paper
A distributed intrusion detection approach for secure software architecture.
Inverardi, P. and Mostarda, L. 2005. A distributed intrusion detection approach for secure software architecture. Springer. https://doi.org/10.1007/11494713_12Conference paper
A distributed monitoring system for enhancing security and dependability at architectural level.
Inverardi, P. and Mostarda, L. 2007. A distributed monitoring system for enhancing security and dependability at architectural level. Springer. https://doi.org/10.1109/AINA.2006.145Conference paper
A domain specific language for complex dynamic decision making
Barat, S., Kulkarni, V., Clark, T. and Barn, B. 2020. A domain specific language for complex dynamic decision making. International Journal of Computer Aided Engineering and Technology.Article
A domain specific language for contextual design
Barn, B. and Clark, T. 2010. A domain specific language for contextual design. Bernhaupt, R., Forbrig, P., Gulliksen, J. and Lárusdóttir, M. (ed.) 3rd International Conference on Human-Centred Software Engineering (HCSE 2010). Reykjavik, Iceland 14 - 15 Oct 2010 Berlin, Heidelberg. Springer. https://doi.org/10.1007/978-3-642-16488-0_5Conference paper
A firefly-inspired method for protein structure prediction in lattice models
Maher, B., Albrecht, A., Loomes, M., Yang, X. and Steinhofel, K. 2014. A firefly-inspired method for protein structure prediction in lattice models. Biomolecules. 4 (1), pp. 56-75. https://doi.org/10.3390/biom4010056Article
A formalized general theory of syntax with bindings
Gheri, L. and Popescu, A. 2017. A formalized general theory of syntax with bindings. 8th International Conference Interactive Theorem Proving. Brasilia, Brazil 26 - 29 Sep 2017 Cham Springer International Publishing. pp. 241-261 https://doi.org/10.1007/978-3-319-66107-0_16Conference paper
A formalized general theory of syntax with bindings
Gheri, L. and Popescu, A. 2017. A formalized general theory of syntax with bindings. 8th International Conference Interactive Theorem Proving (ITP). Brasília, Brazil 26 - 29 Sep 2017 Springer. pp. 241-261 https://doi.org/10.1007/978-3-319-66107-0_16Conference paper
A formally verified abstract account of Gödel's incompleteness theorems
Popescu, A. and Traytel, D. 2019. A formally verified abstract account of Gödel's incompleteness theorems. Fontaine, P. (ed.) CADE 27 - 27th International Conference on Automated Deduction. Natel, Brazil 27 - 30 Aug 2019 Springer, Cham. pp. 442-461 https://doi.org/10.1007/978-3-030-29436-6_26Conference paper
A framework for energy based performability models for wireless sensor networks
Omondi, F., Shah, P., Gemikonakli, O. and Ever, E. 2015. A framework for energy based performability models for wireless sensor networks. IEEE 29th International Conference on Advanced Information Networking and Applications Workshops (WAINA-2015). Gwangju, South Korea 24 - 27 Mar 2015 IEEE. pp. 175-180 https://doi.org/10.1109/WAINA.2015.111Conference paper
A framework for evaluating flood risk governance
Alexander, M., Priest, S. and Mees, H. 2016. A framework for evaluating flood risk governance. Environmental Science & Policy. 64, pp. 38-47. https://doi.org/10.1016/j.envsci.2016.06.004Article
A framework for high-throughput gene signatures with microarray-based brain cancer gene expression profiling data
Lai, H., Albrecht, A. and Steinhöfel, K. 2014. A framework for high-throughput gene signatures with microarray-based brain cancer gene expression profiling data. 6th International Conference on Agents and Artificial Intelligence. Angers, France SCITEPRESS - Science and Technology Publications. https://doi.org/10.5220/0004926002110220Conference paper
A framework for testing SOA applications
Oussena, S., Barn, B. and Sparks, D. 2009. A framework for testing SOA applications. ICSOFT 2009: 4th International Conference on Software and Data Technologies. Sofia, Bulgaria 26 - 29 Jul 2009 Sofia, Bulgaria Institute for Systems and Technologies of Information, Control and Communication. pp. 53-60 https://doi.org/10.5220/0002257200530060Conference paper
A framework for trustworthiness assessment based on fidelity in cyber and physical domains
De Florio, V. and Primiero, G. 2015. A framework for trustworthiness assessment based on fidelity in cyber and physical domains. 2nd International Workshop on Computational Antifragility and Antifragile Engineering (ANTIFRAGILE 2015). London, UK 02 - 05 Jun 2015 Elsevier. https://doi.org/10.1016/j.procs.2015.05.092Conference paper
A framework linking ecosystem services and human well‐being: Saltmarsh as a case study
Rendón, O., Garbutt, A., Skov, M., Möller, I., Alexander, M., Ballinger, R., Wyles, K., Smith, G., McKinley, E., Griffin, J., Thomas, M., Davidson, K., Pagès, J., Read, S. and Beaumont, N. 2019. A framework linking ecosystem services and human well‐being: Saltmarsh as a case study. People and Nature. 1 (4), pp. 486-496. https://doi.org/10.1002/pan3.10050Article
A framework to assess integration in flood risk management: implications for governance, policy, and practice
Cumiskey, L., Priest, S., Klijn, F. and Juntti, M. 2019. A framework to assess integration in flood risk management: implications for governance, policy, and practice. Ecology & Society. 24 (4). https://doi.org/10.5751/ES-11298-240417Article
A framework to include the (inter)dependencies of Disaster Risk Reduction measures in coastal risk assessment
Cumiskey, L., Priest, S., Valchev, N., Viavattene, C., Costas, S. and Clarke, J. 2018. A framework to include the (inter)dependencies of Disaster Risk Reduction measures in coastal risk assessment. Coastal Engineering. 134, pp. 81-92. https://doi.org/10.1016/j.coastaleng.2017.08.009Article
A geo time authentication system.
Mostarda, L., Tocchio, A., Inverardi, P. and Costantini, S. 2007. A geo time authentication system. Springer. https://doi.org/10.1007/978-0-387-73655-6_9Conference paper
A hybrid approach to minimize state space explosion problem for the solution of two stage tandem queues
Ever, E., Gemikonakli, O., Kocyigit, A. and Gemikonakli, E. 2013. A hybrid approach to minimize state space explosion problem for the solution of two stage tandem queues. Journal of Network and Computer Applications. 36 (2), pp. 908-926. https://doi.org/10.1016/j.jnca.2012.10.006Article
A hybrid double-threshold based cooperative spectrum sensing over fading channels
Vien, Q., Nguyen, H., Trestian, R., Shah, P. and Gemikonakli, O. 2016. A hybrid double-threshold based cooperative spectrum sensing over fading channels. IEEE Transactions on Wireless Communications. 15 (3), pp. 1821-1834. https://doi.org/10.1109/TWC.2015.2496598Article
A journey towards accountable and legitimate partnerships, Journey planner for legitimate partnerships
Priest, S. and Alexander, M. 2021. A journey towards accountable and legitimate partnerships, Journey planner for legitimate partnerships. Environment Agency.Technical report
A journey towards accountable and legitimate partnerships, Journey planner on internal partnership dynamics
Priest, S. and Alexander, M. 2021. A journey towards accountable and legitimate partnerships, Journey planner on internal partnership dynamics. Environment Agency.Technical report
“A life free from care” – the hermit and the analyst
Henderson, D. 2015. “A life free from care” – the hermit and the analyst. International Thomas Merton Society 14th General Meeting: Merton 100: Living the Legacy. Louisville, Kentucky, USA 04 - 07 Jun 2015Conference paper
A local search heuristic for bounded-degree minimum spanning trees
Zahrani, M., Loomes, M., Malcolm, J. and Albrecht, A. 2008. A local search heuristic for bounded-degree minimum spanning trees. Engineering Optimization. 40 (12), pp. 1115-1135. https://doi.org/10.1080/03052150802317440Article
A mathematical model for highly available clusters with one head and several identical computing nodes.
Ever, E., Gemikonakli, O. and Chakka, R. 2006. A mathematical model for highly available clusters with one head and several identical computing nodes. in: Al-Begain, K., Al-Dabass, D. and Orsoni, A. (ed.) UKSIM 2006: 9th International conference on computer modelling and simulation. Oxford United Kingdom Society for Modelling and Simulation. pp. 32-37Book chapter
A mathematical model for performability evaluation of heterogeneous multiprocessor systems with reconfiguration and rebooting delays.
Ever, E., Gemikonakli, O., Chakka, R. and Do, T. 2005. A mathematical model for performability evaluation of heterogeneous multiprocessor systems with reconfiguration and rebooting delays. in: Teixeira, J. (ed.) Modelling and simulation 2005: the European simulation and modelling conference 2005, ESM 2005. Ghent EUROSIS.Book chapter
A mathematical model for performability of Beowulf clusters.
Ever, E., Gemikonakli, O. and Chakka, R. 2006. A mathematical model for performability of Beowulf clusters. in: 39th Annual Simulation Symposium: proceedings. California IEEE Computer Society. pp. 118-126Book chapter
A meta-analysis of pathological gaming prevalence and comorbidity with mental health, academic and social problems
Ferguson, C., Coulson, M. and Barnett, J. 2011. A meta-analysis of pathological gaming prevalence and comorbidity with mental health, academic and social problems. Journal of Psychiatric Research. 45 (12), pp. 1573-1578. https://doi.org/10.1016/j.jpsychires.2011.09.005Article
A method for enterprise architecture alignment
Clark, T., Barn, B. and Oussena, S. 2012. A method for enterprise architecture alignment. Proper, E., Gaaloul, K., Harmsen, F. and Wrycza, S. (ed.) 4th Working Conference on Practice-Driven Research on Enterprise Transformation. Gdańsk, Poland 27 Jun 2012 Springer. pp. 48-76 https://doi.org/10.1007/978-3-642-31134-5_3Conference paper
A method for monetising the mental health costs of flooding
Viavattene, C. and Priest, S. 2020. A method for monetising the mental health costs of flooding. Bristol, UK Environment Agency.Project report
A method to assess bioavailability of antibiotics in anthropogenic polluted ecosystems by using a bacterial fitness test
Marvasi, M., Canali, A., Perito, B., Shah, A. and Serafim, V. 2019. A method to assess bioavailability of antibiotics in anthropogenic polluted ecosystems by using a bacterial fitness test. Journal of Microbiological Methods. 167, pp. 1-5. https://doi.org/10.1016/j.mimet.2019.105724Article
A mobile social software application to support work based learning in social work
Barn, B., Oussena, S. and Barn, R. 2009. A mobile social software application to support work based learning in social work. Kinshuk, Sampson, D., Spector, J., Isaías, P. and Ifenthaler, D. (ed.) 2009 IADIS International Conference on Cognition and Exploratory Learning in Digital Age. Rome, Italy 20 - 22 Nov 2009 pp. 227-234Conference paper
A modal type theory for formalizing trusted communications
Primiero, G. and Taddeo, M. 2012. A modal type theory for formalizing trusted communications. Journal of Applied Logic. 10 (1), pp. 92-114. https://doi.org/10.1016/j.jal.2011.12.002Article
A model based approach to systems requirements for event driven enterprise architecture
Barn, B., Clark, T. and Oussena, S. 2012. A model based approach to systems requirements for event driven enterprise architecture. 5th India Software Engineering Conference. Kanpur, India 22 - 25 Feb 2012Conference paper
A model based realisation of actor model to conceptualise an aid for complex dynamic decision-making
Barat, S., Kulkarni, V., Clark, T. and Barn, B. 2017. A model based realisation of actor model to conceptualise an aid for complex dynamic decision-making. MODELSWARD 2017: 5th International Conference on Model-Driven Engineering and Software Development. Porto, Portugal 19 - 21 Feb 2017 SCITEPRESS - Science and Technology Publications. pp. 605-616 https://doi.org/10.5220/0006216306050616Conference paper
A model for trustworthy orchestration in the internet of things
Bottone, M., Primiero, G., Raimondi, F. and De Florio, V. 2016. A model for trustworthy orchestration in the internet of things. 2016 12th International Conference on Intelligent Environments (IE). London, United Kingdom 14 - 16 Sep 2016 IEEE. pp. 171-174 https://doi.org/10.1109/IE.2016.37Conference paper
A model-based approach to aligning business goals with enterprise architecture
Clark, T. and Barn, B. 2013. A model-based approach to aligning business goals with enterprise architecture. in: Progressions and Innovations in Model-Driven Software Engineering IGI Global. pp. 252-274Book chapter
A model-based approach to systematic reviews of research literature
Barat, S., Clark, T., Barn, B. and Kulkarni, V. 2017. A model-based approach to systematic reviews of research literature. ISEC 2017: Innovations in Software Engineering Conference. Jaipur, India 05 - 07 Feb 2017 Association for Computing Machinery (ACM). pp. 15-25 https://doi.org/10.1145/3021460.3021462Conference paper
A model-driven engineering framework for architecting and analysing Wireless Sensor Networks
Doddapaneni, K., Ever, E., Gemikonakli, O., Malavolta, I., Mostarda, L. and Muccini, H. 2012. A model-driven engineering framework for architecting and analysing Wireless Sensor Networks. Third International Workshop on Software Engineering for Sensor Network Applications (SESENA'12). Zurich, Switzerland 02 Jun 2012 IEEE Press Piscataway, NJ, USA. pp. 1-7 https://doi.org/10.1109/SESENA.2012.6225729Conference paper
A modelling technique for enterprise agility
Nwokeji, J., Aqlan, F., Barn, B., Clark, T. and Kulkarni, V. 2018. A modelling technique for enterprise agility. HICSS-51 The 51st Hawaii International Conference on System Sciences. Hawaii, USA 03 - 06 Jan 2018 University of Hawaii. pp. 4631-4640Conference paper
35359
total views8068
total downloads5048
views this month1534
downloads this month