Browsing by Author "Streader, David"

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 (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 ...

Co-authors for David Streader

Supervised by David Streader

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 ...