Process algebra-based formal service description method

被引：0
|
作者：
机构：
[1] Bai, Yu
[2] Zhang, Yaoxue
[3] Zhou, Yuezhi
来源：
Zhang, Y. (zhangyx@mail.tsinghua.edu.cn) | 1769年 / Tsinghua University卷 / 52期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] A Comparative Evaluation of Systems for Scalable Linear Algebra-based Analytics
    Thomas, Anthony
    Kumar, Arun
    PROCEEDINGS OF THE VLDB ENDOWMENT, 2018, 11 (13): : 2168 - 2182
  • [42] Formal verification of TCG remote attestation protocols based on process algebra
    Wang, Yong
    Fang, Juan
    Ren, Xingtian
    Lin, Li
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2013, 50 (02): : 325 - 331
  • [43] A fuzzy precedence graph definition for algebra-based dimension reduction
    Ngoc Bich Dao
    Eskenazi, Sebastien
    Bertet, Karell
    Revel, Arnaud
    2016 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2016, : 1826 - 1833
  • [44] A logic and computer algebra-based expert system for diagnosis of anorexia
    Pérez-Carretero, C
    Laita, LM
    Roanes-Lozano, E
    Lázaro, L
    González-Cajal, J
    Laita, L
    MATHEMATICS AND COMPUTERS IN SIMULATION, 2002, 58 (03) : 183 - 202
  • [45] An environment for generating FPGA architectures for image algebra-based algorithms
    Crookes, D
    Alotaibi, K
    Bouridane, A
    Donachy, P
    Benkrid, A
    1998 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING - PROCEEDINGS, VOL 3, 1998, : 990 - 994
  • [46] A Clifford Algebra-based mathematical model for the determination of critical temperatures in superconductors
    Sudharsan Thiruvengadam
    Matthew Murphy
    Karol Miller
    Journal of Mathematical Chemistry, 2020, 58 : 1926 - 1986
  • [47] Assessing physics quantitative literacy in algebra-based physics: lessons learned
    Zimmerman, Charlotte
    McCarty, Andrew
    Brahmia, Suzanne White
    Olsho, Alexis
    de Cock, Mieke
    Boudreaux, Andrew
    Smith, Trevor, I
    Eaton, Philip
    2022 PHYSICS EDUCATION RESEARCH CONFERENCE (PERC), 2022, : 519 - 524
  • [48] CAUSTA: Clifford Algebra-based Unified Spatio-Temporal Analysis
    Yuan, Linwang
    Yu, Zhaoyuan
    Chen, Shaofei
    Luo, Wen
    Wang, Yongjun
    Lue, Guonian
    TRANSACTIONS IN GIS, 2010, 14 : 59 - 83
  • [49] A Clifford Algebra-based mathematical model for the determination of critical temperatures in superconductors
    Thiruvengadam, Sudharsan
    Murphy, Matthew
    Miller, Karol
    JOURNAL OF MATHEMATICAL CHEMISTRY, 2020, 58 (09) : 1926 - 1986
  • [50] Geometric algebra-based unified characteristic parameters computation method of multi-dimensional vector field
    Luo, W. (luow1987@163.com), 1600, Systems Engineering Society of China, Xitong Yanjiusuo, Beijing, 100080, China (33):
12345