Monthly Archives: January 2008

Boeing’s clever idea

Posted on January 9, 2008 by admin

(Update – great link in John Regehr’s comment) Apparently, passenger, admin, and air control computers are all connected. Here’s a reassuring comment (emphasis added) Boeing spokeswoman Lori Gunter said the wording of the FAA document is misleading, and that the … Continue reading →

Posted in software engineering | Tagged , , , , , | 1 Comment

The forefront of Internet 2.0+ and stuff

Posted on January 9, 2008 by admin

Welcome to the world’s most dynamic eBusiness marketing, design and consulting agency. We provide distinct clients with groundbreaking business strategies and cutting-edge designs to aggressively and creatively compete in a changing economy. From the stunning website of Huhcorp. The sister … Continue reading →

Posted in software engineering | Tagged , , , , , | Leave a comment

what do we got to verify in an os?

Posted on January 6, 2008 by admin

From comments below. Just one more comment: I think we should make a distinction between a tool that can verify threaded code and a tool that can verify the code that implements threading. The latter is what you are looking … Continue reading →

Posted in operating systems, software engineering, software security, software security | 1 Comment