Volume 2, Issue 1, February 2013
Verification of Telecommunication Protocols Based on Formal Methods
Tkacheva Elena Borisovna, Lubov Demchenko Vasilievna, Saied Halawa Fawaz
Pages: 1-10     Published Online: Feb. 20, 2013
DOI: 10.11648/j.ijiis.20130201.11
Abstract | Full-Text PDF
View 2634                 Downloads 67
A Design of the Preference Acquisition Detection System Using the EEG
Hironobu Fukai, Yohei Tomita, Yasue Mitsukura
Pages: 19-25     Published Online: Feb. 20, 2013
DOI: 10.11648/j.ijiis.20130201.13
Abstract | Full-Text PDF
View 2667                 Downloads 117
Browse journals by subject