School of Computing, Engineering & Digital Technologies

Filter
Conference contribution

Search results

  • 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
    237 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
    143 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
    79 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
    120 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
    113 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
    147 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

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

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

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

    Open Access
    File
    9 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
    110 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
    184 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
    65 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
    12 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
    131 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
    165 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
    205 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
    82 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

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

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

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

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

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

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

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

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