Search for: "Thomas F. Smith" Results 81 - 100 of 533
Sort by Relevance | Sort by Date
RSS Subscribe: 20 results | 100 results
23 Jun 2021, 2:46 pm by Susan Landau
As the postal case was wending its way through the courts in 2020, four experts in the reliability of software-based systems—Peter Ladkin, Bev Littlewood, Harold Thimbleby and Martyn Thomas— wrote of the case, "[F]or any moderately complex software-based computer system, such as the IT transaction-processing system Horizon ... it is a practical impossibility to develop such a system so that the correctness of every software operation is provable to the relevant… [read post]
23 Jun 2021, 2:46 pm by Susan Landau
As the postal case was wending its way through the courts in 2020, four experts in the reliability of software-based systems—Peter Ladkin, Bev Littlewood, Harold Thimbleby and Martyn Thomas— wrote of the case, "[F]or any moderately complex software-based computer system, such as the IT transaction-processing system Horizon ... it is a practical impossibility to develop such a system so that the correctness of every software operation is provable to the relevant… [read post]
17 Jun 2021, 9:01 pm by Leslie C. Griffin
Thomas, Alito, and Gorsuch would overrule Smith. [read post]
18 Jan 2021, 8:15 am by Steve Gottlieb
Smith English only Environment Environment Environmental justice epidemics Epperson v. [read post]
12 Jan 2021, 12:10 pm by Kevin Kaufman
Key Findings Introduction Climate Change and Energy Consumption Cost Recovery and Expensing, Explained Energy Tax Policy in the United States Energy Efficiency and Climate Change Increased Capital Stock Turnover Retrofitting Accelerating the Shift Towards Clean Energy Housing Investment, Density, and Sprawl A Word on Policy Neutrality Expensing Is a Great Complement for Green Policies Conclusion Key Findings Expensing for capital investments would increase new investment and capital stock… [read post]