Results 261 to 270 of about 546,186 (309)
Some of the next articles are maybe not open access.

Related searches:

Optimal Data Verification Tests

Operations Research, 1991
The problem of data verification may be described as two sides that have concluded a contract stipulating that one side (the inspectee) is to report a set of data to the other (the inspector). The inspector has to decide on the basis of his own measurements whether to accept the data reported by the inspectee as correct or to assume they have been ...
Rudolf Avenhaus   +2 more
openaire   +2 more sources

The verification and synthesis of data structures

Acta Informatica, 1975
The concept of machine extension is a commonly used technique for implementing complex software: sets of object classes and operations on these objects are defined and used, often in a layered fashion, to construct the system. This paper addresses the adaptation of this technique to automatic programming.
Jay M. Spitzen, Ben Wegbreit
openaire   +1 more source

Home - About - Disclaimer - Privacy