School of Computing, Engineering & Digital Technologies

Filter
Conference contribution

Search results

  • 2012

    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 proceeding › Conference contribution

  • A web comic strip creator for educational comics with assessable learning objectives

    Lazarinis, F. & Pearson, E., 22 Jun 2012, Intelligent Tutoring Systems - 11th International Conference, ITS 2012, Proceedings. p. 701-702 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7315 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • CaveUDK: a VR game engine middleware

    Lugrin, J., Charles, F., Cavazza, M., Le Renard, M., Freeman, J. & Lessiter, J., 2012, VRST '12 Proceedings of the 18th ACM symposium on Virtual reality software and technology. ACM

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Cloud storage in a private cloud deployment: Lessons for data intensive research

    Chang, V., Walters, R. J. & Wills, G., 30 Sept 2012, CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science. p. 46-55 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Curvature ductility of concrete element under high strain-rates

    Syed, Z., Mendis, P., Lam, N. & Tuan, N., 6 Jun 2012, Progress in Structures. p. 2910-2917 8 p. (Applied Mechanics and Materials; vol. 166-169).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • Denotational Semantics for a Probabilistic Timed Shared-Variable Language

    Zhu, H., Sanders, J. W., He, J. & Qin, S., 2012, Unifying Theories of Programming, UTP 2012. Wolff , B., Gaudel , M. C. & Feliachi , A. (eds.). Springer Berlin, p. 224-247 (Lecture Notes in Computer Science; vol. 7681).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Developing a risk management approach for portfolio cost control

    Al-Sulaiti, A., Dawood, N. & Kassem, M., 2012, Qatar Foundation Annual Research Forum Proceedings. Q Science, Vol. 2012.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Efficient background subtraction for real-time tracking in embedded camera networks

    Shen, Y., Hu, W., Liu, J., Yang, M., Wei, B. & Chou, C. T., 2012, Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems: SenSys '12. New York: ACM, p. 295-308

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Energy efficiency and reducing carbon footprint in historic buildings in Malaysia

    Sahraei, M., Ismail, S. & Rahimian, F., 2012, 2nd International Conference on Socio-Political and Technological Dimensions of Climate Change, Hotel-Marriott Putrajaya. p. 107-117 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Epidural needle length measurement by video processing

    Vaughan, N., Dubey, V. N., Wee, M. Y. K. & Isaacs, R., 2012, IET Conference Publications.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Evaluation of the effectiveness of a tool to support novice auditors

    Bailey, C. & Pearson, E., 18 May 2012, W4A 2012 - International Cross-Disciplinary Conference on Web Accessibility.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • Exploring passive user interaction for adaptive narratives

    Gilroy, S., Porteous, J., Charles, F. & Cavazza, M., 2012, Proceedings of the 2012 ACM International Conference on Intelligent User Interfaces. New York: ACM, p. 119-128

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    458 Downloads (Pure)

  • Haptic interface on measured data for epidural simulation

    Vaughan, N., Dubey, V. N., Wee, M. Y. K. & Isaacs, R., 2012, Proceedings of the ASME Design Engineering Technical Conference. American Society of Mechanical Engineers(ASME), Vol. 2. p. 13-17 5 p. DETC2012-70891

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Implementing active demand in the ADDRESS project: Laboratory tests and first results from the field

    Belhomme, R., Eyrolles, P., Gonzalez Sainz-Maza, R., Jimeno Huarte, J., Valtorta, G., Morozova, E., Naso, F., Abi Ghanem, D. & Mander, S., 1 Dec 2012, 2012 3rd IEEE PES Innovative Smart Grid Technologies Europe, ISGT Europe 2012. 6465744. (IEEE PES Innovative Smart Grid Technologies Conference Europe).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • Intention recognition, commitment and the evolution of cooperation

    Han, T. A., Pereira, L. M. & Santos, F. C., 4 Oct 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. IEEE, 6256472. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    13 Citations (Scopus)

  • Investigating Time Properties of Interrupt-Driven Programs

    Huang, Y., Zhao, Y., Shi, J., Zhu, H. & Qin, S., 2012, Formal Methods: Foundations and Applications. SBMF 2012. Gheyi , R. & Naumann , D. (eds.). Springer Berlin, Vol. 7498. (Lecture Notes in Computer Science; vol. 7498).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • LBI Cut Elimination Proof with BI-MultiCut

    Arisaka, R. & Qin, S., 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering. IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude

    Zhu, H., Liu, P., He, J. & Qin, S., 2012, Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Wolff, B., Gaudel, M. C. & Feliachi, A. (eds.). Springer Berlin, p. 164-185 (Notes in Computer Science; vol. 7681).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Moral reasoning under uncertainty

    Han, T. A., Saptawijaya, A. & Moniz Pereira, L., 21 Mar 2012, Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Proceedings. p. 212-227 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7180 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    25 Citations (Scopus)

  • Moverness for Locks and Transactions

    Barnett , G. & Qin, S., 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering. IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Multi-objective optimisation, sensitivity and robustness analysis in FBA modelling

    Costanza, J., Carapezza, G., Angione, C., Liò, P. & Nicosia, G., 30 Oct 2012, Computational Methods in Systems Biology - 10th International Conference, CMSB 2012, Proceedings. p. 127-147 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7605 LNBI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • Predictive PID controller for DC-DC converters using an adaptive prediction error filter

    Algreer, M., Armstrong, M. & Giaouris, D., 13 Aug 2012, 6th IET International Conference on Power Electronics, Machines and Drives, PEMD 2012. 592 CP ed. Vol. 2012.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The emergence of commitments and cooperation

    Han, T. A., Pereira, L. M. & Santos, F. C., 2012, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems(AAMAS 2012. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 992-999 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs

    Zhu, H., Xu, Q., Ma, C., Qin, S. & Qiu, Z., 2012, Software Engineering and Formal Methods. SEFM 2012. Eleftherakis , G., Hinchey , M. & Holcombe , M. (eds.). Springer Berlin, (Lecture Notes in Computer Science; vol. 7504).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Thermal management materials for electronic control unit: Trends, processing technology and R&D challenges

    Otiaba, K. C., Ekere, N. N., Amalu, E. H., Bhatti, R. S. & Mallik, S., 1 Jan 2012, Advances in Materials and Systems Technologies III. p. 301-307 7 p. (Advanced Materials Research; vol. 367).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Transformability in post-earthquake houses: towards a more sustainable design approach in Iran

    Parva, M., Dola, K. & Rahimian, F., 2012, 2nd International Conference on Socio-Political and Technological Dimensions of Climate Change, Hotel-Marriott Putrajaya.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    56 Downloads (Pure)

  • Virtual reality based enhanced visualization of epidural insertion

    Vaughan, N., Dubey, V. N., Wee, M. Y. K. & Isaacs, R., 2012, Proceedings of the ASME Design Engineering Technical Conference. American Society of Mechanical Engineers(ASME), Vol. 2. p. 1413-1418 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Where's the story? Forms of interactive narrative in current digital games and other digital forms

    Koenitz, H., Haahr, M., Ferri, G., Sezen, T. I. & Sezen, D., 2012, Interactive Storytelling: ICIDS 2012. Oyarzun, D., Peinado, F., Young, R. M., Elizalde, A. & Méndez, G. (eds.). Springer, p. 214-215 2 p. (Lecture Notes in Computer Science; vol. 7648).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2011

    A specialization calculus for pruning disjunctive predicates to support verification

    Chin, W. N., Gherghina, C., Voicu, R., Le, Q. L., Craciun, F. & Qin, S., 20 Jul 2011, Computer aided verification: Lecture Notes in Computer Science. Gopalakrishnan, G. & Qadeer, S. (eds.). Berlin: Springer, p. 293-309 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6806 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    5 Citations (Scopus)
    122 Downloads (Pure)

  • A system to support accurate transcription of information systems lectures for disabled students

    Papadopoulos, M. & Pearson, E., 1 Dec 2011, ACIS 2011 Proceedings - 22nd Australasian Conference on Information Systems.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • Automatically refining partial specifications for Program Verification

    Qin, S., Luo, C., Chin, W.-N. & He, G., 2011, FM 2011: Formal Methods: Lecture notes in computer science, 6664. Butler, M. & Schulte, W. (eds.). Berlin: Springer Berlin, p. 369-385 ( Lecture Notes in Computer Science; vol. 6664).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    213 Downloads (Pure)

  • Deflection damage criteria for concrete elements under blast loading

    Syed, Z. I., Mendis, P. A., Ngo, T. & Lam, N. T. K., 1 Dec 2011, Incorporating Sustainable Practice in Mechanics of Structures and Materials - Proceedings of the 21st Australian Conference on the Mechanics of Structures and Materials. p. 609-614 6 p. (Incorporating Sustainable Practice in Mechanics of Structures and Materials - Proceedings of the 21st Australian Conference on the Mechanics of Structures and Materials).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • Development and trial of an educational tool to support the accessibility evaluation process

    Bailey, C. & Pearson, E., 2011, W4A '11 Proceedings of the International Cross-Disciplinary Conference on Web Accessibility. Andra Pradesh India: ACM

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Effects of inter-metallic compound on high temperature reliability of flip chip interconnects for fine pitch applications

    Amalu, E. H., Ekere, N. N. & Aminu, G., 1 Dec 2011, 3rd IEEE International Conference on Adaptive Science and Technology, ICAST 2011, Proceedings. p. 208-213 6 p. 6145173

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Elder care via intention recognition and evolution prospection

    Pereira, L. M. & Han, T. A., 1 Jan 2011, Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Revised Selected Papers. Springer Verlag, p. 170-187 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6547 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Citations (Scopus)

  • Emerging nanotechnology-based thermal interface materials for automotive electronic control unit application

    Otiaba, K. C., Ekere, N. N., Bhatti, R. S., Mallik, S. & Amalu, E. H., 1 Dec 2011, EMPC-2011 - 18th European Microelectronics and Packaging Conference, Proceedings. 6142405

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Evidence-based information systems: a decade later

    Oates, B. J., 2011, ECIS 2011 Proceedings. Association for Information Systems

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Exploring a standards-based approach to the design and delivery of adaptable learning content. A case study

    Gkatzidou, V. & Pearson, E., 19 Sept 2011, Proceedings of the 2011 11th IEEE International Conference on Advanced Learning Technologies, ICALT 2011. p. 267-271 5 p. 5992245

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • Feeding the Beast: Can Computational Demographic Models Free Us from the Tyranny of Data?

    Silverman, E., Bijak, J. & Noble, J., 12 Aug 2011, Artificial Life Conference Proceedings. MIT Press Journals, 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    138 Downloads (Pure)

  • Games and Education: Reward Mechanisms, Framing Mechanisms, and Identities

    Sturrock, I., Grout, V., Picking, R., Gossman, P. & MacCallum-Stewart, E., 2011, SEIN2011: Proceedings of the Seventh Collaborative Research Symposium on Security, E-learning, Internet and Networking. University of Plymouth Press

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Generating story variants with constrained video recombination

    Piacenza, A., Guerrini, F., Adami, N., Leonardi, R., Porteous, J., Teutenberg, J. & Cavazza, M., 28 Nov 2011, MM '11: Proceedings of the 19th ACM international conference on Multimedia. ACM, p. 223-232

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    180 Downloads (Pure)

  • Intention-based decision making with evolution prospection

    Han, T. A. & Pereira, L. M., 26 Oct 2011, Progress in Artificial Intelligence - 15th Portuguese Conference on Artificial Intelligence, EPIA 2011, Proceedings. p. 254-267 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7026 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Citations (Scopus)

  • Investigation of effects of heat sinks on thermal performance of microelectronic package

    Ekere, N. & Amalu, E., 1 Dec 2011, 3rd IEEE International Conference on Adaptive Science and Technology, ICAST 2011, Proceedings. p. 127-132 6 p. 6145164

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Citations (Scopus)

  • Multi-level 3D caricatures with relative feature displacement and head shapes

    Noble, P., Tang, W. & Oates, B., 12 Jun 2011, Proceedings of Computer Graphics International 2011.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • New framework for policy support for Mobile Grid Services

    Alwada'n, T., Janicke, H., Aldabbas, O. & Alfawair, M., 2011, 6th International Conference on Risks and Security of Internet and Systems, CRiSIS 2011. IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Real-time HIL simulation: A powerful visualisation technique to support the development of safety-critical control systems

    Short, M., Denaï, M. & Cao, W., 2011, iVERG 2010 Proceedings - International Conference on Immersive Technologies for Learning: A multi-disciplinary approach. Martin, S. (ed.). Iverg Publishing

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Reliable system design for small devices

    Schwartz, M., Short, M. & Börcsök, J., 2011, Proceedings: Advances in industrial asset integrity management. Singh, M., Rao, R. & Liyanage, J. P. (eds.). COMADEM International

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Structured specifications for better verification of heap-manipulating programs

    Gherghina, C., David, C., Qin, S. & Chin, W.-N., 2011, FM 2011: Formal Methods: Lecture notes in computer science, 6664. Butler, M. & Schulte, W. (eds.). Berlin: Springer, p. 386-401 (Lecture notes in computer science; 6664).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    274 Downloads (Pure)

  • The origins of communication revisited.

    Arranz, J., Noble, J. & Silverman, E., 12 Aug 2011, Proceedings of the Eleventh European Conference on the Synthesis and Simulation of Living Systems. Advances in Artificial Life, ECAL 2011, Mon, 8 Aug 2011 to Fri, 12 Aug 2011. MIT Press Journals, 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    32 Downloads (Pure)

  • Thermal effects of die-attach voids location and style on performance of chip level package

    Otiaba, K. C., Bhatti, R. S., Ekere, N. N., Mallik, S. & Amalu, E. H., 1 Dec 2011, 3rd IEEE International Conference on Adaptive Science and Technology, ICAST 2011, Proceedings. p. 231-236 6 p. 6145176

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Citations (Scopus)