By default, the CBI validates the semantics of a event, but this event validation is CPU-intensive and should only be used if absolutely necessary.
默认情况下,CBI将验证事件的语义,但这种事件验证占用大量CPU资源,只应该在绝对需要时使用。
The following sections define a simple event framework built using Geronimo, Active MQ, and the concepts and semantics of JMS.
以下各节定义了使用Geronimo、ActiveMQ和JMS的概念和语义构建的简单事件框架。
Runtime semantics of event handlers.
事件处理程序的运行时语义。
Event structures are important true concurrent models and are well-suited to provide a true concurrent semantics for process algebra in a compositional way.
事件结构是一种十分重要的真并发模型,非常适合于为进程代数提供一种具有可组合性的真并发语义。
In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
本文中,我们采用概率事件结构作为语义模型,研究了概率进程代数的度量指称语义。
In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
本文中,我们采用概率事件结构作为语义模型,研究了概率进程代数的度量指称语义。
应用推荐