Now showing items 1-9 of 9

  • Constructing programs or processes

    Reeves, Steve; Streader, David (Department of Computer Science, University of Waikato, 2005-12)
    We define interacting sequential programs, motivated originally by constructivist considerations. We use them to investigate notions of implementation and determinism. Process algebras do not define what can be implemented ...
  • StoneD: A bridge between Greenstone and DSpace

    Witten, Ian H.; Bainbridge, David; Tansley, Robert; Huang, Chi-Yu; Don, Katherine J. (University of Waikato, Department of Computer Science, 2005-04)
    Greenstone and DSpace are widely-used software systems for digital libraries, and prospective users sometimes wonder which one to adopt. In fact, the aims of the two are very different, although their domains of application ...
  • ApproXFILTER - an approximative XML filter

    Michel, Yann-Rudolf; Hinze, Annika (Department of Computer Science, University of Waikato, 2005-01-01)
    Publish/subscribe systems filter published documents and inform their subscribers about documents matching their interests. Recent systems have focussed on documents or messages sent in XML format. Subscribers have to be ...
  • Design and implementation of a filter engine for semantic web documents

    Kozuka, Takanori; Hinze, Annika (Department of Computer Science, University of Waikato, 2005-01-01)
    This report describes our project that addresses the challenge of changes in the semantic web. Some studies have already been done for the so-called adaptive semantic web, such as applying inferring rules. In this study, ...
  • Investigating the memory requirements for publish/subscribe filtering algorithms

    Bittner, Sven; Hinze, Annika (Department of Computer Science, 2005-01-01)
    Various filtering algorithms for publish/subscribe systems have been proposed. One distinguishing characteristic is their internal representation of Boolean subscriptions: They either require conversions to disjunctive ...
  • A distributed directory service for Greenstone

    Buchanan, George; Hinze, Annika (Department of Computer Science, University of Waikato, 2005-01-01)
    Greenstone is a software for creating and maintaining distributed digital library collections. It provides a sophisticated federation mechanism for the collections. In order to support alerting notification about changes ...
  • Advanced recommendations in a mobile tourist information system

    Junmanee, Saijai; Hinze, Annika (Department of Computer Science, University of Waikato, 2005-01-01)
    An advanced tourist information provider system delivers information regarding sights and events on their users' travel route. In order to give sophisticated personalized information about tourist attractions to their ...
  • Stepwise refinement of processes

    Reeves, Steve; Streader, David (2005-01-01)
    Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state-based reasoning. One of the first steps in building ...
  • Towards a TIP 3.0 service-oriented architecture: Interaction design.

    Hinze, Annika; Malik, Petra; Malik, Robi (University of Waikato, 2005-01-01)
    This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users with small screen devices. The dynamics of ...