中国科学:f辑英文版杂志2012年第12期目录
无
(f0003)information for authors 无
(j0001)science china information sciences subject index to volume 55
(2012) 无
(2663)loop reduction techniques for reachability analysis of linear
hybrid automata pan minxue li you bu lei li xuandong
(2675)the stochastic semantics and verification for periodic control
systems yang mengfei wang zheng pu geguang qin shengchao gu bin he
jifeng
(2694)an evaluation framework for energy aware buildings using
statistical model checking david alexandre du dehui larsen kim g.
mikucionis marius skou arne
(2708)towards a degradation-based mechanism for adaptive overload
control wang ziyou zhou minghui mei hong
(2723)anticipatory active monitoring for safety- and security-critical
software dong wei zhao changzhi shu shaoxian martin leucker
(2738)modeling and analyzing mixed communications in service-oriented
trustworthy software jiang jianmin zhang shi gong ping hong zhong yue
houguang
(2757)localizing root causes of performance anomalies in cloud computing
systems by analyzing request trace logs mi haibo wang huaimin zhou
yangfan lyu michael cai hua
(2774)an efficient method for detecting concurrency errors in
object-oriented programs he yanxiang wu wei chen yong
(2785)more efficient automatic repair of large-scale programs using weak
recompilation qi yuhua mao xiaoguang wen yanjun dai ziying gu bin
(2800)an in-depth investigation into the relationships between
structural metrics and unit testability in object-oriented systems zhou
yuming leung haretona song qinbao zhao jianjun lu hongmin chen lin xu
baowen
(2816)software structure evaluation based on the interaction and
encapsulation of methods zheng qinghua ou zhijiang liu ting yang zijiang
hou yuqiao zheng chao
(2826)comparing logic coverage criteria on test case prioritization fang
chunrong chen zhenyu xu baowen
&
nbsp; (2841)automatic real-time slam relocalization based on a hierarchical
bipartite graph model dong qiulei gu zhaopeng hu zhanyi
(2849)clustering mechanism for electric tomography imaging yue shihong
wuteresa cui lijun wang huaxiang
(2865)vmckpt: lightweight and live virtual machine checkpointing liu
haikun jin hai liao xiaofei ma bo xu chengzhong
(2881)secure quantum report with six-particle cluster state and
authentication based on entanglement swapping lining zha xinwei lan qian
(2888)bistatic scattering centres of cone-shaped targets and target
length estimation ai xiaofeng zou xiaohai li yongzhen yang jianhua xiao
shunping
(2899)research and progress navigation of beidou satellite system sun
fuping liu shuai zhu xinhui men baohong
(2908)intelligent transportation systems for smart cities: a progress
review xiong zhang sheng hao rong wenge cooper dave e