Pub Date : 2014-03-18DOI: 10.3724/SP.J.1016.2013.01261
Xiang-Ning Li, K. Hao, Xiao-Qun Guo
{"title":"k-Choice Nets and Expressiveness of the Pi Calculus: k-Choice Nets and Expressiveness of the Pi Calculus","authors":"Xiang-Ning Li, K. Hao, Xiao-Qun Guo","doi":"10.3724/SP.J.1016.2013.01261","DOIUrl":"https://doi.org/10.3724/SP.J.1016.2013.01261","url":null,"abstract":"","PeriodicalId":35776,"journal":{"name":"计算机学报","volume":"36 1","pages":"1261-1266"},"PeriodicalIF":0.0,"publicationDate":"2014-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70040929","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-03-18DOI: 10.3724/SP.J.1016.2013.01456
Dapeng Qu, Xingwei Wang, Min Huang
{"title":"An Aware Ant Routing Algorithm in Mobile Peer-To-Peer Networks: An Aware Ant Routing Algorithm in Mobile Peer-To-Peer Networks","authors":"Dapeng Qu, Xingwei Wang, Min Huang","doi":"10.3724/SP.J.1016.2013.01456","DOIUrl":"https://doi.org/10.3724/SP.J.1016.2013.01456","url":null,"abstract":"","PeriodicalId":35776,"journal":{"name":"计算机学报","volume":"36 1","pages":"1456-1464"},"PeriodicalIF":0.0,"publicationDate":"2014-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70040655","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Key Technologies and Prototype Systems of Programmable Virtual Routers: Key Technologies and Prototype Systems of Programmable Virtual Routers","authors":"Layong Luo, Peng He, Hongtao Guan, Zhenyu Li, Gaogang Xie","doi":"10.3724/SP.J.1016.2013.01349","DOIUrl":"https://doi.org/10.3724/SP.J.1016.2013.01349","url":null,"abstract":"","PeriodicalId":35776,"journal":{"name":"计算机学报","volume":"36 1","pages":"1349-1363"},"PeriodicalIF":0.0,"publicationDate":"2014-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70040762","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-03-18DOI: 10.3724/SP.J.1016.2013.01254
Da-you Liu, Yong Lai, Hai Lin
{"title":"C2E: An EPCCL Compiler with Good Performance: C2E: An EPCCL Compiler with Good Performance","authors":"Da-you Liu, Yong Lai, Hai Lin","doi":"10.3724/SP.J.1016.2013.01254","DOIUrl":"https://doi.org/10.3724/SP.J.1016.2013.01254","url":null,"abstract":"","PeriodicalId":35776,"journal":{"name":"计算机学报","volume":"36 1","pages":"1254-1260"},"PeriodicalIF":0.0,"publicationDate":"2014-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70040889","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-03-18DOI: 10.3724/SP.J.1016.2013.01682
Chunying Zhang, Jingfeng Guo
{"title":"The α Relationship Communities of Set Pair Social Networks and Its Dynamic Mining Algorithms: The α Relationship Communities of Set Pair Social Networks and Its Dynamic Mining Algorithms","authors":"Chunying Zhang, Jingfeng Guo","doi":"10.3724/SP.J.1016.2013.01682","DOIUrl":"https://doi.org/10.3724/SP.J.1016.2013.01682","url":null,"abstract":"","PeriodicalId":35776,"journal":{"name":"计算机学报","volume":"36 1","pages":"1682-1692"},"PeriodicalIF":0.0,"publicationDate":"2014-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70061834","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-03-18DOI: 10.3724/SP.J.1016.2013.01714
Junfeng Zhou, Bo Wang, S. Tian, Ziyang Chen, Jingfeng Guo
{"title":"TDTMS: An Algorithm for Subtree Results Construction on XML Data: TDTMS: An Algorithm for Subtree Results Construction on XML Data","authors":"Junfeng Zhou, Bo Wang, S. Tian, Ziyang Chen, Jingfeng Guo","doi":"10.3724/SP.J.1016.2013.01714","DOIUrl":"https://doi.org/10.3724/SP.J.1016.2013.01714","url":null,"abstract":"","PeriodicalId":35776,"journal":{"name":"计算机学报","volume":"36 1","pages":"1714-1728"},"PeriodicalIF":0.0,"publicationDate":"2014-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70061576","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-03-18DOI: 10.3724/SP.J.1016.2013.01413
Chun-Yan Zhang, Ke Xu, Yifeng Zhong, Sai Zhang, Yingchun Zhao
{"title":"Dynamic Game Procedure Analyzing and Solving Between Multiple Interface Mobile Host Users and Internet Service Providers: Dynamic Game Procedure Analyzing and Solving Between Multiple Interface Mobile Host Users and Internet Service Providers","authors":"Chun-Yan Zhang, Ke Xu, Yifeng Zhong, Sai Zhang, Yingchun Zhao","doi":"10.3724/SP.J.1016.2013.01413","DOIUrl":"https://doi.org/10.3724/SP.J.1016.2013.01413","url":null,"abstract":"","PeriodicalId":35776,"journal":{"name":"计算机学报","volume":"36 1","pages":"1413-1423"},"PeriodicalIF":0.0,"publicationDate":"2014-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70040920","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}