School of Computing, Engineering & Digital Technologies

Filter
Conference contribution

Search results

  • 2004

    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 proceedingConference contribution

    Open Access
    File
    13 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 proceedingConference contribution

    Open Access
    File
    119 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 proceedingConference 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 proceedingConference contribution

    Open Access
    File
    201 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 proceedingConference contribution

    Open Access
    File
    74 Downloads (Pure)
  • Exploring the scalability of character-based storytelling

    Charles, F. & Cavazza, M. O., 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems. IEEE, p. 872-879

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

    Open Access
    File
    15 Downloads (Pure)
  • Generating MSCs from an Integrated Formal Specification Language

    Dong, J. S., Qin, S. & Sun, J., 2004, Integrated Formal Methods. IFM 2004. Springer Berlin, p. 168-186 ( Lecture Notes in Computer Science; vol. 2999).

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

  • New behavioural approaches for virtual environments

    Cavazza, M., Hartley, S., Lugrin, J-L., Libardi, P. & Le Bras, M., 2004, Entertainment Computing: ICEC 2004. Rauterberg, M. (ed.). Springer Berlin, p. 29-48 (Lecture notes in computer science; vol. 3166).

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

    Open Access
    File
    143 Downloads (Pure)
  • New ways of worldmaking: The Alterne platform for VR art

    Cavazza, M., Lugrin, J., Hartley, S., Libardi, P., Barnes, M. J., Le Bras, M., Le Renard, M., Bec, L. & Nandi, A., 2004, Proceedings of the 12th annual ACM international conference on Multimedia. Schulzrinne, H. & Dimitrova, N. (eds.). New York: ACM, p. 80-87

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

  • Online Scheduling Algorithms for CDMA Data Networks

    Razzaque, M. A., 28 Nov 2004, Proceedings of the International Conference on Information and Computer Science (ICICS 2004).

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

  • Qualitative physics in virtual environments

    Cavazza, M., Hartley, S., Lugrin, J-L. & Le Bras, M., 2004, Proceedings of the 9th international conference on intelligent user interfaces. ACM, p. 54-61

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

    Open Access
    File
    179 Downloads (Pure)
  • Region inference for an object-oriented language

    Chin, W-N., Craciun, F., Qin, S. & Rinard, M., 2004, Proceedings of the 2004 ACM SIGPLAN conference on programming language design and implementation. New York: ACM, p. 243-254

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

    Open Access
    File
    266 Downloads (Pure)
  • Reusable e-learning development: Case studies, practices and issues of awareness for knowledge-based organisations

    Chang, V., 30 Aug 2004, ITRE 2004 - 2nd International Conference on Information Technology: Research and Education - Proceedings. IEEE

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

  • Timed patterns: TCOZ to timed automata

    Dong, J. S., Hao, P., Qin, S., Sun, J. & Yi, W., 2004, Formal methods and software engineering. Springer Verlag, p. 483-498

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

    Open Access
    File
    91 Downloads (Pure)
  • Web engineering in Internet degrees

    Griffiths, G., Lockyer, M. A., Oates, B. J. & Hebbron, B., 1 Dec 2004, ITRE 2004 - 2nd International Conference on Information Technology: Research and Education - Proceedings. Boyle, T., Oriogun, P. & Pakstas, A. (eds.). p. 218-222 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference 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 proceedingConference 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 proceedingConference contribution

    Open Access
    File
    269 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 proceedingConference contribution

    Open Access
    File
    155 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 proceedingConference contribution

  • Causality and virtual reality art

    Cavazza, M., Lugrin, J., 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

    Open Access
    File
    88 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 proceedingConference contribution

    Open Access
    File
    135 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 proceedingConference contribution

    Open Access
    File
    134 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 proceedingConference contribution

    Open Access
    File
    162 Downloads (Pure)
  • 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

    Open Access
    File
    100 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

    Open Access
    File
    92 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 proceedingConference contribution

    Open Access
    File
    132 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 proceedingConference contribution

  • 2007

    Affective interactive narrative in the CALLAS Project

    Charles, F., Lemercier, S., Vogt, T., Bee, N., Mancini, M., Urbain, J., Price, M., André, E., Pélachaud, C. & Cavazza, M., 2007, 4th international conference on virtual storytelling proceedings. Springer Berlin, p. 210-213

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

    Open Access
    File
    129 Downloads (Pure)
  • 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

    Open Access
    File
    590 Downloads (Pure)