| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hong Zhu |
An institution theory of formal meta-modelling in graphically extended BNF.  |
Frontiers of Computer Science in China  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiyuan Liu, Xinxiong Chen, Maosong Sun |
Mining the interests of Chinese microbloggers via keyword extraction. |
Frontiers of Computer Science in China |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anh Tuan Luu, Jun Sun 0001, Yang Liu, Jin Song Dong, Xiaohong Li, Quan Thanh Tho |
SeVe: automatic tool for verification of security protocols. |
Frontiers of Computer Science in China |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoying Liu |
Formal engineering methods for software quality assurance. |
Frontiers of Computer Science in China |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lorge Parnas |
The use of mathematics in software quality assurance. |
Frontiers of Computer Science in China |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiliang Tang, Xufei Wang, Huiji Gao, Xia Hu, Huan Liu |
Enriching short text representation in microblog for clustering. |
Frontiers of Computer Science in China |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaochen Li, Wenji Mao, Daniel Zeng |
Forecasting complex group behavior via multiple plan recognition. |
Frontiers of Computer Science in China |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz |
rCOS: a formal model-driven engineering method for component-based software. |
Frontiers of Computer Science in China |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaolong Li, Gang Pan, Zhaohui Wu, Guande Qi, Shijian Li, Daqing Zhang, Wangsheng Zhang, Zonghui Wang |
Prediction of urban human mobility using large-scale taxi traces and its applications. |
Frontiers of Computer Science in China |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Wang, Qingpeng Zhang, Zhong Liu, Wenli Liu, Ding Wen |
On social computing research collaboration patterns: a social network perspective. |
Frontiers of Computer Science in China |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Wang, Yubai Li, Chang Wu |
An analytical model for Network-on-Chip with finite input buffer. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoqin Fan, Xianwen Fang, Zhijun Ding |
Indeterminacy-aware service selection for reliable service composition. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongjian Zhao, Boqiang Liu, Sen Wang |
A robust extraction algorithm for biomedical signals from noisy mixtures. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuzhong Sun, Yiqiang Zhao, Ying Song, Yajun Yang, Haifeng Fang, Hongyong Zang, Yaqiong Li, Yunwei Gao |
Green challenges to system software in data centers. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yutaka Okaie, Tadashi Nakano |
Non-cooperative optimization games in market-oriented overlay networks: an integrated model of resource pricing and network formation. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Defa Hu, Qiaoliang Li |
A simple fingerprinting scheme for large user groups. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Wang |
Certifying assembly programs with trails. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuguo Yang |
Research on resource allocation for multi-tier web applications in a virtualization environment. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanni Han, Deyi Li, Teng Wang |
Identifying different community members in complex networks based on topology potential. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Bai, Kunsheng Wang, Changzhen Hu, Gang Zhang, Xiao-chuan Jing |
Boosting performance in attack intention recognition by integrating multiple techniques. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Haizheng Yu, Jianfeng Ma, Hong Bian |
Reasonable routing in delay/disruption tolerant networks. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Liangxiao Jiang |
Learning random forests for ranking. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Han, Jiqiang Liu, Zhen Han, Xueye Wei |
Design and implementation of a portable TPM scheme for general-purpose trusted computing based on EFI. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenli Li, Zhao Tong, Dan Liu, Teklay Tesfazghi, Xiangke Liao |
A PTS-PGATS based approach for data-intensive scheduling in data grids. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuesong Yin, Enliang Hu |
Distance metric learning guided adaptive subspace semi-supervised clustering. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Zhao, Licheng Jiao, Hanqiang Liu |
Fuzzy c-means clustering with non local spatial information for noisy image segmentation. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Gao, Wenping Ma, Zepeng Zhuo, Fenghe Wang |
On cross-correlation indicators of an S-box. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunping Zheng, Mudar Sarem |
A fast algorithm for computing moments of gray images based on NAM and extended shading approach. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong Zhu, Zhijing Liu |
Human behavior clustering for anomaly detection. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guojun Wang, Jie Wu |
FlowTrust: trust inference with network flows. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yehu Shen |
Efficient normalized cross correlation calculation method for stereo vision based robot navigation. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Conghua Zhou, Bo Sun, Zhifeng Liu |
Abstraction for model checking multi-agent systems. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiubo Geng, Xueqi Cheng |
Learning multiple metrics for ranking. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zijian Guo, Wenyuan Wang, Guolei Tang, Jun Huang |
A recursive model for static empty container allocation. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Weimin Wang, Jingchun Zhang, Cong Cao, Tao Hou, Yue Liu, Keji Chen |
An efficient approach to representing and mining knowledge from Qing court medical records. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianhua Jia, Bingxiang Liu, Licheng Jiao |
Soft spectral clustering ensemble applied to image segmentation. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiuyue Hao, Chao Li, Zhang Xiong, Ejaz Hussain |
A temporal-spatial background modeling of dynamic scenes. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenfeng Yang, Yupu Hu |
A resynchronization attack on stream ciphers filtered by Maiorana-McFarland functions. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingfen Wu |
Approximation operators based on vague relations and roughness measures of vague sets. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yujian Li, Chenguang Zhang |
A metric normalization of tree edit distance. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lan Li, Wenjun Xiao |
Psu: a novel low-latency constant-degree overlay network. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoying Liu |
Pre-post notation is questionable in effectively specifying operations of object-oriented systems. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao Lv, Hui Li, Jianfeng Ma, Meng Zhao |
Security analysis of two recently proposed RFID authentication protocols. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Fu, Graeme Smith |
Property transformation under specification change. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruixuan Li, Kunmei Wen, Xiwu Gu, Yuhua Li, Xiaolin Sun, Bing Li |
Type-2 fuzzy description logic. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yansong Zhang, Shan Wang, Jiaheng Lu |
Improving performance by creating a native join-index for OLAP. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Zhao, Ye San |
RBF neural network based on q-Gaussian function in function approximation. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bailing Liu, Feng Xiao, Ke Deng |
Resolving conflicts between negotiation success and sensitive information protection in automated trust negotiation. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Baojian Hua |
Static typing for a substructural lambda calculus. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xibei Yang, Ming Zhang |
Dominance-based fuzzy rough approach to an interval-valued decision system. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianchao Zhang, Quanzeng You |
An improved spectral clustering algorithm based on random walk. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Bush |
Toward in vivo nanoscale communication networks: utilizing an active network architecture. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xixiang Lv, Hui Li, Baocang Wang |
Identity-based key distribution for mobile Ad Hoc networks. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pu Huang, Zhenmin Tang, Cai-Kou Chen, Xintian Cheng |
Nearest-neighbor classifier motivated marginal discriminant projections for face recognition. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Xu, Xuehai Zhou, Feng Yang |
Traceback in wireless sensor networks with packet marking and logging. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Wang, Zhiliang Wang, Siyi Zheng, Xuejing Gu |
Individual difference of artificial emotion applied to a service robot. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eryun Liu, Heng Zhao, Fangfei Guo, Jimin Liang, Jie Tian |
Fingerprint segmentation based on an AdaBoost classifier. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Wen, Chao Li, Zhang Xiong |
Behavior pattern extraction by trajectory analysis. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Defu Chen, Zhengsu Tao |
An adaptive polling interval and short preamble media access control protocol for wireless sensor networks. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongsheng Wang |
Answering contextual questions based on ontologies and question templates. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanfang Ma, Min Zhang, Yixiang Chen, Liang Chen |
Two-thirds simulation indexes and modal logic characterization. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ye Li, Honggang Li, Yuwei Zhang, Dengyu Qiao |
Packet transmission policies for battery operated wireless sensor networks. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingfa Zhu, Limin Xiao, Li Ruan, Qinfen Hao |
DeepComp: towards a balanced system design for high performance computer systems. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lean Yu, Shouyang Wang, Kin Keung Lai |
Developing an SVM-based ensemble learning system for customer risk identification collaborating with customer relationship management. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenyong Chen, Wei Fan, Zhang Xiong, Pingan Zhang, Lixin Luo |
Visual data security and management for smart cities. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunhao Liu, Guomo Zhou, Jizhong Zhao, Guojun Dai, Xiang-Yang Li, Ming Gu, Huadong Ma, Lufeng Mo, Yuan He, Jiliang Wang |
Long-term large-scale sensing in the forest: recent advances and future directions of GreenOrbs. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xixiang Lv, Hui Li |
ID-based authenticated group key agreement from bilinear maps. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | An Lu, Wenbin Fang, Chang Xu, Shing-Chi Cheung, Yu Liu |
Data-driven testing methodology for RFID systems. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoliang Chen |
Petaflop supercomputers of China. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Chen, Zheng Cao, Kai Wang, Xuejun An, Ninghui Sun |
HPP controller: a system controller for high performance computing. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuesong Feng, Junyi Zhang, Akimasa Fujiwara, Yoshitsugu Hayashi, Hirokazu Kato |
Improved feedback modeling of transport in enlarging urban areas of developing countries. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Liu, Heng Dai, Farouk Y. M. Alkadhi, Jufeng Dai |
An effective scheduling scheme for multi-hop multicast in wireless mesh networks. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhixiong Chen, Xiaoni Du |
Linear complexity and autocorrelation values of a polyphase generalized cyclotomic sequence of length pq. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaofeng Sha, Jian Gong, Aoying Zhou |
Mining non-redundant diverse patterns: an information theoretic perspective. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiannong Cao, Hejun Wu, Xuefeng Liu, Yi Lai |
iSensNet: an infrastructure for research and development in wireless sensor networks. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuejun Yang, Xiangke Liao, Weixia Xu, Junqiang Song, Qingfeng Hu, Jinshu Su, Liquan Xiao, Kai Lu, Qiang Dou, Juping Jiang, Canqun Yang |
TH-1: China's first petaflop supercomputer. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel M. Ni, Zhang Xiong |
Cognitive sense of China. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming C. Lin, Dinesh Manocha |
Virtual cityscapes: recent advances in crowd modeling and traffic simulation. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia |
Recent advances in program verification through computer algebra. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunquan Zhang, Jiachang Sun, Guoxing Yuan, Linbo Zhang |
Perspectives of China's HPC system development: a view from the 2009 China HPC TOP100 list. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruochen Liu, Licheng Jiao, Yangyang Li, Jing Liu |
An immune memory clonal algorithm for numerical and combinatorial optimization. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Li, Bo Li, Zhigang Huo, Ninghui Sun |
Design and implementation of communication system of the Dawning 6000 supercomputer. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Feng, Zhongfu Wu, Jiang Zhong, Chunxiao Ye, Kaigui Wu |
An enhanced swarm intelligence clustering-based RBFNN classifier and its application in deep Web sources classification. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu, Chunxiang Xu |
A new model for model checking: cycle-weighted Kripke structure. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuling Wang, Qin Shu, Yijing Liu, Zongyan Qiu |
A semantic model of confinement and Locality theorem. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiqiang Liu, Xun Chen, Zhen Han |
Full and partial deniability for authentication schemes. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Daud, Juanzi Li, Lizhu Zhou, Faqir Muhammad |
Knowledge discovery through directed probabilistic topic models: a survey. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Fu, Yu Zhang, Yong Li |
Formal verification of concurrent programs with read-write locks. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mircea Marin, Temur Kutsia |
On the computation of quotients and factors of regular languages. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhipin Deng, Kebin Jia, Yui-Lam Chan, Chang-Hong Fu, Wan-Chi Siu |
Fast motion and disparity estimation for multiview video coding. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Weifeng Lv, Bowen Du, Dianfu Ma, Tongyu Zhu, Chen Wang |
Applied research of data sensing and service to ubiquitous intelligent transportation system. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuzhong Sun, Haifeng Fang, Ying Song, Lei Du, Kai Zhang, Hongyong Zang, Yaqiong Li, Yajun Yang, Ran Ao, Yongbing Huang |
TRainbow: a new trusted virtual machine based platform. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng W. Zhu, Matt W. Mutka, Anish Bivalkar, Abdullah Demir, Yue Lu, Chockalingam Chidambarm |
Toward secure and private service discovery anywhere anytime. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuo Bai, Shouyang Wang, Lean Yu, Aoying Zhou |
Financial information processing and development of emerging financial markets. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiying Liu, David Lorge Parnas, Baltasar Trancón-y-Widemann |
Documenting and verifying systems assembled from components. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiujuan Zhao, Jianmin Shi |
Evaluation of mutual funds using multi-dimensional information. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Zhe Li |
A MANET accessing Internet routing algorithm based on dynamic gateway adaptive selection. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Liang, Yueshan Yu, Jinwu Gao, Zhi-Qiang Liu |
N-person credibilistic strategic game. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianghui Xie, Xing Fang, Sutai Hu, Dong Wu |
Evolution of supercomputers. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinguang Tian, Xueqi Cheng, Miyi Duan, Rui Liao, Hong Chen, Xiaojuan Chen |
Network intrusion detection based on system calls and data mining. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")