School of Computing, Engineering & Digital Technologies

Filter
Conference contribution

Search results

  • 2007

    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
    170 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
    195 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
    112 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
    121 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
    117 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
    137 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
    176 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
    452 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
    205 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)

  • Memory Usage Verification for OO Programs

    Chin, W.-N., Nguyen, H. H., Qin, S. & Rinard, M., 2005, Static analysis. Springer-Verlag, Vol. 3672. p. 70-86 (Static Analysis; vol. 3672).

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

    Open Access
    File
    118 Downloads (Pure)

  • Simulating Artificial Organisms with Qualitative Physiology

    Hartley, S., Cavazza, M., Bec, L., Lugrin, J.-L. & Crooks, S., 2005, Advances in artificial life. Heidelberg: Springer Berlin, p. 540-550 (Advances in Artificial Life; vol. 3630).

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

    Open Access
    File
    178 Downloads (Pure)

  • The CaveUT system: Immersive entertainment based on a game engine

    Jacobson, J., Le Renard, M., Lugrin, J.-L. & Cavazza, M., 2005, Proceedings of the 2005 ACM SIGCHI international conference on advances in computer entertainment technology. New York: ACM, p. 184-187

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

    Open Access
    File
    213 Downloads (Pure)

  • Verifying safety policies with size properties and alias controls

    Chin, W.-N., Khoo, S.-C., Qin, S., Popeea, C. & Nguyen, H. H., 2005, Proceedings - 27th international conference on software engineering. New York: ACM, p. 186-195

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

    Open Access
    File
    218 Downloads (Pure)
  • 2004

    Action research: Time to take a turn?

    Oates, B. J., 2004, Information systems research: Relevant theory and informed practice. Kluwer Academic Publishers

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

  • Agile development of a metamodel in Eiffel

    Paige, R. F., Brooke, P. J. & Ostroff, J. S., 2004, Proceedings 15th International Symposium on Software Reliability Engineering. IEEE

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

  • A high precision and low noise S/H circuit design for video signal sampling

    Lai, X., Xu, D., Hu, L. & Wang, H., 2004, Proceedings of the 2004 11th IEEE International Conference on electronics, circuits and systems. p. 310-313

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

    Open Access
    File
    196 Downloads (Pure)

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

  • An improved band-gap voltage reference circuit design for multimedia VLSI systems integration applications

    Xu, W. D., Xu, D. & French, I., 2004, High speed networks and multimedia communications. Mammeri, Z. & Lorenz, P. (eds.). Springer Berlin / Heidelberg

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

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

    Open Access
    File
    156 Downloads (Pure)

  • Attacks against mobile ad hoc networks routing protocol

    Razak, S. A., Furnell, S. M. & Brooke, P. J., 2004, Proceedings of the 5th annual postgraduate symposium on the convergence of telecommunications, networking and broadcasting (PgNeT).

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

    Open Access
    File
    418 Downloads (Pure)

  • Compelling experiences in mixed reality interactive storytelling

    Charles, F., Cavazza, M., Mead, S., Martin, O., Nandi, A. & Manchal, X., 1 Dec 2004, ACM SIGCHI International Conference on Advances in Computer Entertainment Technology, ACE 2004. Vol. 74. p. 32-41 10 p.

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

    13 Citations (Scopus)

  • Deploying VoIP over a Small Enterprise Network

    Razzaque, M. A., 18 Jul 2004, Proceedings of the 8th World Multi Conference on Systemics, Cybernetics and Informatics. Florida, 4 p.

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

  • Determining the Issues to Consider When Deploying VoIP ontoa Small Enterprise Network

    Rahman, Q. A., Abubakar , A., Sirajuddin, S., Islam, S. S. & Razzaque, M. A., 27 Dec 2004, 1st International Computer Engineering Conference New Technologies for the Information Society.

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

    Open Access
    File
    57 Downloads (Pure)

  • Developing Re-Usable Interactive Storytelling Technologies

    Cavazza, M., Charles, F. & Mead, S., 2004, Building the Information Society. Jacquart, R. (ed.). Springer US, p. 39-44 ( IFIP international federation for information processing; vol. 156).

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

    Open Access
    File
    171 Downloads (Pure)

  • Empirical methodologies for web engineering

    Oates, B. J., Griffiths, G., Lockyer, M. & Hebbron, B., 1 Jan 2004, Web Engineering - 4th International Conference, ICWE 2004, Proceedings. Koch, N., Wirsing, M. & Fraternali, P. (eds.). Springer Verlag, p. 311-315 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3140).

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

    1 Citation (Scopus)

  • Event-based causality in virtual reality

    Lugrin, J.-L., Libardi, P., Barnes, M. J., Le Bras, M. L. & Cavazza, M., 2004, Conference proceedings: IEEE international conference on systems, man and cybernetics. p. 156-163

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

    Open Access
    File
    266 Downloads (Pure)

  • Exploring Scalability of Character-based Storytelling

    Charles, F. & Cavazza, M., Jul 2004, Third International Joint Conference on Autonomous Agents and Multiagent Systems. IEEE, Vol. 2. p. 872-879

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

    Open Access
    File
    131 Downloads (Pure)