An efficient algorithm for processing multi-relation queries in relational databases Liu Weiyi Regular Papers Pages: 236 - 240
Automatic and hierarchical verification for concurrent systems Zhao XudongFeng Yulin Regular Papers Pages: 241 - 249
A goal-type driven method of solving Horn logic with equality Hu Yunfa Regular Papers Pages: 250 - 258
Why SA can beat the exponential explosion in heuristic search Zhang BoZhang Ling Regular Papers Pages: 259 - 265
A characterization of achievable patterns of the MN-puzzle problem Yang Hongqing Regular Papers Pages: 266 - 274
Detecting and locating fallures in communication networks Shi WeigengR. James Duckworth Regular Papers Pages: 275 - 288
Macro-dataflow computational model and its simulation Sun YudongXie Zhiliang Regular Papers Pages: 289 - 295