Mary Jemison -- Heirs of. (To accompany bill H.R. no. 407.)

34-1Indian AffairsReport : Petition of G. Jemison et al. [868] Money wrongfully withheld from the Senecas.1856-6

Red Lake Indian Reservation.

49-1Indian AffairsRed Lake Indian Reservation. [2435] Occupied by Chippewas in Minnesota; bill calls for cession of land, and allotment of lands in severalty.1886-1

Validation of Ultrahigh Dependability for Software-Based Systems

Modern society depends on computers for a number of critical tasks in which failure can have very high costs. As a consequence, high levels of dependability (reliability, safety, etc.) are required from such computers, including their software. Whenever a quantitative approach to risk is adopted, these requirements must be stated in quantitative terms, and a rigorous demonstration of their being attained is necessary. For software used in the most critical roles, such demonstrations are not usually supplied. The fact is that the dependability requirements often lie near the limit of the current state of the art, or beyond, in terms not only of the ability to satisfy them, but also, and more often, of the ability to demonstrate that they are satisfied in the individual operational products (validation). We discuss reasons why such demonstrations cannot usually be provided with the means available: reliability growth models, testing with stable reliability, structural dependability modelling, as well as more informal arguments based on good engineering practice. We state some rigorous arguments about the limits of what can be validated with each of such means. Combining evidence from these different sources would seem to raise the levels that can be validated; yet this improvement is not such as to solve the problem. It appears that engineering practice must take into account the fact that no solution exists, at present, for the validation of ultra-high dependability in systems relying on complex software

Letter from the Secretary of the Treasury, relative to the transfer to the Interior Department of jurisdiction over certain Indian affairs now exercised by the Treasury Department

40-2Indian AffairsTransfer of Jurisdiction over Indian Affairs. [1339] Jurisdiction over the Chickasaw fund, and interest payments to Cherokees of North Carolina should be shifted from the Treasury Dept. to the Interior Dept.1868-2

S. P. Yeomans and A. Leech.

47-1ClaimsReport : Claim of of S. Yeomans and A. Leech. [2065] Hire of clerks in land offices; sale of Osage and other Indian lands in Kansas.1882-4

Equitable and Effective Climate Policy: Integrating Less Developed Countries into a Global Climate Agreement

ISSN:1612-4804ISSN:1612-481