IEICE TRANSACTIONS on Information and Systems

Archive Index

Online ISSN : 1745-1361
Volume E94-D No.5  (Publication Date:2011/05/01)
Previous | 
Special Section on Formal Approach

pp.945-945  FOREWORD  Open Access Paper
Yasunori ISHIHARA  
Summary | FreeFull Text:PDF(56.9KB)

pp.946-957  PAPER-Model Checking
An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix
Weiqiang KONG  Tomohiro SHIRAISHI  Noriyuki KATAHIRA  Masahiko WATANABE  Tetsuro KATAYAMA  Akira FUKUDA  
Summary | Full Text:PDF (433.7KB) >>Buy this Article

pp.958-966  PAPER-Model Checking
QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation
Takeshi NAGAOKA  Akihiko ITO  Kozo OKANO  Shinji KUSUMOTO  
Summary | Full Text:PDF (2.2MB) >>Buy this Article

pp.967-975  PAPER-System Analysis
Probabilistic Symmetry Reduction for a System with Ring Buffer
Summary | Full Text:PDF (308.3KB) >>Buy this Article

pp.976-988  PAPER-Specification Translation
Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support
Min ZHANG  Kazuhiro OGATA  Masaki NAKAMURA  
Summary | Full Text:PDF (919.9KB) >>Buy this Article

pp.989-999  PAPER-Software Development Methodology
Modeling, Verification and Testing of Web Applications Using Model Checker
Summary | Full Text:PDF (523.7KB) >>Buy this Article

Regular Section

pp.1000-1007  PAPER-Computer System
Performance-Aware Hybrid Algorithm for Mapping IPs onto Mesh-Based Network on Chip
Guang SUN  Shijun LIN  Depeng JIN  Yong LI  Li SU  Yuanyuan ZHANG  Lieguang ZENG  
Summary | Full Text:PDF (603.4KB) >>Buy this Article

pp.1008-1017  PAPER-Information Network
A State-Aware Protocol Fuzzer Based on Application-Layer Protocols
Takahisa KITAGAWA  Miyuki HANAOKA  Kenji KONO  
Summary | Full Text:PDF (542.2KB) >>Buy this Article

pp.1018-1025  PAPER-Information Network
Perceptual-Based Playout Mechanisms for Multi-Stream Voice over IP Networks
Chun-Feng WU  Wen-Whei CHANG  Yuan-Chuan CHIANG  
Summary | Full Text:PDF (282.5KB) >>Buy this Article

pp.1026-1034  PAPER-Information Network
Energy and Link-State Based Routing Protocol for MANET
Shi ZHENG  Weiqiang WU  Qinyu ZHANG  
Summary | Full Text:PDF (301.3KB) >>Buy this Article

pp.1035-1044  PAPER-Information Network
SHOT: Scenario-Type Hypothesis Object Tracking with Indoor Sensor Networks
Masakazu MURATA  Yoshiaki TANIGUCHI  Go HASEGAWA  Hirotaka NAKANO  
Summary | Full Text:PDF (666.7KB) >>Buy this Article

pp.1045-1050  PAPER-Dependable Computing
Construction of BILBO FF with Soft-Error-Tolerant Capability
Kazuteru NAMBA  Hideo ITO  
Summary | Full Text:PDF (221.8KB) >>Buy this Article

pp.1051-1061  PAPER-Human-computer Interaction
Effects on Productivity and Safety of Map and Augmented Reality Navigation Paradigms
Kyong-Ho KIM  Kwang-Yun WOHN  
Summary | Full Text:PDF (1.5MB) >>Buy this Article

pp.1062-1072  PAPER-Rehabilitation Engineering and Assistive Technology
A Recognition Method for One-Stroke Finger Gestures Using a MEMS 3D Accelerometer
Lei JING  Yinghui ZHOU  Zixue CHENG  Junbo WANG  
Summary | Full Text:PDF (2.4MB) >>Buy this Article

pp.1073-1081  PAPER-Image Processing and Video Processing
A Spatially Adaptive Gradient-Projection Algorithm to Remove Coding Artifacts of H.264
Kwon-Yul CHOI  Min-Cheol HONG  
Summary | Full Text:PDF (1.4MB) >>Buy this Article

pp.1082-1089  PAPER-Image Processing and Video Processing
An Image Stabilization Technology for Digital Still Camera Based on Blind Deconvolution
Haruo HATANAKA  Shimpei FUKUMOTO  Haruhiko MURATA  Hiroshi KANO  Kunihiro CHIHARA  
Summary | Full Text:PDF (833.7KB) >>Buy this Article

pp.1090-1098  PAPER-Image Recognition, Computer Vision
A Novel Reconstruction and Tracking of 3D-Articulated Human Body from 2D Point Correspondences of a Monocular Image Sequence
Summary | Full Text:PDF (3.1MB) >>Buy this Article

pp.1099-1108  PAPER-Computer Graphics
Interactive Facial-Geometric-Feature Animation for Generating Expressions of Novel Faces
Yang YANG  Zejian YUAN  Nanning ZHENG  Yuehu LIU  Lei YANG  Yoshifumi NISHIO  
Summary | Full Text:PDF (6.2MB) >>Buy this Article

pp.1109-1112  LETTER-Computer System
On Nonuniform Traffic Pattern of Modified Hierarchical 3D-Torus Network
M.M. Hafizur RAHMAN  Yukinori SATO  Yasushi INOGUCHI  
Summary | Full Text:PDF (615.3KB) >>Buy this Article

pp.1113-1116  LETTER-Information Network
Robust Authentication Scheme between User and Remote Autonomous Object in Telecommunications System
Eun-Jun YOON  Il-Soo JEON  Kee-Young YOO  
Summary | Full Text:PDF (240.9KB) >>Buy this Article

Previous | 
go to Page Top