David A. Wheeler's BlogDavid A. Wheeler's weblog.Please point me to High-Assurance Free-Libre Open Source Software (FLOSS) Components- November 5, 2007 I'm looking for High Assurance and Free-Libre Open Source Software (FLOSS) components. Can anyone point me to ones I don't know about A little context might help, I suppose... A while back I posted a paper, High Assurance (for Security or Safety) and Free-Libre Open Source Software (FLOSS). For purposes of the paper, I define &8220;high assurance software&8221; as software where there&8217;s an argument that could convince skeptical parties that the software will always perform or never...http://www.dwheeler.com/blog/2007/11/05#high-assurance-floss-components Added "MapReduce" to the "Software Innovations" list- November 4, 2007 Ken Krugler's recent blog said that my article of The Most Important Software Innovations was "very good", but he was surprised that I hadn't included MapReduce as an important software innovation. Basically, MapReduce makes writing certain kinds of programs that process huge amounts of data, on vast distributed clusters, remarkably easy and efficient. (Wikipedia explains MapReduce, including links to alternative implementations like the open source Hadoop.) It's not because I didn't know...http://www.dwheeler.com/blog/2007/11/04#mapreduce |