International Journal of Informatics Society (IJIS)
ISSN: 1883-4566
Volume: 3, No: 1, Date: April 2011
Full Image: PDF (9.7MB)
Contents
Guest Editor's Message
K. Yoshida
Page: 1
A Correction Reflected Query Method of Database during Online Entry
T. Kudo, Y. Takeda, M. Ishino, K. Saotome, K. Mutou, and N. Kataoka
Pages: 3-11 (
PDF)
A Model Abstraction Technique for Probabilistic Real-Time Systems Based on CEGAR for Timed Automata
T. Nagaoka, A. Ito, T. Tanaka, K. Okano, and S. Kusumoto
Pages: 13-22 (
PDF)
Simulated Collaboration to Understand Japanese Offshore Software Development in China
T. Yuizono and L. Xuan
Pages: 23-29 (
PDF)
P2P-based WSN Data Sharing System using B+Tree
N. Matsuura, H. Mineno, K. Ohta, N. Shiratori, and T. Mizuno
Pages: 31-37 (
PDF)
