Contents

大数据可用性理论、方法和技术专题前言 李建中,杜小勇 2016,27(7):1603-1604 [Abstract(2831)]  [View PDF(4459)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(4050)]  [View PDF(3612)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(3261)]  [View PDF(4049)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(2815)]  [View PDF(3742)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(3216)]  [View PDF(5133)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(3287)]  [View PDF(4824)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(3490)]  [View PDF(3561)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(2765)]  [View PDF(3907)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(3451)]  [View PDF(3824)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(3485)]  [View PDF(3920)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(7446)]  [View PDF(8284)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(6590)]  [View PDF(5759)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(5285)]  [View PDF(4545)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(5419)]  [View PDF(4876)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(5741)]  [View PDF(5281)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(4868)]  [View PDF(4866)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(5740)]  [View PDF(6851)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(5168)]  [View PDF(4853)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(5212)]  [View PDF(4747)1.66 M]