- Waikato Home
- →
- Library Home
- →
- Research Commons
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Streader, David"
Now showing items 1-5 of 23
-
(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 ...
-
(University of Waikato, Department of Computer Science, 2004)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 ... -
(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 ... -
(University of Waikato, Department of Computer Science, 2003)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 ... -
(2005)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 ...
Now showing items 1-5 of 23
Co-authors for David Streader
Supervised by David Streader
Showing up to 5 theses - most recently added to Research Commons first.
-
(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 ...