Aspinall

Results: 188



#Item
1

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
    2

    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
      3

      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
        4

        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
          5

          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
            6

            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
              7

              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
                8

                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
                  9

                  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
                    10

                    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
                      UPDATE