• Proceedings of the second computing women congress: Student Papers

    Hinze, Annika; Jung, Doris; Cunningham, Sally Jo (University of Waikato, Department of Computer Science, 2006-02-11)
    The CWC 2006 Proceedings contains the following student papers: • Kathryn Hempstalk: Hiding Behind Corners: Using Edges in Images for Better Steganography • Supawan Prompramote, Kathy Blashki: Playing to Learn: Enhancing ...
  • LSB - Live and Safe B: Alternative semantics for Event B

    Reeves, Steve; Streader, David (Department of Computer Science, University of Waikato, 2006-07-01)
    We define two lifted, total relation semantics for Event B machines: Safe B for safety-only properties and Live B for liveness properties. The usual Event B proof obligations, Safe, are sufficient to establish Safe B ...
  • Arbitrary boolean advertisements: the final step in supporting the boolean publish/subscribe model

    Bittner, Sven; Hinze, Annika (Department of Computer Science, University of Waikato, 2006-06-01)
    Publish/subscribe systems allow for an efficient filtering of incoming information. This filtering is based on the specifications of subscriber interests, which are registered with the system as subscriptions. Publishers ...
  • State- and event-based refinement

    Reeves, Steve; Streader, David (Department of Computer Science, University of Waikato, 2006-09-01)
    In this paper we give simple example abstract data types, with atomic operations, that are related by data refinement under a definition used widely in the literature, but these abstract data types are not related by ...
  • A Taxonomy of model-based testing

    Utting, Mark; Pretschner, Alexander; Legeard, Bruno (Department of Computer Science, University of Waikato, 2006-04-01)
    Model-based testing relies on models of a system under test and/or its environment to derive test cases for the system. This paper provides an overview of the field. Seven different dimensions define a taxonomy that allows ...
  • A Decision tree-based attribute weighting filter for naive Bayes

    Hall, Mark A. (2006-05-01)
    The naive Bayes classifier continues to be a popular learning algorithm for data mining applications due to its simplicity and linear run-time. Many enhancements to the basic algorithm have been proposed to help mitigate ...
  • Computational sense: the role of technology in the education of digital librarians

    Twidale, Michael B.; Nichols, David M. (Department of Computer Science, University of Waikato, 2006-10-01)
    The rapid progress of digital library technology from research to implementation has created a force for change in the curricula of library schools. The education of future librarians has always had to adapt to new ...
  • Subscription tree pruning: A structure-independent routing optimization for general-purpose publish/subscribe systems.

    Bittner, Sven; Hinze, Annika (Department of Computer Science, 2006-01-01)
    A main challenge in distributed publish/subscribe systems is the efficient and scalable routing of incoming information (event messages). For largescale publish/subscribe services, subscription forwarding has been established ...
  • Liberalising Event B without changing it

    Reeves, Steve; Streader, David (Department of Computer Science, University of Waikato, 2006-07-01)
    We transfer a process algebraic notion of refinement to the B method by using the well-known bridge between the relational semantics underlying the B machines and the labelled transition system semantics of processes. Thus ...
  • Event distributions in online book auctions.

    Bittner, Sven; Hinze, Annika (University of Waikato, 2006-02-01)
    Current quantitative evaluations in various research areas for publish/ subscribe systems use artificially created event messages to model the system workload. The assumptions made to create these workloads are rather ...

View more