Synthesis of protocol specification from service specification

被引：0
|
作者：
机构：
来源：
Karpov, Yu.G. | 1600年 / 23期
关键词：
Distributed Algorithms - Protocol Specification;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Sign specification and synthesis
    Lesson, O
    Vannobel, JM
    GESTURE-BASED COMMUNICATION IN HUMAN-COMPUTER INTERACTION, 1999, 1739 : 239 - 251
  • [42] Maximal Specification Synthesis
    Albarghouthi, Aws
    Dillig, Isil
    Gurfinkel, Arie
    ACM SIGPLAN NOTICES, 2016, 51 (01) : 789 - 801
  • [43] From specification to hardware device: A synthesis algorithm
    Carchiolo, Vincenza
    Malgeri, Michele
    Mangioni, Giuseppe
    2003, Springer Verlag (2885):
  • [44] THE SPECIFICATION OF SPECIFICATION
    PARTRIDGE, D
    GALTON, A
    MINDS AND MACHINES, 1995, 5 (02) : 243 - 255
  • [45] From specification to hardware device: A synthesis algorithm
    Carchiolo, V
    Malgeri, M
    Mangioni, G
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2885 : 665 - 681
  • [46] Neural Circuit Synthesis from Specification Patterns
    Schmitt, Frederik
    Hahn, Christopher
    Rabe, Markus N.
    Finkbeiner, Bernd
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 34 (NEURIPS 2021), 2021, 34
  • [47] Synthesis of Σ Δ DAC from high level specification
    Shen, D
    Lin, ZH
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN & COMPUTER GRAPHICS, 1999, : 577 - 581
  • [48] Assembly specification by gauge with internal mobilities (GIM) - A specification semantics deduced from tolerance synthesis
    Dantan, JY
    Ballu, A
    JOURNAL OF MANUFACTURING SYSTEMS, 2002, 21 (03) : 218 - 235
  • [49] Model-based protocol specification
    Mordecai, Yaniv
    SYSTEMS ENGINEERING, 2019, 22 (02) : 188 - 210
  • [50] Formal specification of a Web services protocol
    Johnson, James E.
    Langworthy, David E.
    Lamport, Leslie
    Vogt, Friedrich H.
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 70 (01): : 34 - 52
12345