计算机科学与软件研究 李未院士七十华诞纪念文集PDF电子书下载

综述 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