I need some help

From: Ron Crane <voting_at_lastland_dot_net>
Date: Mon Apr 25 2005 - 22:31:50 CDT

At Alan's request, I am writing a paper rebutting Prof. Shamos's recent
paper that promotes DREs. I've got most of it in hand, but I need some
help on three issues. Two of them should be easy for someone who knows,
and one will require some work. I need all these by Thursday if
possible. Here they are:

1. A few reliable cites for the proposition that flight-control
software is subject to rigorous specification, implementation, review,
and testing procedures.

2. A few reliable cites for the proposition that software used for
major financial transactions (e.g. a bank's check-clearing system) is
subject to tight standards (though probably not as tight as (1)).

3. I need someone who is well versed in OVC's system to read section
2.4 of Shamos's paper
(http://euro.ecom.cmu.edu/people/faculty/mshamos/paper.htm#_edn1 ) and
to write a technically solid rebuttal. Reward: naming as a co-author.



OVC discuss mailing lists
Send requests to subscribe or unsubscribe to arthur@openvotingconsortium.org
= The content of this message, with the exception of any external
= quotations under fair use, are released to the Public Domain
Received on Sat Apr 30 23:17:14 2005

This archive was generated by hypermail 2.1.8 : Sat Apr 30 2005 - 23:17:22 CDT