School of Computing, Engineering & Digital Technologies

Filter
Conference contribution

Search results

  • 2013

    Hybrid-learning based data gathering in wireless sensor networks

    Razzaque, M. A., Fauzi, I. & Adnan, A., 11 Mar 2013, Intelligent Information and Database Systems - 5th Asian Conference, ACIIDS 2013, Proceedings. PART 2 ed. p. 90-99 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7803 LNAI, no. PART 2).

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

  • Invariants Synthesis over a Combined Domain for Automated Program Verification

    Qin, S., He, G., Chin, W.-N. & Yang, H., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Liu , Z., Woodcock , J. & Zhu , H. (eds.). Springer Berlin, Vol. 8051. (Lecture Notes in Computer Science).

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

  • Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude

    Liu, P., Zhu, H., Qin, S., Brooke, P. J. & Wu, X., 2013, 2013 18th International Conference on Engineering of Complex Computer Systems. IEEE

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

  • Linking the Semantics of BPEL Using Maude

    Liu, P., Zhu, H., Qin, S., Brooke, P. J. & Wu, X., 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC). IEEE

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

  • Mapping the Evolving Space of Interactive Digital Narrative - From Artifacts to Categorizations

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

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

  • Motivational and de-motivational factors for software engineers: An empirical investigation

    Asghar, I. & Usman, M., 2013, 2013 11th International Conference on Frontiers of Information Technology. Institute of Electrical and Electronics Engineers Inc., p. 66-71 6 p.

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

  • Multi objective design for bacterial communication networks

    Angione, C., Carapezza, G., Costanza, J., Lio, P. & Nicosia, G., 27 Dec 2013, 2013 IEEE International Conference on Communications Workshops, ICC 2013. p. 813-817 5 p. 6649345

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

  • Pareto epsilon-dominance and identifiable solutions for BioCAD modeling

    Angione, C., Costanza, J., Carapezza, G., Lió, P. & Nicosia, G., 12 Jul 2013, Proceedings of the 50th Annual Design Automation Conference, DAC 2013. 43

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

    2 Citations (Scopus)

  • Playing with Problems: How Gameplay Can Make Us Understand Community Problems and Help Us To Solve Them

    Sezen, D., 7 Jul 2013, Images (II) Images of the Poor. Bernard, V. (ed.). Lit Verlag

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

  • Review of creep cavitation and rupture of low Cr alloy and its weldment

    Xu, Q. H., Xu, Q., Pang, Y. X. & Short, M., 7 Oct 2013, Advances in Material Science, Mechanical Engineering and Manufacturing. p. 407-411 5 p. (Advanced Materials Research; vol. 744).

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

    Open Access
    1 Citation (Scopus)

  • Review of creep deformation and rupture mechanism of P91 alloy for the development of creep damage constitutive equations under low stress level

    An, L. L., Xu, Q., Xu, D. & Lu, Z., Jul 2013, Proceedings of WORLDCOMP2013---The 2013 International Conference on Scientific Computing. CSREA Press

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

  • Sea-Level Extremes and Change- Example of Bangladesh

    Karsili, C., Muhit, I. B., Hoque, M. E. & Islam, S., 3 Nov 2013, International Conference on Mechanical, Industrial and Materials Engineering 2013.

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

  • Security and privacy enhancement in VANETs using mobility pattern

    Ghaleb, F. A., Razzaque, M. A. & Isnin, I. F., 1 Dec 2013, ICUFN 2013 - 5th International Conference on Ubiquitous and Future Networks. p. 184-189 6 p. 6614808. (International Conference on Ubiquitous and Future Networks, ICUFN).

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

    11 Citations (Scopus)

  • Security in wireless sensor networks: Issues and challanges

    Ahmad Salehi, S., Razzaque, M. A., Naraei, P. & Farrokhtala, A., 9 Dec 2013, International Conference on Space Science and Communication, IconSpace. p. 356-360 5 p. 6599495. (International Conference on Space Science and Communication, IconSpace).

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

    17 Citations (Scopus)

  • Separation of cardiac and respiratory components from the electrical bio-impedance signal using PCA and fast ICA

    Muhammad, Y., Krivoshei, A. & Annus, P., 3 Jul 2013, International Conference on Control, Engineering & Information Technology (CEIT’13). 4 p.

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

    Open Access
    File
    31 Downloads (Pure)

  • Sequential Analysis of Drug Encapsulated Nanoparticle Transport and Drug Release Using Multicore Shared-memory Environment

    Alias, N., Islam, M. R., Ahmad, T. & Razzaque, M. A., 3 Sept 2013, Fourth International Conference and Workshops on Basic and Applied Sciences (4th ICOWOBAS) and Regional Annual Fundamental Science Symposium 2013 (11th RAFSS). p. 1-6 6 p.

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

  • Simulating the cost of social care in an ageing population.

    Silverman, E., Hilton, J. & Bijak, J., 30 May 2013, Proceedings of the 27th European Conference on Modelling and Simulation. Rekdalsbakken, W., Bye, R. T. & Zhang, H. (eds.). European Council for Modeling and Simulation, 7 p.

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

    Open Access
    File
    597 Downloads (Pure)

  • The Use of Second Life Electric Vehicle Batteries for Grid Support

    Lacey, G., Putrus, G. & Salim, A., Jun 2013, IEEE Eurocon Proceedings 2013. IEEE, 7 p.

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

  • Towards complete specifications with an error calculus

    Le, Q. L., Sharma, A., Craciun, F. & Chin, W. N., 9 Sept 2013, NASA Formal Methods - 5th International Symposium, NFM 2013, Proceedings. p. 291-306 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7871 LNCS).

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

    3 Citations (Scopus)

  • Towards mapping the evolving space of interactive digital narrative

    Koenitz, H., Haahr, M., Ferri, G., Sezen, T. I. & Sezen, D., 2013, Interactive Storytelling. ICIDS 2013. Koenitz, H., Sezen, T. I., Ferri, G., Haahr, M., Sezen, D. & C̨atak, G. (eds.). Springer, p. 285-286 2 p. (Lecture Notes in Computer Science).

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

  • Verifying Simulink diagrams via a Hybrid Hoare Logic Prover

    Zou, L., Zhany, N., Wang, S., Fränzle, M. & Qin, S., 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT). IEEE

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

  • Video tracking of Tuohy needle for an enhanced epidural simulator user interface

    Vaughan, N., Dubey, V. N., Wee, M. Y. K. & Isaacs, R., 2013, Proceedings of the ASME Design Engineering Technical Conference. American Society of Mechanical Engineers(ASME), Vol. 2 B. V02BT02A039

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

  • Why is it so hard to say sorry? Evolution of apology with commitments in the iterated Prisoner's Dilemma

    Han, T. A., Pereira, L. M., Santos, F. C. & Lenaerts, T., 1 Dec 2013, IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. p. 177-183 7 p.

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

    15 Citations (Scopus)
  • 2012

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

  • A fast and efficient task splitting technique to maximize utilization in uniprocessor systems scheduled with non-preemptive EDF

    Short, M., 1 Dec 2012, 11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012, PSAM11 ESREL 2012. p. 1984-1993 10 p. (11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012, PSAM11 ESREL 2012; vol. 3).

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

  • A Framework for Construction Workspace Management: A Serious Game Engine Approach

    Chavada, R. D., Kassem, M., Dawood, N. N. & Naji, K. K., 2012, Computing in Civil Engineering (2012): proceedings of the 2012 ASCE international conference on computing in civil engineering, American Society of Civil Engineers. American Society of Civil Engineers (ASCE), p. 57-64

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

    Open Access
    File
    311 Downloads (Pure)

  • A hybrid EDF algorithm for implementing resource-constrained real-time control applications

    Abugchem, F., Short, M. & Xu, D., 2012, Proceedings of ETFA 2012 - IEEE International Conference on Emerging Technology & Factory Automation, 17-21 September 2012, Krakow, Poland.. IEEE

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

  • An intelligent system to support accurate transcription of university lectures

    Papadopoulos, M. & Pearson, E., 22 Jun 2012, Intelligent Tutoring Systems - 11th International Conference, ITS 2012, Proceedings. p. 718-719 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

  • A numerical test of viscous transonic flow with the TVD scheme: AIAA Paper# 99-4838

    Cui, X., Ruban, A. I. & Wang, Y., 22 Aug 2012, American Institute of Aeronautics and Astronautics. American Institute of Aeronautics and Astronautics Inc. (AIAA)

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

  • Approaches to Modelling Security Scenarios with Domain-Specific Languages

    Brooke, P. J., Paige, R. F. & Power, C., Apr 2012, Lecture Notes in Computer Science, 7622. Springer Verlag, p. 41-54 (Security Protocols XX; vol. 7622).

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

    Open Access
    File
    209 Downloads (Pure)

  • A provisional framework for supporting academics in accessible and inclusive e-materials development

    Papadopoulos, G., Pearson, E. & Green, S., 1 Dec 2012, Proceedings of the 24th Australian Computer-Human Interaction Conference, OzCHI 2012. p. 459-468 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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 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
    428 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)