And hide all this logic in a XmlHttpRequest service, of course, and support multiple concurrent requests.
将这些逻辑抽象并隐藏在XmlHttpRequest服务中，当然要支持多个并发的请求。
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.
这本书的研究与自动机和一元二阶逻辑关系，对自动机类重点描述分布式系统的并发行为。
Temporal Logic with Constrained Events(TLCE) has been proposed to represent test purpose for testing of concurrent systems.
阐述了一种基于模型的并发系统测试框架，采用TLCE描述测试目的以引导测试用例生成。
Describing the process model of product development by logic DFC, planning the process by methods of concurrent engineering activity planning, the process model of auto panel die design is developed.
通过应用逻辑DFC图对产品开发的过程模型进行图示化描述，应用并行工程的活动分解方法对过程进行分解，建立了汽车覆盖件模具设计的过程模型。
Describing the process model of product development by logic DFC, planning the process by methods of concurrent engineering activity planning, the process model of auto panel die design is developed.
通过应用逻辑DFC图对产品开发的过程模型进行图示化描述，应用并行工程的活动分解方法对过程进行分解，建立了汽车覆盖件模具设计的过程模型。
应用推荐