INFSOC: Informatics Society
  • Home
  • About INFSOC
  • Conferences
    • IWIN 2025
    • SAIS 2019
    • Past Conferences
  • Japan Chapter
    • Symposium 2024
    • Past Symposium
  • Journals
    • Current Issue
    • Past Issues
    • For Authors
  • Organization
  • Contact

International Journal of Informatics Society (IJIS)

ISSN: 1883-4566
Volume: 7, No: 2, Date: September 2015
Full Image: PDF (5.0MB)

Contents


Guest Editor's Message
R. Kiyohara
Page: 57 (PDF)

A Method for Detection of Traffic Conditions in an Oncoming Lane Using an In-vehicle Camera
R. Shindo, and Y. Shiraishi
Pages: 59-68 (PDF)

A Simulator for the Execution Efficiency Measurement of Distributed Multi-Database Virtualization
D. Kano, H. Sato, J. Sawamoto, and Y. Wada
Pages: 69-76 (PDF)

Formal Verification Technique for Consistency Checking between equals and hashCode Methods in Java
K. Okano, H. Shimba, T. Ohta, H. Onoue, and S. Kusumoto
Pages: 77-87 (PDF)

Proposal for Knowledge Model Using RDF-based Service Control for Balancing Security and Privacy in Ubiquitous Sensor Networks
M. Sato, Y. Teshigawara, and R. Sasaki
Pages: 89-97 (PDF)
Copyright 2025 INFSOC. All rights reserved.