International Journal of Intelligent Information Systems

Archive

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
    DOI: 10.11648/j.ijiis.20130201.11
    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
    Download PDF
    View Online

  • 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
    DOI: 10.11648/j.ijiis.20130201.13
    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
    Download PDF
    View Online

About Us

Science Publishing Group (SciencePG) is an Open Access publisher, with more than 300 online, peer-reviewed journals covering a wide range of academic disciplines.

Learn More About SciencePG

Products

Information

Important Link

Copyright © 2012 -- 2024 Science Publishing Group – All rights reserved.