That is, the same specification can be reused in multiple places within the state machine or some other state machines.
也就是说，在这个状态机或某些其它的状态机中，相同的规范可以在多处重复使用。
According to the WSXL specification, a state machine is an abstract visualization of interaction flows — that is, of the order of interactions that would take place from one point to another.
根据WSXL规范，一个状态机就是交互流的一个抽象可视化—也即交互从一个点发生，再转到另一个点的顺序的抽象可视化。
This, in turn, allows you to define the internal decomposition of that state separately by a discrete and reusable state machine specification.
反过来，你也可以通过一个离散的和可重复使用的状态机的规范来分别地定义上述的复合状态的内在分解。
Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
不严格地说，模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
By smooth throughput estimation and rate adjustment, and the appropriated specification of the state machine of the highest layer, SLVM greatly improves the stability of video quality.
通过设计平滑速率估计、平滑速率调节机制以及接收者最高层的状态机，有效提高视频传输的稳定性。
By smooth throughput estimation and rate adjustment, and the appropriated specification of the state machine of the highest layer, SLVM greatly improves the stability of video quality.
通过设计平滑速率估计、平滑速率调节机制以及接收者最高层的状态机，有效提高视频传输的稳定性。
应用推荐