Loading icon
Press enter or spacebar to select a desired language.

RSS Items

131 - 140 of 144 results found

Put on your seatbelts!

Date
Thursday, May 23, 2024 - 8:49 PM
Description
Put on your seatbelts! s.esker@ieee.org Thu, 05/23/2024 - 09:49 35 views

Co-Developing Programs and Their Proof of Correctness

Date
Monday, February 26, 2024 - 11:10 PM
Description
There have been some successes with program verification systems, but they are still perceived as a niche activity for the most critical and specialized projects.

How the AI Boom Went Bust

Date
Friday, January 26, 2024 - 9:04 PM
Description
Fallout from an exploding bubble of hype triggered the real AI Winter in the late 1980s.

Security Mismatch

Date
Thursday, January 25, 2024 - 12:05 AM
Description
In software companies a natural conflict exists between security teams and product delivery teams—one's nature is to slow down progress, the other wants to speed it up. The secret is to view security as an enabler, not a hindrance.