International Journal of Intelligent Information Systems

Volume 2, Issue 1, February 2013

  • Verification of Telecommunication Protocols Based on Formal Methods

    Tkacheva Elena Borisovna, Lubov Demchenko Vasilievna, Saied Halawa Fawaz

    Issue: Volume 2, Issue 1, February 2013
    Pages: 1-10
    Published: 20 February 2013
    Downloads:
    Views:
    Abstract: This article is devoted to the development method for verification and detecting errors that can occur in the operation of protocols for information exchange. The various steps of verification of telecommunication protocols are given in the article; the construction of counterexample, which helps to identify the logical operations that lead to erro... Show More
  • A Design of the Preference Acquisition Detection System Using the EEG

    Hironobu Fukai, Yohei Tomita, Yasue Mitsukura

    Issue: Volume 2, Issue 1, February 2013
    Pages: 19-25
    Published: 20 February 2013
    Downloads:
    Views:
    Abstract: Estimation of emotional states has been multi-disciplinary research interests. Among them, although there are many ways of the estimation such as subjective evaluations and behavioral taxonomy, direct evaluation from the human brain is more reliable. Especially, electroencephalographic (EEG) signal analysis is widely used because of its simplicity ... Show More