中国科学：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