简单的线条、美的倾诉，刻画一幅幅精彩的作品，让休憩的片刻也有着动人的故事与对话。
Simple line and beautiful shape produce a series of fine works and fill the rest moment with appealing story and dialog.
本文用加权图的语言给出了这个充要条件一个简单的组合论的刻画。
This paper reduced Qiu s criterion to a simpler version in terms of weighted graphs.
本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。
This paper proposes a new simple trace semantics that can be used to specify security properties, this technique supports a protocol designer to provide formal analysis of the security properties.
应用推荐