Searching for authors named Richard Ford – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
Formal Methods Project Final Report
- …1 Formal Methods Project Final Report 1 Richard L. Ford This Open Group Research Institute report…
- Add To MetaCart
-
Riemann-Lebesgue properties of Green's functions with applications to inverse scattering
- … ∗ Richard Ford Abstract Saitō’s method has been applied successfully for measuring potentials with compact…
- Add To MetaCart
-
Specification-based Atomicity Testing of the MK++ Kernel
- … of the MK++ Kernel 1 Richard L. Ford The Open Group Research Institute June 1997 A formal model of a…
- Cited by 1 (1 self) – Add To MetaCart
-
MK++ Atomic Actions (Real and Pretended)
- …June 1995. 2 MK++ Atomic Actions (Real and Pretended) Richard L. Ford This Open Group Research…
- Cited by 2 (2 self) – Add To MetaCart
-
Sensitivity of Hospital Clinic Queues to Patient Non-attendance
- …Sensitivity of Hospital Clinic Queues to Patient Non-attendance Neville J. Ford 1 , Paul Crofts…
- Add To MetaCart
-
The Specification-Based Testing of a Trusted Kernel: MK++
- …The Specification-Based Testing of a Trusted Kernel: MK++ Richard L. Ford Richard T. Simon The Open…
- Cited by 2 (2 self) – Add To MetaCart
-
Integration of Protocols Improved Productivity Improved Charge Capture Summary
- …Respiratory Care Management Information Systems Richard M Ford RRT FAARC The Evolution…
- Add To MetaCart
-
Copyright 1996, 1997 by The Open Group, Inc. Copyright 1996, 1997 Computational Logic, Inc. All rights reserved. Permission to reproduce
- …, Richard L. Ford, Rich Simon Open Group Research Institute Bill Bevier, Larry Smith Computational Logic…
- Add To MetaCart
-
Zeros of Dirichlet L-Functions near the Real Axis and Chebyshev's Bias
- … Bays, Kevin Ford, Richard H. Hudson, and Michael Rubinstein Department of Mathematics, University…
- Cited by 4 (0 self) – Add To MetaCart
-
Formal Methods Project - MK++ Compliance Testing Phase 2 Project Plan
- … Testing Phase 2 Project Plan 1 April 11, 1996 Richard L. Ford, Marty Hurley, and Richard T. Simon EMAIL…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
