School of Computing, Engineering & Digital Technologies

Filter
Conference contribution

Search results

  • 2005

    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
    181 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
    218 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
    224 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
    198 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
    167 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
    435 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
    61 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
    274 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
    132 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 proceeding › Conference contribution

    Open Access
    File
    87 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 proceeding › Conference 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 proceeding › Conference contribution

    Open Access
    File
    196 Downloads (Pure)

  • New ways of worldmaking: The Alterne platform for VR art

    Cavazza, M., Lugrin, J.-L., 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

    Open Access
    File
    258 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 proceeding › Conference contribution

    Open Access
    File
    361 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 proceeding › Conference 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 proceeding › Conference contribution

    Open Access
    File
    116 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 proceeding › Conference contribution

  • 2003

    Alternative reality: A new platform for virtual reality art

    Cavazza, M., Hartley, S., Lugrin, J.-L. & Le Bras, M., 2003, Proceedings of the ACM symposium on virtual reality software and technology. New York: ACM, p. 100-107

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

    Open Access
    File
    325 Downloads (Pure)

  • Alternative reality: Qualitative physics for digital arts

    Cavazza, M., Hartley, S., Lugrin, J.-L. & Le Bras, M., 2003, Proceedings of the 17th international workshop on qualitative reasoning. p. 47-54

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

    Open Access
    File
    62 Downloads (Pure)

  • An improved parallel architecture for MPEG-4 motion estimation in 3G mobile applications

    Xu, D., Gao, R. & Batatia, H., 2003, Proceedings of the International Conference on Multimedia and Expo. Vol. 3. p. 441-444

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

    Open Access
    File
    261 Downloads (Pure)

  • A Semantic Foundation for TCOZ in Unifying Theories of Programming

    Qin, S., Dong, J. S. & Chin, W.-N., 2003, FME 2003: Formal Methods. Springer Berlin, p. 321-340 (Lecture Notes in Computer Science; vol. 2805).

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

  • A teaching method & tool for Web engineering

    Lockyer, M. A., Griffiths, G., Hebbron, B. & Oates, B. J., 1 Dec 2003, Proceedings - 3rd IEEE International Conference on Advanced Learning Technologies, ICALT 2003. p. 284-285 2 p. 1215085

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

    2 Citations (Scopus)

  • Interactive storytelling: from AI experiment to new media

    Cavazza, M., Charles, F. & Mead, S., 2003, Proceedings of the second international conference on Entertainment computing: ICEC '03 . ACM, p. 1-8 (ACM international conference proceeding series; vol. 38).

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

  • Mapping Statecharts to Verilog for Hardware/Software Co-specification

    Qin, S. & Chin, W.-N., 2003, FME 2003: Formal Methods. Springer Berlin, p. 282-300

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

  • Planning formalisms and authoring in interactive storytelling

    Charles, F., Lozano, M., Mead, S., Bisquerra, A. F. & Cavazza, M., 26 Mar 2003, Technologies for interactive digital storytelling and entertainment, TIDSE 03 proceedings. Fraunhofer IRB Verlag, 10 p.

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

    Open Access
    File
    381 Downloads (Pure)

  • The Equivalence of Statecharts

    Long, Q., Qiu, Z. & Qin, S., 2003, Formal Methods and Software Engineering. ICFEM 2003. Dong, J. S. & Woodcock, J. (eds.). Springer Berlin, p. 125-143 (Lecture Notes in Computer Science; vol. 2885).

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

  • Theoretical and experimental studies of the spatial sensitivity of circular electrostatic PF meters

    Zhang, J., Coulthard, J. M., Cheng, R. & Armstrong, B., 2003, Proceedings of the 2003 5th International Symposium on Coal Combustion. p. 526-528

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

    Open Access
    File
    49 Downloads (Pure)

  • User interaction in mixed reality interactive storytelling

    Cavazza, M., Martin, O., Charles, F., Marichal, X. & Mead, S., 2003, Proceedings of the 2nd IEEE/ACM International Symposium on Mixed and Augmented Reality. Washington, DC: IEEE, 2 p.

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

    Open Access
    File
    316 Downloads (Pure)

  • Users acting in mixed reality interactive storytelling

    Cavazza, M., Martin, O., Charles, F., Mead, S. & Marichal, X., 2003, Virtual storytelling. Berlin: Springer, Vol. 2897. p. 189-197 (Lecture notes in computer science; vol. 2897).

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

    Open Access
    File
    282 Downloads (Pure)

  • Using a web-based repository to support group projects

    Lockyer, M. A., Griffiths, G., Hebbron, B. & Oates, B. J., 1 Dec 2003, Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education. p. 467-472 6 p.

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

  • Virtual unreality: Storytelling in virtual environments

    Cavazza, M., 2003, Proceedings of the ACM symposium on virtual reality software and technology. New York: ACM, p. 4-6

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

    Open Access
    File
    213 Downloads (Pure)
  • 2002

    A parallel processing engine for motion estimation in MPEG-4 multimedia applications

    Xu, D., Bentley, J. & Gao, R., 2002, Advances in Multimedia, Video and Signal Processing Systems. Mastorakis, N. & Kleuv, V. (eds.). WSEAS (World Scientific and Engineering Academy and Society) Press

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

  • A simple method & tool for web engineering

    Griffiths, G., Hebbron, B., Lockyer, M. A. & Oates, B. J., 1 Dec 2002, Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, SEKE '02. Vol. 27. p. 755-762 8 p.

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

    1 Citation (Scopus)

  • Development of an integrated information resource base for 4D/VR construction process simulation & visualisation

    Dawood, N., Sriprasert, E., Mallasi, Z. & Hobbs, B., 14 Jun 2002, Conference Proceedings – distributing knowledge in building. International Council for Research and Innovation in Building and Construction, p. 123-131

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

    Open Access
    File
    88 Downloads (Pure)

  • Emergent situations in interactive storytelling

    Cavazza, M., Charles, F. & Mead, S., 2002, Proceedings of the 2002 ACM symposium on applied computing. Lamont, G. (ed.). New York: ACM, p. 1080-1085

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

    Open Access
    File
    328 Downloads (Pure)

  • Explosive impact on real-time deformable terrain

    Wan, T. R. & Tang, W., 2002, CGI 2002 proceedings. Springer Verlag, p. 247-265

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

  • Hardware/Software Partitioning in Verilog

    Qin, S., He, J., Qiu, Z. & Zhang, N., 10 Oct 2002, Formal Methods and Software Engineering. ICFEM 2002. George, C. & Miao, H. (eds.). Springer Berlin, p. 168-179 (Lecture Notes in Computer Science; vol. 2495).

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

  • Lean enterprise web-based information system for construction (LEWIS): a framework

    Sriprasert, E. & Dawood, N., 14 Jun 2002, CIB w78 conference. International Council for Research and Innovation in Building and Construction, 8 p.

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

    Open Access
    File
    68 Downloads (Pure)

  • Registering space requirements of construction operations using site-PECASO model

    Mallasi, Z. & Dawood, N., 14 Jun 2002, Conference Proceedings – distributing knowledge in building. International Council for Research and Innovation in Building and Construction, 8 p.

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

    Open Access
    File
    101 Downloads (Pure)

  • Sex, lies, and video games: An interactive storytelling prototype

    Cavazza, M., Charles, F. & Mead, S., 2002, AAAI Spring symposium on AI and interactive entertainment. AAAI, p. 13-17

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

    Open Access
    File
    37 Downloads (Pure)