by PROLAMAT 2006 (2006 Shanghai, China)
This volume contains the edited version of the technical presentations of PROLMAT 2006, the IFIP TC5 international conference held on June 15-17, 2006 at the Shanghai University in China. The main…