International Journal of Informatics Society (IJIS)
ISSN: 1883-4566
Volume: 9, No: 1, Date: June 2017
Full Image: PDF (10.7MB)
Contents
Guest Editor's Message
H. Hayami
Page: 1 (
PDF)
Verifying Timed Anonymity of Security Protocols
Y. Kawabe, and N. Ito
Pages: 3-11 (
PDF)
Development and Evaluation of a Near-Miss Map System utilizing Driver's Emotions
Y. Saito
Pages: 13-20 (
PDF)
GPU Acceleration of EDA-based Algorithms to Learn Bayesian Networks
T. Mori, Y. Yamanaka, T. Fujiki, and T. Yoshihiro
Pages: 21-29 (
PDF)
Electronic Smell Picture Book for Children Using Pulse Ejection
S. Horiguchi, S. Matsumoto, H. Shigeno, and K. Okada
Pages: 31-39 (
PDF)
On the Generation of Human-oriented Counter-examples using a Test Automaton
C. Yanagisawa, S. Ogata, and K. Okano
Pages: 41-50 (
PDF)
