Search results

  • 2005

    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

  • 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

  • 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
    219 Downloads (Pure)
  • 2004

    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

  • 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
    156 Downloads (Pure)
  • 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
    58 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

  • 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

  • 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
    357 Downloads (Pure)
  • 2003

    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

  • Love Me or Leave Me Alone

    Haillay, S., 2003

    Research output: Non-textual formDigital or Visual Products

  • 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

  • Mobility Management of GSM using reverse virtual call setup algorithm

    Razzaque, M. A., Jul 2003, In: The Dhaka University Journal of Science. 51, 2, 9 p.

    Research output: Contribution to journalArticlepeer-review

  • 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

  • 2002

    An Algebraic Hardware/Software Partitioning Algorithm

    Qin, S. & He, J., May 2002, In: Journal of Computer Science and Technology. 17, 3, p. 284-294 11 p.

    Research output: Contribution to journalArticlepeer-review

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

  • 2001

    Cell Planning Considerations in Cellular Telephone Systems

    Razzaque, M. A., Jan 2001, In: The Dhaka University Journal of Science. 49, 1, p. 1-8 8 p., 1.

    Research output: Contribution to journalArticlepeer-review

  • Constructing hardware/software interface using protocol converters

    Qin, S., Qiu, Z. & He, J., 2001, Second Asia-Pacific conference on quality software, Proceedings. IEEE, p. 141-148

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

    Open Access
    File
    194 Downloads (Pure)
  • Field

    Haillay, S., 2001

    Research output: Non-textual formDigital or Visual Products

  • Partitioning program into hardware and software

    Qin, S. & He, J., 2001, Proceedings of the Asia-Pacific software engineering conference and international computer science conference. IEEE, p. 309-316

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

    Open Access
    File
    209 Downloads (Pure)
  • 2000

    An algebraic approach to hardware/software partitioning

    Qin, S. & He, J., 2000, ICECS 2000: 7th IEEE international conference on electronics, circuits & systems. IEEE, Vol. 1. p. 273-276

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

    Open Access
    File
    191 Downloads (Pure)
  • 1997

    Bloodsport #1

    Chrisoulis, C. & Bugeja, N., Jan 1997, Melbourne, Australia: Impulse Comics. 20 p. (Bloodsport; vol. 1, no. 1)

    Research output: Book/ReportBook

  • 1996

    Clans #1

    Chrisoulis, C., May 1996, Melbourne, Australia: MoJo Comics. 16 p. (Clans; vol. 1, no. 1)

    Research output: Book/ReportBook

  • Clans #2

    Chrisoulis, C., Jul 1996, Melbourne, Australia: MoJo Comics. 20 p. (Clans; vol. 1, no. 2)

    Research output: Book/ReportBook

  • Clans #3

    Chrisoulis, C., Oct 1996, Melbourne, Australia: MoJo Comics. 20 p. (Clans; vol. 1, no. 3)

    Research output: Book/ReportBook