Now showing items 1-5 of 26

  • Anonymous mobile service collaboration: Quality of service

    Hinze, Annika; Rinck, Michael; Streader, David (Springer-Verlag Berlin Heidelberg, 2010)
    Mobile services depend on user context and preferences, and a mobile user’s context is constantly changing. Many services are only available locally. The most appropriate service for a user’s context is not known in advance ...
  • Atomic components

    Reeves, Steve; Streader, David (University of Waikato, Department of Computer Science, 2004-02)
    There has been much interest in components that combine the best of state-based and event-based approaches. The interface of a component can be thought of as its specification and substituting components with the same ...
  • Automatic Parallelisation of Web Applications

    Perrone, Gian David; Streader, David (Canterbury University, 2008)
    Small web applications have a tendency to get bigger. Yet despite the current popularity of web applications, little has been done to help programmers to leverage the performance and scalability benefits that can result ...
  • Comparison of data and process refinement

    Reeves, Steve; Streader, David (University of Waikato, Department of Computer Science, 2003-05)
    When is it reasonable, or possible, to refine a one place buffer into a two place buffer? In order to answer this question we characterise refinement based on substitution in restricted contexts. We see that data refinement ...
  • Constructing programs or processes

    Reeves, Steve; Streader, David (Institute for Information Processing and Computer Supported New Media, 2005-12-28)
    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 ...

Showing up to 5 theses - most recently added to Research Commons first.

  • Bigraph Metaprogramming for Distributed Computation

    Perrone, Gian David (The University of Waikato, 2010)
    Ubiquitous computing is a paradigm that emphasises integration of computing activities into the fabric of everyday life. With the increasing availability of small, cheap computing devices, the ubiquitous computing model ...