Contents

大数据可用性理论、方法和技术专题前言 李建中,杜小勇 2016,27(7):1603-1604 [Abstract(2903)]  [View PDF(5634)465.97 K]

Improving Invariant Generation for Loops Containing Disjunctive Semantics PAN Jian-Dong, CHEN Li-Qian, HUANG Da-Ming, SUN Hao and ZENG Qing-Kai 2016,27(7):1741-1756 [Abstract(4121)]  [View PDF(4342)1.79 M]

ProMiner: Bi-Directional Consistency Checking Framework Based on System Properties GE Xu-Jun, WANG Ling, XU Li-Hua, GUO Jian and ZHU Hui-Biao 2016,27(7):1757-1771 [Abstract(3346)]  [View PDF(4791)1.68 M]

Method of Mapping Evolution Hypergraph Grammars to State Transition Systems XU Hong-Zhen, ZENG Guo-Sun and WANG Xiao-Yan 2016,27(7):1772-1788 [Abstract(2867)]  [View PDF(4379)1.89 M]

Task-Based Parallel Programming Model Supporting Fault Tolerance WANG Yi-Zhuo, CHEN Xu, JI Wei-Xing, SU Yan, WANG Xiao-Jun and SHI Feng 2016,27(7):1789-1804 [Abstract(3269)]  [View PDF(6247)1.88 M]

User Privacy Preference Support in Location Privacy-Preserving Nearest Neighbor Query NI Wei-Wei1 and 2 2016,27(7):1805-1821 [Abstract(3361)]  [View PDF(5845)1.88 M]

Delay-Constrained Data Collection Without Aggregation in Wireless Sensor Network With Mobile Collector LIANG Jun-Bin, ZOU Shao-Jun, CHEN Ning-Jiang and LI Tao 2016,27(7):1822-1840 [Abstract(3557)]  [View PDF(4305)2.11 M]

Parallel Data Streaming Method for Detection of Super Points in High-Speed Networks ZHOU Ai-Ping, CHENG Guang, GUO Xiao-Jun and LIANG Yi-Xin 2016,27(7):1841-1860 [Abstract(2820)]  [View PDF(4664)2.24 M]

Datacenter-Oriented Data Placement Strategy of Workflows in Hybrid Cloud LI Xue-Jun, WU Yang, LIU Xiao, CHENG Hui-Min, ZHU Er-Zhou and YANG Yun 2016,27(7):1861-1875 [Abstract(3556)]  [View PDF(4475)1.95 M]

Virtual Machine Placement Algorithm Based on Peak Workload Characteristics XU Si-Yao, LIN Wei-Wei and James Z. WANG 2016,27(7):1876-1887 [Abstract(3554)]  [View PDF(4601)2.02 M]

Special Issue's Articles

State-of-the-Art of Research on Big Data Usability LI Jian-Zhong, WANG Hong-Zhi and GAO Hong 2016,27(7):1605-1625 [Abstract(7645)]  [View PDF(10092)2.15 M]

Association Relationships Study of Multi-Dimensional Data Quality DING Xiao-Ou, WANG Hong-Zhi, ZHANG Xiao-Ying, LI Jian-Zhong and GAO Hong 2016,27(7):1626-1644 [Abstract(6711)]  [View PDF(7354)2.32 M]

Statistical Rough Sets CHEN Yu, ZHAO Su-Yun, CHEN Hong, LI Cui-Ping and SUN Hui 2016,27(7):1645-1654 [Abstract(5349)]  [View PDF(5820)1.30 M]

Technique for Continuous Truth Discovery Over Multiple-Source Sensor Data Streams LI Tian-Yi, GU Yu, MA Qian, LI Fang-Fang and YU Ge 2016,27(7):1655-1670 [Abstract(5552)]  [View PDF(6407)2.12 M]

Functional Dependency and Conditional Constraint Based Data Repair JIN Che-Qing, LIU Hui-Ping and ZHOU Ao-Ying 2016,27(7):1671-1684 [Abstract(5840)]  [View PDF(6830)1.69 M]

Repairing Inconsistent Relational Data Based on Possible World Model XU Yao-Li, LI Zhan-Huai, CHEN Qun and ZHONG Ping 2016,27(7):1685-1699 [Abstract(4912)]  [View PDF(6173)1.74 M]

Discovering Important Locations From Massive and Low-Quality Cell Phone Trajectory Data ZHANG Zhi-Gang, JIN Che-Qing, WANG Xiao-Ling and ZHOU Ao-Ying 2016,27(7):1700-1714 [Abstract(5827)]  [View PDF(8248)2.00 M]

Efficient Compressed Genomic Data Oriented Query Approach WANG Jia-Ying, WANG Bin and YANG Xiao-Chun 2016,27(7):1715-1728 [Abstract(5253)]  [View PDF(6240)1.64 M]

A Secure Query Scheme on Encrypted Remote Sensing Images Based on Henon Mapping HUANG Dong-Mei, GENG Xia, WEI Li-Fei and SU Cheng 2016,27(7):1729-1740 [Abstract(5323)]  [View PDF(6092)1.66 M]