| 2013 | A Bounded Polymorphic Session Type System with Delegation. Tiantian Song, Farong Zhong |
| 2013 | A Clock Based Framework for Specifying and Modeling the Time Constraints of Cyber Physical Systems. Bingqing Xu, Lichen Zhang |
| 2013 | A Cloud-Based Development Platform for Services and Bundles of Internet of Things. Yingyi Yang, Jin Yang, Fagui Liu, Qi Duan |
| 2013 | A Coalitional Game Theoretical Model for Content Downloading in Multihop VANETs. Liang Tong, Lixiang Ma, Longjiang Li, Mao Li |
| 2013 | A Data Reusing Strategy Based on Column-Stores. Mei Wang, Jiaoling Zhou, Yue Li, Xiaoling Xia, Jiajin Le |
| 2013 | A Delay Slot Scheduling Framework for VLIW Architectures in Assembly-Level. Huan Ying, Hao Zhu, Zhiyuan Xue, Donghui Wang, Chaohuan Hou |
| 2013 | A Distributed Real-Time Operating System with Distributed Shared Memory for Embedded Control Systems. Takahiro Chiba, Myungryun Yoo, Takanori Yokoyama |
| 2013 | A Dynamic Detection Method to C/C++ Programs Memory Vulnerabilities Based on Pointer Analysis. Rui Ma, Lingkui Chen, Changzhen Hu, Jingfeng Xue, Xiaolin Zhao |
| 2013 | A Fault-Tolerant Routing Algorithm for NoC Using Farthest Reachable Routers. Junshi Wang, Xiaohang Wang, Letian Huang, Terrence S. T. Mak, Guangjun Li |
| 2013 | A Lightweight Appliance Recognition Approach for Smart Grid. Wei-Ting Cho, Lien-Chun Wang, Yu-Sheng Chiu, Chin-Feng Lai |
| 2013 | A Method of Field Recognizing Based on Association Strength. Yang Liu, Lingyu Xu, Jie Yu, Yunlan Xue, Han Dong |
| 2013 | A Method of Parameters Estimation of SCCC Turbo Code. Dan Li, Lu Gan |
| 2013 | A Multicast Routing Algorithm for GEO/LEO Satellite IP Networks. Chao Yuan, Xiaoxiang Wang |
| 2013 | A New Algorithm to Exploit Superword Level Parallelism. Peng Liu, Rongcai Zhao, Wei Gao, Shuai Wei |
| 2013 | A New Approach to Building a Multi-tier Direct Access Knowledgebase for IDS/SIEM Systems. Amir Azodi, David Jaeger, Feng Cheng, Christoph Meinel |
| 2013 | A New Gaussian-Like Density Model and Its Application to Object-Tracking. Xifeng Li, Yongle Xie |
| 2013 | A New Method for License Plate Characters Recognition Based on Sliding Window Search. Ying-Jia Bu, Mei Xie |
| 2013 | A New System Interconnection Architecture Based on RapidIO Using Partial Reconfiguration. Zhan Xu, Xiao Wu, Yi Wu |
| 2013 | A Novel Mobile Device NFC Stack Architecture. Kun Xiao, Lei Luo |
| 2013 | A Parallel Multi-appliance Recognition for Smart Meter. Lien-Chun Wang, Wei-Ting Cho, Yu-Sheng Chiu, Chin-Feng Lai |
| 2013 | A Parity-Based Opportunistic Multicast Scheduling Scheme over Cellular Networks. Yulong Wang, Xiaoxiang Wang, Mingming Li, Jing Qu |
| 2013 | A Particle Filter Based Train Localization Scheme Using Wireless Sensor Networks. Jothi V. N. Vijayakumar, Haibo Zhang, Zhiyi Huang, Adeel Javed |
| 2013 | A Radiation Hardened SRAM in 180-nm RHBD Technology. Nan Chen, Tingcun Wei, Xiaomin Wei, Xiao Chen |
| 2013 | A Resource Allocation Scheme for MBMS with QoS Guarantees. Yulong Wang, Xiaoxiang Wang, Mingming Li, Zhiguo Liu |
| 2013 | A Study of the Private Set Intersection Protocol Based on Negative Databases. Dongdong Zhao, Wenjian Luo |
| 2013 | A Study on Improving the Abnormal Signal Detection Ability of Digital Storage Oscilloscope. Jiang Jun, Ye Peng |
| 2013 | A Trajectory Preserving Method Based on Semantic Anonymity Proxy. Meng Li, Sheng Cao, Zhiguang Qin |
| 2013 | A Web Services Container Supporting QoS Hierarchical Control with Multiple Measurements for Utilization. Zhe Wang, Dianfu Ma, Yongwang Zhao |
| 2013 | A Wireless Resources Allocation Method for D2MD Communication under IMT-A System. Hanzeng Wang, Xiaoxiang Wang, Dongyu Wang, Yulong Wang |
| 2013 | ADS-B Data Authentication Based on AH Protocol. Rui-Dong Chen, Chengxiang Si, Haomiao Yang, Xiaosong Zhang |
| 2013 | AENS: Accurate and Efficient Mobile Phone Indoor Navigation System without WiFi. Zhiyuan Xu, Ruijin Wang, Fan Li, Yaodong Huang |
| 2013 | Adaptive Airport Taxi Dispatch Algorithm Based on PCA-WNN. Ke Zhang, Ke Zhang, Supeng Leng, Shuo Xu |
| 2013 | An Approach to Selecting Services with Dynamic Prices for Temporal-Aware Service Processes. Yanhua Du, Hong Li |
| 2013 | An Energy-Efficient Scheduling Strategy in LTE System. Yali Miao, Kai Wen |
| 2013 | An Improved 2D Drafting Method of Contour in CATIA. Liyong Fang, Haihuang Zhang, Hui Li |
| 2013 | An Improved Algorithm for Dynamic Cognitive Extraction Based on Fuzzy Rough Set. Haitao Jia, Mei Xie, Qian Tang, Wei Zhang |
| 2013 | An Improved Congest Control Protocol Based on TCP Veno Protocol. Jianlin Zhang |
| 2013 | An Improved Search Algorithm Based on Path Compression for Complex Network. Ye Yuan, Wenyu Chen, Minyu Feng, Hong Qu |
| 2013 | Analysis and Design of Electronic Map Based on RFID and Google Maps. Zhuangliang Wu, Wenhua Zeng, Lvqing Yang, Yue Li, Meihong Wang |
| 2013 | Analyzing Packet-Level Routing in Data Centers. Ruoyan Liu, Huaxi Gu, Yawen Chen, Haibo Zhang |
| 2013 | Automatic Generation Method of Optimization Scheme for Orderly Power Utilization Based on Genetic Algorithm. Jian-Jun Huang, Qing-Lin Zuo, Fu-Lin Mu |
| 2013 | Based on Improved ESPRIT Algorithm Radar Multi-target Recognition. Haitao Jia, Jian Li, Taoliu Yang, Wei Zhang |
| 2013 | Combination of DM and OBDA for Ontology Generation from Relational Database. Wenge Rong, Rifan Li, Hao Sheng, Yuanxin Ouyang, Zhang Xiong |
| 2013 | Convergence and Chaos of a Class of Discrete-Time Background Neural Networks with Uniform Firing Rate. Min Wan, Lin Zuo, Yan Li, Jinrong Hu, Qian Luo |
| 2013 | Convergence and Scalarization in Whole Function Vectorization. Feng Yue, Jianmin Pang, Jiuzhen Jin, Chao Dai |
| 2013 | Cost Advantage of Network Coding in Space for Irregular (5 + 1) Model. Ting Wen, Xiaoxi Zhang, Xin Huang, Jiaqing Huang |
| 2013 | DSNOC: A Hybrid Dense-Sparse Network-on-Chip Architecture for Efficient Scalable Computing. Thomas Canhao Xu, Ville Leppänen, Martti Forsell |
| 2013 | Delay Aware Broadcast Forwarding Protocol for Asynchronous Duty-Cycled WSNs. Peizhong Shi, Yun Wang |
| 2013 | Design and Implementation of Parallel FFT on CUDA. Xueqin Zhang, Kai Shen, Chengguang Xu, Kaifang Wang |
| 2013 | Design of Bitstream Co-processor for Multimedia Applications. Yingke Gao, Huan Ying, Zhiyuan Xue, Tiejun Zhang, Donghui Wang, Chaohuan Hou |
| 2013 | Device-to-Device Dynamic Clustering Algorithm in Multicast Communication. Mingjun Du, Xiaoxiang Wang, Dongyu Wang, Yulong Wang |
| 2013 | Discrete Hybrid Automata for Safe Cyber-physical System: An Astronautic Case Study. Qiang Wang, Gang Yang, Xingshe Zhou, Yalei Yang |
| 2013 | Dynamic Perception Rule Acquirement for Incomplete Data. Haitao Jia, Jian Li, Mei Xie |
| 2013 | Dynamic Spectrum Sensing for Energy Harvesting Wireless Sensor. Yuki Mizutani, Manabu Sato, Yuusuke Kawakita, Haruhisa Ichikawa |
| 2013 | Efficient Belief Propagation for Image Segmentation Based on an Adaptive MRF Model. Sheng-Jun Xu, Jiu-Qiang Han, Liang Zhao, Guang-Hui Liu |
| 2013 | Emulation of Network Path Quality Indicators. Ruijie Ou, Wenyu Chen, WeiShun Li, Linli Guo |
| 2013 | FPGA Implementation of Polar Format Algorithm for Airborne Spotlight SAR Processing. Linchen Zou, Jindong Zhang, Daiyin Zhu |
| 2013 | FPGA Implementation of Two SAR Autofocus Algorithms. Haiyang Cao, Daiyin Zhu, Jindong Zhang |
| 2013 | Feature Quantity for Universal Receivers to Identify Protocols of Radio Services and Devices. Manabu Sato, Yuki Mizutani, Yuusuke Kawakita, Haruhisa Ichikawa |
| 2013 | Feedback Load Reduction Scheme for Opportunistic Multicast Scheduling in OFDM-Based Systems. Mingming Li, Xiaoxiang Wang, Jia Zhou |
| 2013 | Frequency Control of PV-Diesel Hybrid Power System Using Optimal Fuzzy Logic Controller. Bashar Sakeen, Nasseer K. Bachache, Shaorong Wang |
| 2013 | GCMDDBSCAN: Multi-density DBSCAN Based on Grid and Contribution. Linmeng Zhang, Zhigao Xu, Fengqi Si |
| 2013 | Gesture-Based NUI Application for Real-Time Path Modification. Hongzhe Liu, Yulong Xi, Wei Song, Kyhyun Um, Kyungeun Cho |
| 2013 | Graph-Based Friend Recommendation in Social Networks Using Artificial Bee Colony. Fatemeh Akbari, Amir Hooshang Tajfar, Akbar Farhoodi Nejad |
| 2013 | High Quality with Low-Cost H.264/AVC Interframe Mode Decision Algorithm for Wireless Network. Peicheng Wang, Yinbo Liu, Xingang Liu |
| 2013 | IEEE 11th International Conference on Dependable, Autonomic and Secure Computing, DASC 2013, Chengdu, China, December 21-22, 2013 |
| 2013 | Integrated Network Service to Enhance Multicast Communication. Yongkai Zhou, Pengze Guo, Yan Zhu, Zhi Xue, Jianhua Li, Yi Yuan |
| 2013 | Intelligent Early-Warning System for Landslides Based on the ZigBee Network. Jian Xu, Yuanhong Wang, Yu Zhang, Shushan Yang |
| 2013 | Low-Cost Routing for Manycast communication. Xuegong Tan |
| 2013 | MIMO DAS Solutions in LTE Indoor System. Youxiang Wang, Fuchang Li |
| 2013 | Managing Large Scale Unstructured Data with RDBMS. Zhe Jiang, Yi Luo, Naihu Wu, Chunjiang He, Pingpeng Yuan, Hai Jin |
| 2013 | Minimizing Multiple-Priority Inversion Protocol in Hard Real Time System. Furkan Rabee, Yong Liao, Maolin Yang |
| 2013 | Monte Carlo Based Test Pattern Generation for Hardware Trojan Detection. Mingfu Xue, Aiqun Hu, Yi Huang, Guyue Li |
| 2013 | Moving Object's Detect in a Monocular Moving Camera. Ye-gang Chen, Xiao-rong Diao |
| 2013 | Multi-core Supported High Performance Security Analytics. Feng Cheng, Amir Azodi, David Jaeger, Christoph Meinel |
| 2013 | Multi-hop Transmission Applied in Wireless Network. Wensheng Zou |
| 2013 | Neural Signal Acquisition and Wireless Transmission System Design. Ruoyuan Qu, Tong Li, Shengwei Xu, Fang Han, Li Zhang, Xinxia Cai, Hua Dang |
| 2013 | Novel Differential Flip-Flops Using Neuron-MOS Transistors. Guoqiang Hang, Xiaohui Hu, Danyan Zhang, Yang Yang, Xiaohu You |
| 2013 | On Discovering Feasible Periodic Patterns in Large Database. Xiao Luo, Hua Yuan, Qian Luo |
| 2013 | Optimization Strategies for MPI-Interoperable Active Messages. Xin Zhao, Pavan Balaji, William Gropp, Rajeev Thakur |
| 2013 | Optimized Cache Replacement Scheme for Video on Demand Service. Xiaocui Sun, Zhijun Wang |
| 2013 | PK-OMLP: An OMLP Based k-Exclusion Real-Time Locking Protocol for Multi-GPU Sharing under Partitioned Scheduling. Maolin Yang, Hang Lei, Yong Liao, Furkan Rabee |
| 2013 | Parallel Simulation of Large-Scale Universal Particle Systems Using CUDA. Xiangfei Li, Xuzhi Wang, Wanggen Wan, Xiaoqiang Zhu, Xiaoqing Yu |
| 2013 | Partially Connected Multi-cell Interference Broadcast Channels Based Iterative Interference Alignment with Imperfect Channel Knowledge. Yuan Wang, Zhong-Pei Zhang |
| 2013 | Performance Analyzing and Predicting of Network I/O in Xen System. Jianhua Che, Wei Yao, Shougang Ren, Haoyun Wang |
| 2013 | Performance of LTE-A Uplink with Joint Reception and Inter-cell Interference Coordination. Yong Li, Zhangqin Huang |
| 2013 | Profit-Based Caching for Information-centric Network. Jie Duan, Xiong Wang, Sheng Wang, Shizhong Xu |
| 2013 | Remote Sensing Images Super-resolution Based on Sparse Dictionaries and Residual Dictionaries. Yingying Zhang, Wei Wu, Yong Dai, Xiaomin Yang, Binyu Yan, Wei Lu |
| 2013 | Research on Assessment Theory of Simulation Credibility. Zhiwu Guo |
| 2013 | Research on Big Data Architecture, Key Technologies and Its Measures. Xiaoquan Li, Fujiang Zhang, Yongliang Wang |
| 2013 | Research on Client/Server Communication Mechanism in AUTOSAR System. Hao Chen, Lei Luo, Hua Yan, Geng Chen, Shenglin Gui |
| 2013 | Research on Improvement of Dynamic Load Balancing in MongoDB. Xiaolin Wang, Haopeng Chen, Zhenhua Wang |
| 2013 | Research on Key Technology for Phase-Shift Laser Range Finder. Xianbo Sun, Jianjun Tan, Jian Xu, Shaojun Huang |
| 2013 | Research on the Relationship between the Effect of DPA and Differential Sample Frequency. Ruicong Ma, Daheng Yue, Shaoqing Li, Jihua Chen |
| 2013 | Revisiting Behavior Amplification of NAND Flash-Based Storage Devices in Embedded Systems. Sun Hui, Xieyun Fang, Changsheng Xie, Fei Wu |
| 2013 | Secure Distribution of Big Data Based on BitTorrent. Limin Xiao, Chunjie Xu, Jingchao Qin, Guangjun Qin, Mingfa Zhu, Li Ruan, Zhiyao Wang, Mingquan Li, Dongyu Tan |
| 2013 | Semi-supervised Dual Recurrent Neural Network for Sentiment Analysis. Wenge Rong, Baolin Peng, Yuanxin Ouyang, Chao Li, Zhang Xiong |
| 2013 | Some Special Issues of Network Security Monitoring on Big Data Environments. Lan Liu, Jun Lin |
| 2013 | Spectrum Handoff Scheme for Prioritized Multimedia Services in Cognitive Radio Network with Finite Buffer. Mao Li, Tigang Jiang, Liang Tong |
| 2013 | Study and Application of Dynamic Collocation of Variable Weights Combination Forecasting Model. Ning Cao, Jian-Jun Huang, Xiao-Min Xie |
| 2013 | The One-Way Delay Measurement Algorithm on to Time Synchronization of NTP. Ruijie Ou, Wenyu Chen, Linli Guo, WeiShun Li |
| 2013 | The Research and Realization of Digital Power Line Interference Filter in Magnetotelluric. Ge Shuangchao, Ming Deng, Chen Kai |
| 2013 | The Research of Building Multidimensional Multi-granularity Automatic Uncertain Knowledge System Based on Attributes Similarity. Yanhong Zhang, Lingyu Xu, Jie Yu, Fei Zhong, Yang Liu |
| 2013 | The Research of Channel Reservation Strategy in LEO Satellite Network. Xiaolong Wang, Xiaoxiang Wang |
| 2013 | The Research of Motion Capture Technology Based on Inertial Measurement. Bo Feng, Xianggang Zhang, Huilong Zhao |
| 2013 | The Study on the Self-Similarity and Simulation of CPS Traffic. Jun Shen, Cuibo Yu |
| 2013 | Towards Implicitly Introspecting the Preinstalled Operating System with Local-Booting Virtualization Technology. Yan Wen, Jinjing Zhao, Hua Chen, Minhuan Huang |
| 2013 | Towards a Better Cache Utilization Using Controlled Cache Partitioning. Prateek D. Halwe, Shirshendu Das, Hemangee K. Kapoor |
| 2013 | Tunnel Congestion Exposure and Feedback. Yi Lin, Xiangyang Gong, Wendong Wang, Xinpeng Wei, Lei Zhu |
| 2013 | Twice-Pruning Aided WASD Neuronet of Bernoulli-Polynomial Type with Extension to Robust Classification. Yunong Zhang, Dechao Chen, Long Jin, Ying Wang, Feiheng Luo |
| 2013 | UbiSim: Multiple Sensors Mounted Smart House Simulator Development. Wonsik Lee, Seoungjae Cho, Wei Song, Kyhyun Um, Kyungeun Cho |
| 2013 | Video Quality Assessment Metric Based on Spatio-temporal Motion Information. Kai Kang, Xingang Liu, Chao Sun |
| 2013 | View Oriented Approach to Specify and Model Aerospace Cyber-physical Systems. Lichen Zhang |
| 2013 | Workflow Management Systems Meet Model Drive Architecture. Chao Zhang, Ping Gu, Yan Li |
| 2013 | Workflow and Role Based Access Control Model for Cloud Manufacturing. Xianhui Lin, Xiaomei Zhang |
| 2013 | ZG Control for Ship Course Tracking with Singularity Considered and Solved. Yonghua Yin, Qing Xie, Ying Wang, Dechao Chen, Yunong Zhang |
| 2013 | a key exchange scheme based on lattice. Li Wulu |
| 2013 | vMerger: Server Consolidation in Virtualized Environment. Li Deng, Hai Jin, Song Wu |