Journal: New Generation Comput.

Volume 29, Issue 4

345 -- 364Suchang Guo, Hong-Zhong Huang, Yu Liu. Modeling and Analysis of Grid Service Reliability Considering Fault Recovery
365 -- 390Janine H. Imada, Brian J. Ross. Evolutionary Synthesis of Stochastic Gene Network Models Using Feature-based Search Spaces
391 -- 408Ken Kaneiwa, Norihiro Kamide. Paraconsistent Computation Tree Logic
409 -- 444Lunjin Lu. A Polymorphic Type Dependency Analysis for Logic Programs