PowerPoint and RocketScience II

January 10, 2006 | 0 Comments

In a previous note I objected to venture capitalist Guy Kawasaki’s requests (demands) for shallow and glib sales pitches in PowerPoint, but Professor Edward Tufte is [...]

Digital Rights Management and Logic

January 4, 2006 | 1 Comment

The Sony DRM fiasco is due to a common failure of requirements management logic. If an engineered system relies on certain properties, whenever you add a new requirement, you [...]

Formal methods and academic computer science

January 2, 2006 | 0 Comments

Holloway [22] points out that the typical argument in favor of formal methods (that software is bad, unique, and discontinuous; that testing is inadequate; and that formal [...]

Why programs fail and get hacked

December 30, 2005 | 0 Comments

“People’s distrust of the high-pressure engines was confirmed when the boiler of a stationary engine exploded at Greenwich on 8 September 1803. It was the usual [...]

Priority Inheritance: Hack or Error

December 27, 2005 | 1 Comment

The subject of priority inheritance has come up again on the Linux kernel mailing list and Torvalds correctly notes “Friends don’t let friends use priority [...]

Comparing VXworks to RTLinux

December 16, 2005 | 0 Comments

A couple of years ago, one of our salesmen asked us to comment on a comparison between VxWorks and RTLinux performance that had a prospective customer worried. When we [...]

Proving Operating Systems Correct:#8

December 16, 2005 | 0 Comments

One of the longstanding problems with operating systems is that there is no way to validate their correctness in the same way that engineers can calculate the ability of a [...]

The romance of trade and fuzzy slippers

April 8, 2005 | 0 Comments

Commerce used to be more fashionable. The French historian Fernand Braudel writes that in the 1630s “ten ships a year from the Indian ocean, from Calicut, Surat, or [...]
1 38 39 40 41