This is the page from the conference book. The numbers refer to the page numbers in the book. You can get the PDF of the book at  www.catesol2008.org/files/programproof_final.pdf For the full article, please clck here to read more...