1. Modeling and Analysis of Grid Service Reliability Considering Fault Recovery

   • Suchang Guo
   • Hong-Zhong Huang
   • Yu Liu

   OriginalPaper 10 November 2011 Pages: 345 - 364

2. Evolutionary Synthesis of Stochastic Gene Network Models Using Feature-based Search Spaces

   • Janine Imada
   • Brian J. Ross

   OriginalPaper 10 November 2011 Pages: 365 - 390

3. Paraconsistent Computation Tree Logic

   • Ken Kaneiwa
   • Norihiro Kamide

   OriginalPaper 10 November 2011 Pages: 391 - 408

4. A Polymorphic Type Dependency Analysis for Logic Programs

   • Lunjin Lu

   OriginalPaper 10 November 2011 Pages: 409 - 444

5. Index

   OriginalPaper 10 November 2011 Pages: 445 - 448