School of Computing, Engineering & Digital Technologies

Filter
Conference contribution

Search results

  • 2007

    A multi-perspective digital library to facilitate integrating teaching research methods across the computing curriculum

    Applin, A. G., Holz, H. J., Joel, W., Okoye, I., Deibel, K., Grasser, B., Oates, B. J. & Wood, G., 2007, ITiCSE 2007 proceedings. New York: ACM

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

  • An innovative approach for improvement of communications through visual schedule model in road construction

    Dawood, N. N. & Shah, R. K., 2007, Proceedings of the 7th International Conference on Construction Applications of Virtual Reality. p. 216-223

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

  • A Novel Approach to the Detection of Cheating in Multiplayer Online Games

    Laurens, P., Paige, R. F., Brooke, P. J. & Chivers, H., 2007, Proceedings of the IEEE international conference on engineering of complex computer systems. IEEE, p. 97-106

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

    Open Access
    File
    1488 Downloads (Pure)

  • Application of visualisation tools in project management in construction industry: Innovation and challenges

    Marasini, R., Dean, J. T. & Dawood, N. N., 2007, Computing in civil engineering. Soibelman, L. & Akinci, B. (eds.). American Society of Civil Engineers (ASCE), p. 91-102

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

  • Automated Verification of Shape, Size and Bag Properties

    Chin, W.-N., David, C., Nguyen, H. H. & Qin, S., 2007, Proceedings IEEE international conference on engineering complex computer systems. California: IEEE, p. 307-317

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

    Open Access
    File
    220 Downloads (Pure)

  • Automated Verification of Shape and Size Properties Via Separation Logic

    Nguyen, H. H., David, C., Qin, S. & Chin, W.-N., 2007, Verification, Model Checking, and Abstract Interpretation. Cook, B. & Podelski, A. (eds.). Springer Berlin Heidelberg, p. 251-266

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

    Open Access
    File
    234 Downloads (Pure)

  • Breaking into industry: Tool support for multiagent systems

    Lynch, S. & Rajendran, K., 1 Dec 2007, AAMAS'07 - Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems. p. 917-919 3 p. 136

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

    1 Citation (Scopus)

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

    3 Citations (Scopus)

  • Coverage based intercluster communication for load balancing in wireless sensor networks

    Israr, N. & Awan, I., 18 Oct 2007, Proceedings - 21st International Conference on Advanced Information Networking and ApplicationsWorkshops/Symposia, AINAW'07. Vol. 1. p. 923-928 6 p. 4224224

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

    12 Citations (Scopus)

  • Development of innovative visualisation model in road construction

    Shah, R. K. & Dawood, N., 2007, Proceedings 24th CIB W78 conference "Bringing ICT knowledge to work". p. 499-504

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

    Open Access
    File
    46 Downloads (Pure)

  • Development of visual schedule model (VSM) framework for road construction

    Dawood, N. N., Shah, R. K. & Castro, S., 2007, Computing in civil engineering. Soibelman, L. & Akinci, B. (eds.). American Society of Civil Engineers (ASCE)

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

  • Evaluating the potential of the nintendo wii to support disabled students in education

    Pearson, E. & Bailey, C., 1 Dec 2007, Proceedings of the 24th Annual Conference of the Australasian Society for Computers in Learning in Tertiary Education, ASCILITE 2007. p. 833-836 4 p.

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

    15 Citations (Scopus)

  • Extending character-based storytelling with awareness and feelings

    Pizzi, D., Cavazza, M. & Lugrin, J.-L., 2007, Proceedings of the international conference on autonomous agents. ACM, p. 41-43

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

    File
    242 Downloads (Pure)

  • Hybrid Object-Based Video Compression Scheme Using a Novel Content-Based Automatic Segmentation Algorithm

    Tsoligkas, N. A., Xu, D. & French, I., 2007, IEEE International Conference on Communications. p. 2654-2659

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

    Open Access
    File
    220 Downloads (Pure)

  • Integration of 3D tool with environmental impact assessment (3D EIA)

    Loh, E., Dawood, N. N. & Dean, J. T., 2007, Em'body'ing virtual architecture. Okeil, A., Al-Attili, A. & Mallasi, Z. (eds.). Arab Society for Computer Aided Architectural Design

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

  • Interactive storytelling with literary feelings

    Pizzi, D., Charles, F., Lugrin, J. L. & Cavazza, M., 14 Sept 2007, Affective computing and intelligent interaction. Paiva, A. C. R., Prada, R. & Picard, R. W. (eds.). Springer Berlin Heidelberg, p. 630-641 (Lecture Notes in Computer Science).

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

    Open Access
    File
    412 Downloads (Pure)

  • Linking Object-Z with Spec#

    Qin, S. & He, G., 2007, Proceedings of the IEEE international conference on engineering of complex computer systems, ICECCS. p. 185-194

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

    Open Access
    File
    185 Downloads (Pure)

  • Making sense of virtual environments: Action representation, grounding and common sense

    Lugrin, J.-L. & Cavazza, M., 2007, International conference on intelligent user interfaces, proceedings IUI. New York: ACM, p. 225-234

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

    Open Access
    File
    235 Downloads (Pure)

  • Multiple pre/post specifications for heap-manipulating methods

    Chin, W.-N., David, C., Nguyen, H. H. & Qin, S., 2007, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07). IEEE, p. 357-364

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

    Open Access
    File
    171 Downloads (Pure)

  • Realizing Live Sequence Charts in SystemVerilog

    Wang, H. H., Qin, S., Sun, J. & Dong, J. S., 2007, TASE 2007: First joint IEEE/IFIP symposium on theoretical aspects of software engineering, proceedings. p. 379-388

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

    Open Access
    File
    198 Downloads (Pure)

  • Simulating the technical factors of precast concrete production

    Long, G., Elliott, K., Mawdesley, M., Dawood, N., Dean, J. & Ahmed, R., 26 Apr 2007, Proceedings of the 1st international conference: The transformation of the industry – Open building manufacturing. 10 p.

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

    Open Access
    File
    123 Downloads (Pure)

  • The transition of the concrete paving industry from a manual labour intensive industry, to a fully automated operation

    Dean, J. T. & Dawood, N., 26 Apr 2007, Proceedings of the 1st international conference: The transformation of the industry – Open building manufacturing. CIRIA, 10 p.

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

    Open Access
    File
    124 Downloads (Pure)

  • Vodcasting: A case study in adaptability to meet learners' needs and preferences

    Gkatzidou, S. & Pearson, E., 1 Dec 2007, Proceedings of the 24th Annual Conference of the Australasian Society for Computers in Learning in Tertiary Education, ASCILITE 2007. p. 325-332 8 p.

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

    6 Citations (Scopus)
  • 2006

    A Critique of SCOOP

    Brooke, P. J. & Paige, R. F., 2006, Proceedings of the Symposium on concurrency, real-time, and distribution in Eiffel-like languages. Paige & Brooke (eds.). The ARTIST Network of Excellence, the University of York, and the University of Teesside, p. 56-61

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

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

    10 Citations (Scopus)

  • A design-based model of reversible computation 

    Stoddart, W. J., Zeyda, F. & Lynas, R., 2006, Unifying Theories of Programming: UTP 2006. Dunne & Stoddart (eds.). Berlin: Springer Verlag, Vol. 4010. p. 63-83 (Lecture Notes in Computer Science; vol. 4010).

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

  • Al-based world behaviour for emergent narratives

    Lugrin, J.-L. & Cavazza, M. O., 2006, Proceedings of the 2006 ACM SIGCHI International Conference on Advances in Computer Entertainment Technology,. ACM

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

  • An alternative model of concurrency for Eiffel

    Brooke, P. J. & Paige, R. F., 2006, Proceedings of the Symposium on concurrency, real-time, and distribution in Eiffel-like languages. The ARTIST Network of Excellence, the University of York, and the University of Teesside

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

  • A pragmatic and strategic approach to supporting staff in inclusive practices for online learning

    Pearson, E. & Koppi, T., 1 Dec 2006, Proceedings of the 23rd Annual Conference of the Australasian Society for Computers in Learning in Tertiary Education: Who's Learning? Whose Technology?, ASCILITE 2006. Vol. 2. p. 639-646 8 p.

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

    6 Citations (Scopus)

  • Bringing together accessibility research and enterprise activities

    Pearson, E. & Green, S., 1 Dec 2006, Proceedings of the 23rd Annual Conference of the Australasian Society for Computers in Learning in Tertiary Education: Who's Learning? Whose Technology?, ASCILITE 2006. Vol. 2. 1 p.

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

  • Catering for students' needs and preferences: Multiple media combinations in learning and e-assessment

    McClenaghan, K., Pearson, E. & Green, S., 1 Jan 2006, ICEL 2006 - International Conference on e-Learning. Remenyi, D. (ed.). Academic Conferences Limited, Vol. 2006-January. p. 307-314 8 p.

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

  • Constructing Property-Oriented Models for Verification

    He, J., Qin, S. & Sherif, A., 2006, Unifying theories of programming. p. 85-100 (Unifying Theories of Programming; vol. 4010).

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

    Open Access
    File
    121 Downloads (Pure)

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

    4 Citations (Scopus)

  • Experiments and investigations for the Personal High Performance Computing (PHPC) built on top of the 64-bit processing and clustering systems

    Chang, V., 1 Jun 2006, Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems. p. 477-478 1 p. 1607399

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

  • Expressive and dynamic deformation of animated computer-generated characters

    Noble, P. & Tang, W., 1 Dec 2006, Theory and Practice of Computer Graphics 2006, TPCG 2006 - Eurographics UK Chapter Proceedings. p. 211-217 7 p.

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

  • From inclusive guidance to inclusive online teaching practice - A tool to help plan for student diversity

    Bradburn, E. & Pearson, E., 1 Dec 2006, Proceedings - Sixth International Conference on Advanced Learning Technologies, ICALT 2006. Vol. 2006. p. 540-541 2 p. 1652496

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

    3 Citations (Scopus)

  • Fuzzy PID Control for Positioning Plants with Uncertain Parameters Variation

    Ali, F. H. & Al-Greer, M., 16 Oct 2006, 2006 2nd International Conference on Information & Communication Technologies. Institute of Electrical and Electronics Engineers Inc., p. 1428-1433

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

  • Giving effective and interactive presentations

    Koppi, T. & Pearson, E., 1 Dec 2006, Proceedings of the 23rd Annual Conference of the Australasian Society for Computers in Learning in Tertiary Education: Who's Learning? Whose Technology?, ASCILITE 2006. Vol. 2. p. 1014-1015 2 p.

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

  • HighSpec: A tool for building and checking OZTA models

    Dong, J. S., Hao, P., Zhang, X.-Y. & Qin, S., 2006, Proceedings of the 28th international conference on software engineering. p. 775-778

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

    Open Access
    File
    140 Downloads (Pure)

  • Integrating Probability with Time and Shared-Variable Concurrency

    Zhu, H., Qin, S., He, J. & Bowen, J., 2006, Proceedings of the 30th annual IEEE/NASA software engineering workshop, SEW-30. California: IEEE, p. 179-189

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

    Open Access
    File
    184 Downloads (Pure)

  • Shedding light on domestic energy use: A cross-discipline study of lighting homes

    Stokes, M., Crosbie, T. & Guy, S., 2006, COBRA 2006 - Proceedings of the Annual Research Conference of the Royal Institution of Chartered Surveyors.

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

  • 2005

    Agile formal method engineering

    Brooke, P. J. & Paige, R. F., 2005, Lecture notes in computer science. Vol. 3771.

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

  • A high performance CMOS band-gap reference circuit design

    Wendan Xu, W., Xu, D. & French, I., 2005, Proceedings of the 2005 IEEE international workshop on VLSI design and video technology, IWVDVT 2005. p. 32-35

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

    Open Access
    File
    492 Downloads (Pure)

  • A low power supply and high frequency driver design for DC-DC converter applications

    Xu, D., Xu, W. & Zhang, J., 2005, Proceedings of the 2005 IEEE international workshop on VLSI design and video technology. p. 28-31

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

    Open Access
    File
    207 Downloads (Pure)

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

  • Causality and virtual reality art

    Cavazza, M., Lugrin, J.-L., Crooks, S., Nandi, A., Palmer, M. & Le Renard, M., 2005, Proceedings of the 5th conference on Creativity & cognition. New York: ACM, p. 4-12

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

  • Computer art: A new agenda for information systems research

    Oates, B. J., 2005, ICIS 2005 Proceedings. Association for Information Systems, Vol. 2. p. 11-21

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

    Open Access

  • Dialogue generation in character-based interactive storytelling

    Cavazza, M. & Charles, F., 2005, Proceedings of the first artificial intelligence and interactive digital entertainment conference (AIIDE 2005). Young, M. & Laird, J. (eds.). AAAI, p. 21-26

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

  • Earliest-Deadline Scheduling Using Discrete Service Bit Rates for CDMA Data Networks

    Mahmoud, A. S. H. & Razzaque, M. A., 2005, International Symposium on Wireless Communications (ISWSN'05) 2005. 5 p.

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

  • Hardware in the loop simulation of embedded automotive control systems

    Short, M. & Pont, M. J., 1 Dec 2005, ITSC`05: 2005 IEEE Intelligent Conference on Transportation Systems, Proceedings. p. 226-231 6 p. 1520052. (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC; vol. 2005).

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

    16 Citations (Scopus)