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
A Correction Reflected Query Method of Database during Online Entry
T. Kudo, Y. Takeda, M. Ishino, K. Saotome, K. Mutou, and N. Kataoka
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
Simulated Collaboration to Understand Japanese Offshore Software Development in China
T. Yuizono and L. Xuan
P2P-based WSN Data Sharing System using B+Tree
N. Matsuura, H. Mineno, K. Ohta, N. Shiratori, and T. Mizuno
