Filter
Conference contribution

Search results

  • 2PDA: Two-phase data approximation in wireless sensor network

    Kamal, A. R. M., Razzaque, M. A. A. & Nixon, P., 20 Dec 2010, PE-WASUN'10 - Proceedings of the 7th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Co-located with MSWiM'10. p. 1-8 8 p. 1868591. (PE-WASUN'10 - Proceedings of the 7th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Co-located with MSWiM'10).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • ABAC Requirements Engineering for Database Applications

    Longstaff, J. & He, M., 29 Jul 2019, Proceedings: 2019 13th International Symposium on Theoretical Aspects of Software Engineering. Institute of Electrical and Electronics Engineers Inc., p. 33 - 40 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    60 Downloads (Pure)
  • Account and Transaction Protocol of the Open Banking Standard

    Almehrej, A., Freitas, L. & Modesti, P., 22 May 2020, Rigorous State-Based Methods, 7th International Conference, ABZ 2020. Raschke, A., Méry, D. & Houdek, F. (eds.). Springer International Publishing AG, Vol. 12071. 7 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    19 Downloads (Pure)
  • A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs

    Barnett, G. & Qin, S., 2012, Formal Methods and Software Engineering. ICFEM 2012. Aoki, T. & Taguchi, K. (eds.). Springer Berlin, Vol. 7635. ( Lecture Notes in Computer Science; vol. 7635).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Computational Model of Cancer Metabolism for Personalised Medicine

    Occhipinti, A. & Angione, C., 6 Mar 2021, Building Bridges in Medical Science 2021. Cambridge Medical Journal, (Cambridge Medical Journal; vol. 28 Mar).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    29 Downloads (Pure)
  • A cross-layer architecture for autonomic communications

    Razzaque, M. A., Dobson, S. & Nixon, P., 1 Jan 2006, Autonomic Networking - First International IFIP TC6 Conference, AN 2006, Proceedings. Gaïti, D., Al-Shaer, E., Calvert, K., Pujolle, G., Leduc, G., Martikainen, O. & Dobson, S. (eds.). Springer Verlag, p. 25-35 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4195 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Citations (Scopus)
  • Adaptive Activation Function Generation Through Fuzzy Inference for Grooming Text Categorisation

    Zuo, Z., Li, J., Wei, B., Yang, L., Fei, C. & Naik, N., 23 Jun 2019, IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2019 .

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    98 Downloads (Pure)
  • A Data-driven Approach to Solve a Production Constrained Build-order Optimization Problem

    Wang, P., Zeng, Y., Chen, B. & Cao, L., 17 Oct 2019, Proceedings of the 38th Chinese Control Conference. Fu, M. & Sun, J. (eds.). IEEE, p. 2692-2697 (Chinese Control Conference (CCC); vol. 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    69 Downloads (Pure)
  • A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints

    Le, Q. L. & He, M., 23 Oct 2018, Programming Languages and Systems. APLAS 2018. Ryu, S. (ed.). Springer, ( Lecture Notes in Computer Science; vol. 11275).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    119 Downloads (Pure)
  • A Learning Design Framework to Support Children with Learning Disabilities Incorporating Gamification Techniques

    Shaban, A. & Pearson, E., 9 May 2019, Conference on Human Factors in Computing Systems - Proceedings: Weaving The Threads of CHI. p. 1-6 7 p. 3312806. (Conference on Human Factors in Computing Systems - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    365 Downloads (Pure)
  • An algebraic approach to hardware/software partitioning

    Qin, S. & He, J., 2000, ICECS 2000: 7th IEEE international conference on electronics, circuits & systems. IEEE, Vol. 1. p. 273-276

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    120 Downloads (Pure)
  • Analysing memory resource bounds for low-level programs

    Chin, W-N., Nguyen, H. H., Popeea, C. & Qin, S., 2008, Proceedings of the 7th international symposium on Memory management. ACM, p. 151-160

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • An Automatic Mapping from Statecharts to Verilog

    Tran, V-A. V., Qin, S. & Chin, W-N., 2004, Theoretical Aspects of Computing - ICTAC 2004. Liu, Z. & Araki, K. (eds.). Springer Berlin, Vol. 3407. p. 187-203 ( Lecture Notes in Computer Science; vol. 3407).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • An Empirical Research on the Investment Strategy of Stock Market based on Deep Reinforcement Learning model

    Li, Y., Ni, P. & Chang, V., 1 Jan 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 52-58 7 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • An implementation of extended P-log using XASP

    Han, T. A., Ramli, C. K. & Damásio, C. V., 2008, Logic Programming. ICLP 2008. Garcia de la Banda, M. & Pontelli, E. (eds.). Springer, p. 738-743 6 p. ( Lecture Notes in Computer Science; vol. 5366).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • An Interval-Based Inference of Variant Parametric Types

    Craciun, F., Chin, W-N., He, G. & Qin, S., 2009, Programming Languages and Systems. ESOP 2009. Castagna, G. (ed.). Springer Berlin, p. 112-127 (Lecture Notes in Computer Science; vol. 5502).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A novel cuckoo search based clustering algorithm for wireless sensor networks

    Adnan, M. A., Razzaque, M. A., Abedin, M. A., Salim Reza, S. M. & Hussein, M. R., 1 Jan 2016, Advanced Computer and Communication Engineering Technology - Proceedings of ICOCOE 2015. Sulaiman, H. A., Othman, M. A., Othman, M. F. I., Rahim, Y. A. & Pee, N. C. (eds.). Springer Verlag, p. 621-634 14 p. (Lecture Notes in Electrical Engineering; vol. 362).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Citations (Scopus)
  • A relational model for object-oriented designs

    He, J., Liu, Z., Li, X. & Qin, S., 2004, Programming languages and systems. Springer Verlag, p. 415-436

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    73 Downloads (Pure)
  • A review on ethical issues for smart connected toys in the context of big data

    Chang, V., Li, Z. & Ramachandran, M., 2 May 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 149-156 8 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    241 Downloads (Pure)
  • A review on how big data analytics can influence education

    Chang, V., Xu, Q. & Mendez, V., 1 Jan 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 130-138 9 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    52 Downloads (Pure)
  • A security-aware safety management framework for IoT-integrated bikes

    Razzaque, M. A. & Clarke, S., 1 Jan 2015, IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 92-97 6 p. 7389033. (IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • A security framework to protect data in cloud storage

    Yahya, F., Chang, V., Walters, R. J. & Wills, G. B., 2 May 2019, IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security. Chang, V., Ramachandran, M., Walters, R., Munoz, V. M. & Wills, G. (eds.). SciTePress, p. 307-314 8 p. (IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Semantic Foundation for TCOZ in Unifying Theories of Programming

    Qin, S., Dong, J. S. & Chin, W-N., 2003, FME 2003: Formal Methods. Springer Berlin, p. 321-340 (Lecture Notes in Computer Science; vol. 2805).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Social App that Combines Dating and Museum Visiting Experiences

    Akçalı, A., Iurgel, I. A. & Sezen, T., 31 Jan 2019, Interactivity, Game Creation, Design, Learning, and Innovation. Brooks, A. L., Brooks, E. & Sylla, C. (eds.). Springer, Vol. 265. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 265).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Storytelling Smart-City Approach to Further Cross-Regional Tourism

    Fischöder, N., Iurgel, I. A., Sezen, T. I. & van Turnhout, K., 31 Jan 2019, Interactivity, Game Creation, Design, Learning, and Innovation: ArtsIT 2018, DLI 2018, Proceedings. Brooks, A. L., Brooks, E. & Sylla, C. (eds.). Springer, p. 266-275

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A survey on RFID security and privacy in smart medical: Threats and protections

    Shi, X., Cao, J., Lu, T. & Chang, V., 2 May 2019, IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security. Chang, V., Ramachandran, M., Walters, R., Munoz, V. M. & Wills, G. (eds.). SciTePress, p. 278-285 8 p. (IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Timed CSP Model for the Time-Triggered Language Giotto

    Huang, Y., Zhao, Y., Qin, S., He, G. & Ferreira, J., 2012, 2012 35th Annual IEEE Software Engineering Workshop. IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Top-Down Narrative Design Approach for Networked Cultural Institutions

    Sezen, T. I., Iurgel, I., Fischöder, N., Bakker, R., Turnhout, K. V. & Sezen, D., 21 Nov 2018, Interactive Storytelling. Rouse, R., Koenitz, H. & Haahr, M. (eds.). Springer, p. 627-632 ( Lecture Notes in Computer Science; vol. 11318).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Automated Game-Theoretic Verification of Security Systems

    Mu, C., 4 Sep 2019, Quantitative Evaluation of Systems. QEST 2019. Parker, D. & Wolf, V. (eds.). Springer, p. 239-256 (Lecture Notes in Computer Science; vol. 11785).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    150 Downloads (Pure)
  • A vision for truly adaptable and accessible learning objects

    Gkatzidou, S. & Pearson, E. J., 2008, Proceedings ASCILITE Australasian Society for Computers in Learning in Tertiary Education. Australasian Society for Computers in Learning and Tertiary Education, p. 340-342

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    9 Downloads (Pure)
  • Benchmark framework for virtual students' behaviours

    Lugrin, J. L., Charles, F., Habel, M., Matthews, J., Porteous, J., Dudaczy, H., Oberdörfer, S., Wittmann, A., Seufert, C., Grafe, S. & Latoschik, M. E., 16 Jul 2018, 17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 2236-2238 3 p. (AAMAS Electronic Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    31 Downloads (Pure)
  • Bi-Abductive Inference for Shape and Ordering Properties

    Curry, C., Le, Q. L. & Qin, S., 26 Aug 2019, the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    67 Downloads (Pure)
  • Blending into the white box of the art museum

    Lange, V., Van Beuzekom, M., Hansma, M., Jeurens, J., Van Den Oever, W., Regterschot, M., Treffers, J., Van Turnhout, K., Sezen, T. I., Iurgel, I. & Bakker, R., Nov 2019, HTTF 2019: Proceedings of the Halfway to the Future Symposium 2019. Fischer, J. E., Martindale, S., Porcheron, M., Reeves, S. & Spence, J. (eds.). Association for Computing Machinery (ACM), 25

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Breaking Points ― A Continuously Developing Interactive Digital Narrative

    Koenitz, H., Sezen, T. I. & Sezen, D., 6 Nov 2013, Interactive Storytelling. ICIDS 2013. Koenitz, H., Sezen, T. I., Ferri, G., Haahr, M., Sezen, D. & C̨atak, G. (eds.). Springer, p. 107-113 ( Lecture Notes in Computer Science; vol. 8230).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Card-Based Methods in Interactive Narrative Prototyping

    Koenitz, H., Dubbelman, T., Knoller, N., Roth, C., Haahr, M., Sezen, D. & Sezen, T. I., 21 Nov 2018, Interactive Storytelling: 11th International Conference on Interactive Digital Storytelling, ICIDS 2018, Dublin, Ireland, December 5–8, 2018, Proceedings. Rouse, R., Koenitz, H. & Haahr, M. (eds.). Springer, Vol. 11318. p. 552-555 4 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Categorisation and modelling of quality in context information

    Razzaque, M. A., Dobson, S. & Nixon, P., 2005, Proceedings of the IJCAI 2005 workshop on AI and Autonomic Communications. 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Clustering and Classification of a Qualitative Colorimetric Test

    Hoque Tania, M., Lwin, K. T., Shabut, A. M. & Hossain, A., 7 Mar 2019, Proceedings - 2018 International Conference on Computing, Electronics and Communications Engineering, iCCECE 2018. Excell, P. S., Ali, M., Jones, A., Soomro, S. & Miraz, M. H. (eds.). Institute of Electrical and Electronics Engineers Inc., 5 p. 8658480. (Proceedings - 2018 International Conference on Computing, Electronics and Communications Engineering, iCCECE 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Compression-based energy efficient sensor data gathering framework for smartphones

    Razzaque, M. A. & Clarke, S., 26 Sep 2016, 2016 International Wireless Communications and Mobile Computing Conference, IWCMC 2016. Institute of Electrical and Electronics Engineers Inc., p. 126-132 7 p. 7577045. (2016 International Wireless Communications and Mobile Computing Conference, IWCMC 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Concolic Testing Heap-Manipulating Programs

    Pham, L. H., Le, Q. L., Phan, Q-S. & Sun, J., 12 Jun 2019, (Accepted/In press) 23rd International Symposium on Formal Methods (FM 2019). Springer, 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    55 Downloads (Pure)
  • Constructing hardware/software interface using protocol converters

    Qin, S., Qiu, Z. & He, J., 2001, Second Asia-Pacific conference on quality software, Proceedings. IEEE, p. 141-148

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    97 Downloads (Pure)
  • Context awareness through cross-layer network architecture

    Razzaque, M. A., Dobson, S. & Nixon, P., 1 Dec 2007, Proceedings of 16th International Conference on Computer Communications and Networks 2007, ICCCN 2007. p. 1076-1081 6 p. 4317961. (Proceedings - International Conference on Computer Communications and Networks, ICCCN).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • Cost Effective Interventions in Complex Networks Using Agent-Based Modelling and Simulations: Doctoral Consortium

    Cimpeanu, T., 9 May 2020, Proceedings of AAMAS'20. Association for Computing Machinery (ACM), p. 2188-2190 (AAMAS Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Could PLE's be the future: from institutional control to student control

    Corfield, G. G., Green, S. J. S. & Pearson, E. J. E., 2008, Proceedings of the 9th annual conference of the subject centre for information and computer sciences. HE Academy, Subject Centre for ICS, p. 134-139

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Cross-layer self routing: A self-managed routing approach for MANETs

    Razzaque, M. A., Dobson, S. & Nixon, P., 1 Dec 2008, Proceedings - 4th IEEE International Conference on Wireless and Mobile Computing, Networking and Communication, WiMob 2008. p. 284-290 7 p. 4654250. (Proceedings - 4th IEEE International Conference on Wireless and Mobile Computing, Networking and Communication, WiMob 2008).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Citations (Scopus)
  • Curvature-Based Sparse Rule Base Generation for Fuzzy Interpolation Using Menger Curvature

    Zuo, Z., Li, J. & Yang, L., 31 Jan 2020, Advances in Computational Intelligence Systems - Contributions Presented at the 19th UK Workshop on Computational Intelligence, 2019. Ju, Z., Zhou, D., Gegov, A., Yang, L. & Yang, C. (eds.). Springer-Verlag, p. 53-65 13 p. (Advances in Intelligent Systems and Computing; vol. 1043).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    28 Downloads (Pure)
  • Data-Race-Freedom of Concurrent Programs

    Barnett, G. & Qin, S., 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC). IEEE, p. 272-279

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts

    Huang, Y., Ferreira, J., He, G., Qin, S. & He, J., 2013, Formal Methods and Software Engineering. ICFEM 2013. Groves, L. & Sun, J. (eds.). Springer Berlin, p. 165-181 (Lecture Notes in Computer Science; vol. 8144).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Decision procedure for separation logic with inductive predicates and Presburger arithmetic

    Tatsuta, M., Le, Q. L. & Chin, W-N., 9 Oct 2016, Programming Languages and Systems.: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings. Vol. 10017. ( Lecture Notes in Computer Science book series ; vol. 10017).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    68 Downloads (Pure)
  • Deep Dropout Artificial Neural Networks for Recognising Digits and Characters in Natural Images

    Barrow, E., Jayne, C. & Eastwood, M., 15 Nov 2015, Neural Information Processing: ICONIP 2015. Springer-Verlag, Vol. 9492. p. 29-37 9 p. ( Lecture Notes in Computer Science; vol. 9492).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Demonstrating the feasibility of an autonomic communication- targeted cross-layer architecture

    Razzaque, M. A., Nixon, P. & Dobson, S., 1 Dec 2006, Proceedings - 2006 14th International Conference on Advanced Computing and Communications, ADCOM 2006. p. 67-72 6 p. 4289858. (Proceedings - 2006 14th International Conference on Advanced Computing and Communications, ADCOM 2006).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)