Oxford University

or Find Staff here

Results for University of Oxford

Results 1 - 8 of 8 for concrete-design .

Sort by date, Sort by relevance.

Results

1. Design of the corpus

This approach makes it possible for other researchers and corpus compilers to review, emulate or adapt concrete design goals. ... However, the relative sizes of such subcorpora are undefined by the BNC design specification.

www.natcorp.ox.ac.uk/docs/URG/BNCdes.html- 66k - 4 Oct 2013 - Cached

2. https://www.cs.ox.ac.uk/msctheses/399/1/1993_Hassan_W.pdf

A More Concrete Design. 16 The Refinement Calculus , 18. • CHAPTER 4 IMPLEMENTATION 31 Test and Training Data. ... A More Concrete Design. In the abstract specification from the last chapter, Var and Val were introduced as sets of undefined objects.

www.cs.ox.ac.uk/msctheses/399/1/1993_Hassan_W.pdf- 2652k - 11 Sep 2008 - Cached

3. https://www.cs.ox.ac.uk/files/3380/PRG58.pdf

Moreover, any flexibiHty in the approach to the problem is hampered by the need to make concrete design decisions. ... Tbe design decision is made tbat 80 many error conditions aa possible will be determined after rounding in order tbat the precondition

www.cs.ox.ac.uk/files/3380/PRG58.pdf- 1126k - 11 Sep 2009 - Cached

4. https://www.cs.ox.ac.uk/msctheses/116/1/1984_Lee_M.pdf

ystems. EmphaSIS Is put on concrete design examples because it Is felt tnat. ... can be divided into two broad categories: 0) Semi-systolic design with global.

www.cs.ox.ac.uk/msctheses/116/1/1984_Lee_M.pdf- 2416k - 15 Apr 2009 - Cached

5. https://www.cs.ox.ac.uk/msctheses/407/1/1993_Kerley_C.pdf

4.3 Conclusion. ". 24. 2. 5 Log of t he project 25 5.1 Initial design.

www.cs.ox.ac.uk/msctheses/407/1/1993_Kerley_C.pdf- 1743k - 22 Oct 2008 - Cached

6. https://www.cs.ox.ac.uk/msctheses/588/1/1998_Gauntlett_A.pdf

This report will examine the role that formal methods can play in the design of value added services. ... 3.2 Refinement. Refinement is the process of producing a concrete design, and ultimately executable code, from an abstract specification (Woodcock &

www.cs.ox.ac.uk/msctheses/588/1/1998_Gauntlett_A.pdf- 2039k - 15 Jan 2009 - Cached

7. https://www.cs.ox.ac.uk/msctheses/1532/1/Kingston%2C_Charlie.pdf

293.5 Analysing Trust in World Views. 30. 4 Design & Implementation 354.1 Introduction. ... world views. – Design and develop a prototype system that creates world views from social.

www.cs.ox.ac.uk/msctheses/1532/1/Kingston%2C_Charlie.pdf- 2304k - 29 Aug 2016 - Cached

8. https://www.cs.ox.ac.uk/msctheses/568/1/1997_Snaith_J.pdf

That is the retrieve relation is a function from concrete to abstract states. ... packets. 16 3.3. The Alternating Bit Protocol - The Design: An Internal View.

www.cs.ox.ac.uk/msctheses/568/1/1997_Snaith_J.pdf- 2680k - 3 Feb 2009 - Cached

Result Page

1 , .



Related searches for concrete-design

concrete design by site


Enquiries to Webmaster | Powered by Funnelback Search