Title :
Study of cognitive model for Ad hoc network based on high-order multi-type π calculus modeling
Author :
Guosheng Zhao ; Nan Zhang ; Linyang Sheng
Author_Institution :
Coll. of Comput. Sci. & Inf. Eng., Harbin Normal Univ., Harbin, China
Abstract :
This paper proposed a cognitive model for Ad hoc network, and combined formal modeling of cognitive model with quantitative analysis of cognitive performance, thus at the same time of formal modeling through quantitative analysis obtained Ad hoc network cognitive performance parameters.
Keywords :
cognitive systems; pi calculus; ad hoc network; cognitive model; cognitive performance; formal modeling; high-order multitype π calculus modeling; quantitative analysis; Adaptation models; Analytical models; Computational modeling; ad hoc network; formal modeling; quantitative analysis;
Conference_Titel :
Intelligent Computing and Internet of Things (ICIT), 2014 International Conference on
Conference_Location :
Harbin
Print_ISBN :
978-1-4799-7533-4
DOI :
10.1109/ICAIOT.2015.7111556
