International Journal of Informatics Society (IJIS)
ISSN: 1883-4566
Volume: 4, No: 2, Date: August 2012
Full Image: PDF (3.7MB)
Contents
Guest Editor's Message
J. Sawamoto
Page: 67
A Study on Stream Prediction Based on Timing Correlation among Multiple Data Stream
K. Arai, Y. Shiraishi and O. Takahashi
Pages: 69-75 (
PDF)
[Practical Paper] Inspection Method of Privacy Utilization for Rule-based Mobile Applications
C. Doi, T. Nakagawa, K. Ohta and H. Inamura
Pages: 77-84 (
PDF)
[Practical Paper] LASP -a Learning Assistant System for Formal Proofs- and Its Application to Education
K. Miyazawa, K. Okano and S. Kusumoto
Pages: 85-92 (
PDF)
Experimental Transformations between Business Process and SOA models
A. Tanaka and O. Takahashi
Pages: 93-102 (
PDF)
The Development of Database System for Route Recommendation based on Sensor Data
Y. Ito, Y. Nakamura, Y. Shiraishi and O. Takahashi
Pages: 103-111 (
PDF)
