2006 Working Papers
Recently Added
-
Proceedings of the second computing women congress: Student Papers
(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 ... -
Arbitrary boolean advertisements: the final step in supporting the boolean publish/subscribe model
(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 ... -
LSB - Live and Safe B: Alternative semantics for Event B
(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 ... -
State- and event-based refinement
(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
(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
(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
(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.
(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
(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.
(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 ...