0 | -- | 0 | Wenyu Qu, Masaru Kitsuregawa, Hai Zhuge, Hong Shen, Yingwei Jin. A traffic-based routing algorithm by using mobile agents |
0 | -- | 0 | Roman Obermaisser, Christian El Salloum, Bernhard Huber, Hermann Kopetz. Modeling and verification of distributed real-time systems using periodic finite state machines |
0 | -- | 0 | Qingtian Zeng, Hua Duan. Behavior description for complex flexible manufacturing system based on decomposition of petri net |
0 | -- | 0 | Min-Soo Kim 0002, Kyu-Young Whang, Jae-Gil Lee. n-Gram/2L-approximation: a two-level n-gram inverted index structure for approximate string matching |
0 | -- | 0 | King-Sing Cheung. A formal method for synthesising components of shared resource systems |