综述 3
面向网络的软件技术：现状与趋势&梅宏，刘譞哲 3
人工智能发展趋势：混合智能研究&吴朝晖，潘纲，郑能干 21
SMT及其扩展问题&马菲菲，张健 29
Service-Oriented Development&WANG Andy,ZHENG Guangzhi 36
Intelligent Transportation Systems for Smart Cities:A Progress Review&XIONG Zhang,SHENGHao,RONG Wenge,COOPER Dave E 52
浅谈跨学科计算思维教学的认识与实践&李晓明 61
基础与理论 67
New Algorithmic Techniques in Parameterized Computation&CHEN Jian'er 67
Simultaneous Maximal Contractions and Simultaneously Maximally Consistent Subsets of Theories&SUI Yuefei,LI Wei 76
Local Search with Edge Weighting and Configuration Checking Heuristics for Minimum Vertex Cover&CAI Shaowei,SU Kaile,SATTAR Abdul 86
Automata-Based Analysis of Stage Suspended Boom Systems&HE Anping,WU Jinzhao,ZHOU Yongquan,YANG Shihan 122
一类异步连接的消息序列图规约的时间性质分析&潘敏学，李宣东 134
中介真值程度的度量及其应用的回顾&洪龙 146
On the Decidability of Open Logic&ZHANG Wei 156
From Quantum Computing Device to Quantum Software&WU Nan,HU Haixing,SONG Fangmin,ZHENG Huimin,LI Xiangdong 167
Formal Semantics and Verification of AADL Modes in Timed Abstract State Machine&YANG Zhibin,HU Kai,MA Dianfu,PI Lei,BODEVEIX Jean-Paul 178
安全苛刻系统自动化测试的形式化语义模型及性质&吕江花，马世龙，李先军 190
R-calculus without the Cut Rule&LUO Jie,LI Wei 207
系统与结构 225
桌面虚拟化：探索与实现&廖小飞，金海，刘海坤，邓莉 225
Using Kernel Coupling to Predict the Performance of Parallel Applications&WU Xingfu,TAYLOR Valerie,GEISLER Jonathan,STEVENS Rick 238
一种基于光谱空间几何特性的高光谱图像快速鲁棒解混方法&张艳宁，张海超，段锋 259
Adaptive Controller for Dynamic Power and Performance Management in the Virtualized Computing Systems&WEN Chengjian,LONG Xiang,MU Yifen 269
A Flexible Attribute Based Access Control Method for Grid Computing&LANG Bo,FOSTER Ian,SIEBENLIST Frank,ANANTHAKRISHNAN Rachana,FREEMAN Tim 284
Simulation of Power Consumption of Cloud Data Centers&LUO Liang,WU Wenjun,TSAI Wei-Tek,DI Dichen,ZHANG Fei 298
软件技术 327
A Tetrahedral Data Model for Unstructured Data Management&LI Wei,LANG Bo 327
Intemetware:A Shift of Software Paradigm&LV Jian,MA Xiaoxing,HUANG Yu,CAO Chun,XU Feng 343
StarBus+:Distributed Object Middleware Practice for Intemet Computing&WANG Huaimin,WANG Yufeng,TANG Yangbin 359
XML语义定义语言&林作铨，刘升平，李未 374
Crosstalk Aware Register Reallocation Method for Green Compiling&CHEN Yong,HE Yanxiang,XU Chao,CHEN Nian,WU Wei,LI Qing'an 397
Automated Program Debugging via Multiple Predicate Switching&LIU Yongmei,LI Bing 409
使用PTCCS的Web服务组合功能性和非功能性方面的统一建模&黄志球，肖芳雄 420
面向特征的软件分析与测试方法研究&刘超，晏海华，何智涛 446
Examining the Potentially Confounding Effect of Class Size on the Associations between Object-Oriented Metrics and Change-Proneness&ZHOU Yuming,LEUNG Hareton,XU Baowen 462
A Revisit of Fault Class Hierarchies in General Boolean Specifications&CHEN Zhenyu,CHEN Tsongyueh,XU Baowen 489
网络与大数据 503
(∈,δ)-Approximate Aggregation Algorithms in Dynamic Sensor Networks&LI Jianzhong,CHENG Siyao 503
Graph Pattern Matching Revised for Social Network Analysis&FAN Wenfei 523
The Small-Community Phenomenon in Networks&LI Angsheng,PENG Pan 548
制造网格中的自动双赢服务协商模型&孟祥旭，潘丽 578
基于模型检测的无线传感网安全协议形式化分析与改进&陈铁明，何卡特，江颉 587
Block Compressive Sensing in Data Gathering for Large-Scale Wireless Sensor Networks&LIU Yanlei,LI Huan 597
Distributed Graph Pattern Matching&MA Shuai,CAO Yang,HUAI Jinpeng,WO Tianyu 611
Inconsistency between Maximum Information Entropy and Homophily in Social Networks&ZHAO Jichang,LIANG Xiao,XU Ke 630
应用技术 639
Region-Based Rate-Control for H.264/AVC for Low Bit-Rate Applications&HU Haimiao,LI Bo,LIN Weiyao,LI Wei,SUN Mingting 639
A Heuristic Path-Estimating Algorithm for Large-Scale Real-Time Traffic Information Calculating&LV Weifeng,ZHU Tongyu,WU Dongdong,DAI Hong,HUANG Jian 662
Combining Tensor Space Analysis and Active Appearance Models for Aging Effect Simulation on Face Images&WANG Yunhong,ZHANG Zhaoxiang,LI Weixin,JIANG Fangyuan 672
TL-Tree:Flash-Optimized Storage for Time-Series Sensing Data on Sensor Platforms&LI Huan,LIANG Dong,XIE Lihui,ZHANG Gong,RAMAMRITHAM Krithi 693
Three-Dimensional Deformable-Model-Based Localization and Recognition of RoadVehicles&ZHANG Zhaoxiang,TAN Tieniu,HUANG Kaiqi,WANG Yunhong 708
Robust Multiple-Vehicle Tracking via Adaptive Integration of Multiple Visual Features&SHENG Hao,WEI Qi,LI Chao,XIONG Zhang 731
Model Order Selection in Reversible Image Watermarking&CHEN Ming,CHEN Zhenyong,ZENG Xiao,XIONGZhang 753
3-D Face Recognition Using eLBP-Based Facial Description and Local Feature Hybrid Matching&HUANG Di,ARDABILIAN Mohsen,WANG Yunhong,CHEN Liming 775