Aspinall

Results: 188



#Item
1MINUTES NEW ZEALAND WALKING ACCESS COMMISSION MEETING Monday 23 March 2009 Turnbull House, Bowen Street, Wellington Board Members: J Acland (Chair), J Aspinall, M Bayfield, K Booth, P Brown, J Forbes, B Stephenson, B Stu

MINUTES NEW ZEALAND WALKING ACCESS COMMISSION MEETING Monday 23 March 2009 Turnbull House, Bowen Street, Wellington Board Members: J Acland (Chair), J Aspinall, M Bayfield, K Booth, P Brown, J Forbes, B Stephenson, B Stu

Add to Reading List

Source URL: www.walkingaccess.govt.nz

Language: English - Date: 2017-05-30 20:16:38
    2MINUTES NEW ZEALAND WALKING ACCESS COMMISSION MEETING Tuesday 28 April 2009, Henderson Board Members: J Acland (Chair), J Aspinall, M Bayfield, K Booth, P Brown, J Forbes, B Stephenson, B Stuart. In attendance:

    MINUTES NEW ZEALAND WALKING ACCESS COMMISSION MEETING Tuesday 28 April 2009, Henderson Board Members: J Acland (Chair), J Aspinall, M Bayfield, K Booth, P Brown, J Forbes, B Stephenson, B Stuart. In attendance:

    Add to Reading List

    Source URL: www.walkingaccess.govt.nz

    Language: English - Date: 2017-05-30 20:16:43
      3MINUTES NEW ZEALAND WALKING ACCESS COMMISSION MEETING 30 September 2009, Sudima Hotel, Christchurch Board Members: J Acland (Chair), J Aspinall, P Brown, M Bayfield, K Booth, J Forbes, B Stephenson, B Stuart. In attendan

      MINUTES NEW ZEALAND WALKING ACCESS COMMISSION MEETING 30 September 2009, Sudima Hotel, Christchurch Board Members: J Acland (Chair), J Aspinall, P Brown, M Bayfield, K Booth, J Forbes, B Stephenson, B Stuart. In attendan

      Add to Reading List

      Source URL: www.walkingaccess.govt.nz

      Language: English - Date: 2017-05-30 20:15:13
        4Safety Guarantees from Explicit Resource Management David Aspinall, Patrick Maier, and Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh, Scotland {David.Aspinall

        Safety Guarantees from Explicit Resource Management David Aspinall, Patrick Maier, and Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh, Scotland {David.Aspinall

        Add to Reading List

        Source URL: www.dcs.gla.ac.uk

        - Date: 2013-12-19 07:07:16
          5REMMonitoring External Resources in Java MIDP David Aspinall Patrick Maier1 Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh

          REMMonitoring External Resources in Java MIDP David Aspinall Patrick Maier1 Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh

          Add to Reading List

          Source URL: www.dcs.gla.ac.uk

          - Date: 2013-12-19 07:07:14
            6Mobile Resource Guarantees and Policies David Aspinall and Kenneth MacKenzie LFCS, School of Informatics, The University of Edinburgh, U.K. Abstract. This paper introduces notions of resource policy for mobile code to be

            Mobile Resource Guarantees and Policies David Aspinall and Kenneth MacKenzie LFCS, School of Informatics, The University of Edinburgh, U.K. Abstract. This paper introduces notions of resource policy for mobile code to be

            Add to Reading List

            Source URL: homepages.inf.ed.ac.uk

            - Date: 2007-09-24 19:27:43
              7Towards Formal Proof Script Refactoring Iain Whiteside, David Aspinall, Lucas Dixon? , and Gudmund Grov School of Informatics, University of Edinburgh Edinburgh EH8 9AB, Scotland Abstract. We propose proof script refact

              Towards Formal Proof Script Refactoring Iain Whiteside, David Aspinall, Lucas Dixon? , and Gudmund Grov School of Informatics, University of Edinburgh Edinburgh EH8 9AB, Scotland Abstract. We propose proof script refact

              Add to Reading List

              Source URL: homepages.inf.ed.ac.uk

              - Date: 2013-01-09 06:40:19
                8Advances in Programming Languages APL3: Hoare logic David Aspinall (slides mostly by Ian Stark) School of Informatics

                Advances in Programming Languages APL3: Hoare logic David Aspinall (slides mostly by Ian Stark) School of Informatics

                Add to Reading List

                Source URL: www.inf.ed.ac.uk

                - Date: 2010-01-18 03:21:25
                  9Advances in Programming Languages APL11: Concurrency David Aspinall (including slides by Ian Stark) School of Informatics

                  Advances in Programming Languages APL11: Concurrency David Aspinall (including slides by Ian Stark) School of Informatics

                  Add to Reading List

                  Source URL: www.inf.ed.ac.uk

                  - Date: 2010-02-14 18:47:59
                    10Personal Choice and Challenge Questions: A Security and Usability Assessment Mike Just David Aspinall

                    Personal Choice and Challenge Questions: A Security and Usability Assessment Mike Just David Aspinall

                    Add to Reading List

                    Source URL: cups.cs.cmu.edu

                    - Date: 2009-06-18 19:46:04