問(wèn)學(xué)求道五則(代序)
綜述
面向網(wǎng)絡(luò)的軟件技術(shù):現(xiàn)狀與趨勢(shì) 梅宏,劉譞哲
人工智能發(fā)展趨勢(shì):混合智能研究 吳朝暉,潘綱,鄭能干
SMT及其擴(kuò)展問(wèn)題 馬菲菲,張健
Service-Oriented Development WANG Andy,ZHENG Guangzhi
Intelligent Transportation Systems for Smart Cities:A Progress Review XIONG Zhang,SHENG Hao,RONG Wenge,COOPER Dave E
淺談跨學(xué)科計(jì)算思維教學(xué)的認(rèn)識(shí)與實(shí)踐 李曉明
基礎(chǔ)與理論
New Algorithmic Techniques in Parameterized Computation CHEN Jian?er
Simultaneous Maximal Contractions and Simultaneously Maximally Consistent Subsets of Theories SUI Yuefei,LI Wei
Local Search with Edge Weighting and Configuration Checking Heuristics for Minimum Vertex Cover CAI Shaowei,SU Kaile,SATTAR Abdul
Automata-Based Analysis of Stage Suspended Boom Systems HE Anping,WU Jinzhao,ZHOU Yongquan,YANG Shihan
一類異步連接的消息序列圖規(guī)約的時(shí)間性質(zhì)分析 潘敏學(xué),李宣東
中介真值程度的度量及其應(yīng)用的回顧 洪龍
On the Decidability of Open Logic ZHANG Wei
From Quantum Computing Device to Quantum Software WU Nan,HU Haixing,SONG Fangmin,ZHENG Huimin,LI Xiangdong
Formal Semantics and Verification of AADL Modes in Timed Abstract State Machine YANG Zhibin,HU Kai,MA Dianfu,PI Lei,BODEVEIX Jean-Paul
安全苛刻系統(tǒng)自動(dòng)化測(cè)試的形式化語(yǔ)義模型及性質(zhì) 呂江花,馬世龍,李先軍
R-calculus without the Cut Rule LUO Jie,LI Wei
系統(tǒng)與結(jié)構(gòu)
桌面虛擬化:探索與實(shí)現(xiàn) 廖小飛,金海,劉海坤,鄧?yán)?br />Using Kernel Coupling to Predict the Performance of Parallel Applications WU Xingfu,TAYLOR Valerie,GEISLER Jonathan,STEVENS Rick
一種基于光譜空間幾何特性的高光譜圖像快速魯棒解混方法 張艷寧,張海超,段鋒
Adaptive Controller for Dynamic Power and Performance Management in the Virtualized Computing Systems WEN Chengjian,LONG Xiang,MU Yifen
A Flexible Attribute Based Access Control Method for Grid Computing LANG Bo,FOSTER Ian,SIEBENLIST Frank,ANANTHAKRISHNAN Rachana,FREEMAN Tim
Simulation of Power Consumption of Cloud Data Centers LUO Liang,WU Wenjun,TSAI Wei-Tek,DI Dichen,ZHANG Fei
軟件技術(shù)
A Tetrahedral Data Model for Unstructured Data Management LI Wei,LANG Bo
Internetware:A Shift of Software Paradigm LV Jian,MA Xiaoxing,HUANG Yu,CAO Chun,XU Feng
StarBus+:Distributed Object Middleware Practice for Internet Computing WANG Huaimin,WANG Yufeng,TANG Yangbin
XML語(yǔ)義定義語(yǔ)言 林作銓,劉升平,李未
Crosstalk Aware Register Reallocation Method for Green Compiling CHEN Yong,HE Yanxiang,XU Chao,CHEN Nian,WU Wei,LI Qing’an
Automated Program Debugging via Multiple Predicate Switching LIU Yongmei,LI Bing
使用PTCCS 的Web 服務(wù)組合功能性和非功能性方面的統(tǒng)一建模 黃志球,肖芳雄
面向特征的軟件分析與測(cè)試方法研究 劉超,晏海華,何智濤
Examining the Potentially Confounding Effect of Class Size on the Associations between Object-Oriented Metrics and Change-Proneness ZHOU Yuming,LEUNG Hareton,XU Baowen
A Revisit of Fault Class Hierarchies in General Boolean Specifications CHEN Zhenyu,CHEN Tsongyueh,XU Baowen
網(wǎng)絡(luò)與大數(shù)據(jù)
(ε,δ)-Approximate Aggregation Algorithms in Dynamic Sensor Networks LI Jianzhong,CHENG Siyao
Graph Pattern Matching Revised for Social Network Analysis FAN Wenfei
The Small-Community Phenomenon in Networks LI Angsheng,PENG Pan
制造網(wǎng)格中的自動(dòng)雙贏服務(wù)協(xié)商模型 孟祥旭,潘麗
基于模型檢測(cè)的無(wú)線傳感網(wǎng)安全協(xié)議形式化分析與改進(jìn) 陳鐵明,何卡特,江頡
Block Compressive Sensing in Data Gathering for Large-Scale Wireless Sensor Networks LIU Yanlei,LI Huan
Distributed Graph Pattern Matching MA Shuai,CAO Yang,HUAI Jinpeng,WO Tianyu
Inconsistency between Maximum Information Entropy and Homophily in Social Networks ZHAO Jichang,LIANG Xiao,XU Ke
應(yīng)用技術(shù)
Region-Based Rate-Control for H.264/AVC for Low Bit-Rate Applications HU Haimiao,LI Bo,LIN Weiyao,LI Wei,SUN Mingting
A Heuristic Path-Estimating Algorithm for Large-Scale Real-Time Traffic Information Calculating LV Weifeng,ZHU Tongyu,WU Dongdong,DAI Hong,HUANG Jian
Combining Tensor Space Analysis and Active Appearance Models for Aging Effect Simulation on Face Images WANG Yunhong,ZHANG Zhaoxiang,LI Weixin,JIANG Fangyuan
TL-Tree:Flash-Optimized Storage for Time-Series Sensing Data on Sensor Platforms LI Huan,LIANG Dong,XIE Lihui,ZHANG Gong,RAMAMRITHAM Krithi
Three-Dimensional Deformable-Model-Based Localization and Recognition of Road Vehicles ZHANG Zhaoxiang,TAN Tieniu,HUANG Kaiqi,WANG Yunhong
Robust Multiple-Vehicle Tracking via Adaptive Integration of Multiple Visual Features SHENG Hao,WEI Qi,LI Chao,XIONG Zhang
Model Order Selection in Reversible Image Watermarking CHEN Ming,CHEN Zhenyong,ZENG Xiao,XIONG Zhang
3-D Face Recognition Using eLBP-Based Facial Description and Local Feature Hybrid Matching HUANG Di,ARDABILIAN Mohsen,WANG Yunhong,CHEN Liming
鄂公網(wǎng)安備 42010302001612號(hào) 