Channel-based TCB extension model

被引：0
|
作者：
Liao, Jian-Hua [1 ,3 ]
Zhao, Yong [2 ]
Shen, Chang-Xiang [2 ]
机构：
[1] School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China
[2] College of Computer Science, Beijing University of Technology, Beijing 100124, China
[3] State Key Laboratory of Information Security, Institute of Software, Chinese Academy of Sciences, Beijing 100049, China
来源：
Beijing Gongye Daxue Xuebao/Journal of Beijing University of Technology | 2010年 / 36卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：592 / 596
相关论文
共 50 条
  • [1] Testing the channel-based model of duration perception
    Curran, W.
    Benton, C. P.
    Hibbard, P. B.
    Harris, J. M.
    [J]. PERCEPTION, 2012, 41 : 43 - 43
  • [2] Symbolic Model Checking for Channel-based Component Connectors
    Klueppelholz, Sascha
    Baier, Christel
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 175 (02) : 19 - 37
  • [3] Symbolic model checking for channel-based component connectors
    Klueppelholz, Sascha
    Baier, Christel
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2009, 74 (09) : 688 - 701
  • [4] Reo: a channel-based coordination model for component composition
    Arbab, F
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2004, 14 (03) : 329 - 366
  • [5] Distributed programming with a logic channel-based coordination model
    Diaz, M
    Rubio, B
    Troya, JM
    [J]. COMPUTER JOURNAL, 1996, 39 (10): : 876 - 889
  • [6] A tuple channel-based coordination model for parallel and distributed programming
    Diaz, Manuel
    Rubio, Bartolome
    Troya, Jose M.
    [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2007, 67 (10) : 1092 - 1107
  • [7] Channel-Based Trust Model for Security in Underwater Acoustic Networks
    Signori, Alberto
    Campagnaro, Filippo
    Nissen, Ivor
    Zorzi, Michele
    [J]. IEEE INTERNET OF THINGS JOURNAL, 2022, 9 (20) : 20479 - 20491
  • [8] REDUCTION OF A CHANNEL-BASED MODEL FOR A STOMATOGASTRIC GANGLION LP NEURON
    GOLOMB, D
    GUCKENHEIMER, J
    GUERON, S
    [J]. BIOLOGICAL CYBERNETICS, 1993, 69 (02) : 129 - 137
  • [9] The validity study of a channel-based demand estimation ANP model
    Salmani, Yasamin
    Partovi, Fariborz Y.
    [J]. JOURNAL OF MULTI-CRITERIA DECISION ANALYSIS, 2023, 30 (5-6) : 190 - 202
  • [10] CRAC channel-based optogenetics
    Nhung Thi Nguyen
    Ma, Guolin
    Lin, Eena
    D'Souza, Brendan
    Jing, Ji
    He, Lian
    Huang, Yun
    Zhou, Yubin
    [J]. CELL CALCIUM, 2018, 75 : 79 - 88
12345