Searching for authors named "Brian Matthews" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
Integrating EXPRESS and SGML for Document Modelling in Control Systems Design
- … and Brian Matthews Systems Engineering Rutherford Appleton Laboratory Chilton, Didcot, OXON, U.K. fjcb…
- Cited by 2 (0 self) – Add To MetaCart
-
Ionic Types
- …Ionic Types ? Simon Dobson 1 and Brian Matthews 2 1 Department of Computer Science, Trinity…
- Cited by 1 (0 self) – Add To MetaCart
-
Integration via Meaning: Using the Semantic Web to deliver Web Services
- …Integration via Meaning: Using the Semantic Web to deliver Web Services Brian M Matthews CLRC, UK…
- Cited by 1 (0 self) – Add To MetaCart
-
Scientific and Technical Visualization: A New Course Offering that Integrates Mathematics, Science, and Technology
- … Visualization: A New Course Offering that Integrates Mathematics, Science, and Technology Aaron C. Clark, Brian…
- Add To MetaCart
-
Making the most of formal specification through animation, testing and proof
- …”?‘, Brian Matthewsa, Eoin Woodsd,2 a Rutherford Appleton Laboratory, Dideot, Oxfordshire OX11 OQX, UK b…
- Cited by 16 (5 self) – Add To MetaCart
-
Synthesising Structure From Flat Specifications
- …Synthesising structure from flat specifications Brian Matthews, Brian Ritchie, and Juan Bicarregui…
- Cited by 8 (7 self) – Add To MetaCart
-
Building Trust on the GRID (Trust Issues Underpinning Scalable Virtual Organisations
- …Building Trust on the GRID Trust Issues Underpinning Scalable Virtual Organisations Brian Matthews…
- Cited by 2 (1 self) – Add To MetaCart
-
Experiences with Proof in a Formal Development
- … and Brian Matthews z October 11, 1996 Abstract This paper describes an investigation into the proof…
- Cited by 3 (3 self) – Add To MetaCart
-
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context
- … Dimitrakos 1? , Juan Bicarregui 1 , Brian Matthews 1 , and Tom Maibaum 2 1 ISE--CLRC, Rutherford…
- Cited by 3 (2 self) – Add To MetaCart
-
XTech 2005: XML, the Web and beyond. SKOS: A language to describe simple knowledge structures for the web
- … for the web • Alistair Miles, CCLRC • Brian Matthews, CCLRC • Dave Beckett, ILRT • Dan Brickley, W3C • Michael…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
