Funding

This research is supported by the U.S. National Science Foundation under grant numbers 0205724 and 0326105, IBM, and by the Brazilian Government under CAPES grant BEX 1312/99-5.