Now imagine that we are dealing with fairly typical RPC-style Web services that implement an operation for checking the current price for a given stock symbol.
现在，假设我们在处理相当典型的rpc样式的Web服务，该服务实现了检查给定股票当前价格的操作。
If you use the check box symbol for note flags you can follow up on your notes by checking them off.
如果您使用复选框符号作为笔记标记，那么您可以通过取消选中标记来对笔记进行后续操作。
This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.
结果表明，利用符号模型检验方法分析检验网络协议是可行的。
The symbol readers must check the normal metadata for the parameters before checking the symbol store.
在检查符号存储区之前，符号读取器必须首先检查常规元数据以获得这些参数。
The symbol readers must check the normal metadata for the parameters before checking the symbol store.
在检查符号存储区之前，符号读取器必须首先检查常规元数据以获得这些参数。
应用推荐