945 | -- | 0 | Yasunori Ishihara. Foreword |
946 | -- | 957 | Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda. An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix |
958 | -- | 966 | Takeshi Nagaoka, Akihiko Ito, Kozo Okano, Shinji Kusumoto. QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation |
967 | -- | 975 | Toshifusa Sekizawa, Takashi Toyoshima, Koichi Takahashi, Kazuko Takahashi. Probabilistic Symmetry Reduction for a System with Ring Buffer |
976 | -- | 988 | Min Zhang, Kazuhiro Ogata, Masaki Nakamura. Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support |
989 | -- | 999 | Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi. Modeling, Verification and Testing of Web Applications Using Model Checker |
1000 | -- | 1007 | Guang Sun, Shijun Lin, Depeng Jin, Yong Li, Li Su, Yuanyuan Zhang, Lieguang Zeng. Performance-Aware Hybrid Algorithm for Mapping IPs onto Mesh-Based Network on Chip |
1008 | -- | 1017 | Takahisa Kitagawa, Miyuki Hanaoka, Kenji Kono. A State-Aware Protocol Fuzzer Based on Application-Layer Protocols |
1018 | -- | 1025 | Chun-Feng Wu, Wen-Whei Chang, Yuan-Chuan Chiang. Perceptual-Based Playout Mechanisms for Multi-Stream Voice over IP Networks |
1026 | -- | 1034 | Shi Zheng, Weiqiang Wu, Qinyu Zhang. Energy and Link-State Based Routing Protocol for MANET |
1035 | -- | 1044 | Masakazu Murata, Yoshiaki Taniguchi, Go Hasegawa, Hirotaka Nakano. SHOT: Scenario-Type Hypothesis Object Tracking with Indoor Sensor Networks |
1045 | -- | 1050 | Kazuteru Namba, Hideo Ito. Construction of BILBO FF with Soft-Error-Tolerant Capability |
1051 | -- | 1061 | Kyong-Ho Kim, Kwang-Yun Wohn. Effects on Productivity and Safety of Map and Augmented Reality Navigation Paradigms |
1062 | -- | 1072 | Lei Jing, Yinghui Zhou, Zixue Cheng, Junbo Wang. A Recognition Method for One-Stroke Finger Gestures Using a MEMS 3D Accelerometer |
1073 | -- | 1081 | Kwon Yul Choi, Min-Cheol Hong. A Spatially Adaptive Gradient-Projection Algorithm to Remove Coding Artifacts of H.264 |
1082 | -- | 1089 | Haruo Hatanaka, Shimpei Fukumoto, Haruhiko Murata, Hiroshi Kano, Kunihiro Chihara. An Image Stabilization Technology for Digital Still Camera Based on Blind Deconvolution |
1090 | -- | 1098 | Kittiya Khongkraphan, Pakorn KaewTrakulPong. A Novel Reconstruction and Tracking of 3D-Articulated Human Body from 2D Point Correspondences of a Monocular Image Sequence |
1099 | -- | 1108 | Yang Yang, Zejian Yuan, Nanning Zheng, Yuehu Liu, Lei Yang, Yoshifumi Nishio. Interactive Facial-Geometric-Feature Animation for Generating Expressions of Novel Faces |
1109 | -- | 1112 | M. M. Hafizur Rahman, Yukinori Sato, Yasushi Inoguchi. On Nonuniform Traffic Pattern of Modified Hierarchical 3D-Torus Network |
1113 | -- | 1116 | Eun-Jun Yoon, Il-Soo Jeon, Kee-Young Yoo. Robust Authentication Scheme between User and Remote Autonomous Object in Telecommunications System |