DocumentCode
709700
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
fYear
2015
fDate
17-18 Jan. 2015
Firstpage
141
Lastpage
144
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Computing and Internet of Things (ICIT), 2014 International Conference on
Conference_Location
Harbin
Print_ISBN
978-1-4799-7533-4
Type
conf
DOI
10.1109/ICAIOT.2015.7111556
Filename
7111556
Link To Document