与 «DELAYABLE»相关的英语书籍
在以下的参考文献中发现
delayable的用法。与
delayable相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
Telecommunications and Beyond: The Broader Applicability of ...
Delayable transitions can wait, but only until the falling edge of their time
dependent enabling condition is reached, that is they can never wait until
disabled by time progress. Urgency allows controlling time progress at the
semantic level in a ...
2
Process Algebra: Equational Theories of Communicating Processes
The constants 0 and 1 are delayable versions of Q and l which can take effect in
any time slice (present or future). Similarly, a. p denotes the execution of a in an
arbitrary time slice followed by execution of p, and 0* p denotes that the
execution ...
J. C. M. Baeten, T. Basten, Twan Basten, 2010
3
Automated Technology for Verification and Analysis: 4th ...
here are delayable and eager transitions, in order to satisfy the semantics of ; of
transitions, we need to ensure that the earliest disabled delayable tran- Dmes
disabled in the same subzone or later than the earliest enabled eager This also ...
Susanne Graf, Wenhui Zhang, 2006
4
SDL 2001: Meeting UML: 10th International SDL Forum ...
A delayable transition usually has an enabling condition depending on time,
such as now ≤ x or now − x ≤ y (where x and y are numerical values) and time
may progress in all simulation states in which this transition is enabled as long as
...
Rick Reed, Jeanne Reed, 2001
5
Algebraic Methodology and Software Technology: 8th ...
We call these atomic actions delayable. In addition to these new processes we
introduce the constant δ which stands for livelock, that is, time can pass but no
further action is possible (axiom δ = δ+ σrel(δ)). Thus we obtain the Probabilistic ...
6
Computer Performance Engineering: 8th European Performance ...
4.1 Weak Markovian Network Bisimilarity We adapt the notion of weak Markovian
bisimilarity from for our framework, which behaves as weak bisimilarity on
immediate actions and as Markovian bisimilarity on delayable and passive
actions.
7
Understanding Concurrent Systems
The following events are all deemed 'delayable' because we do not want to have
to rely on them happening urgently for time to pass. (The inclusion of test here
serves the purpose of showing that the individual nodes can be 'lazy' about ...
8
Reliable Traffic Control and Resource Provisioning in ...
However, the time delayable node can only shift time-slots forwardly, which limits
the flexibility of time-slot assignment. To enable parallel operation in MG-RFORP,
the link-based topology of the core network is mapped into segment-based ...
9
Compositionality: The Significant Difference: International ...
However, 1 does not satisfy the time reactivity requirement and cannot be
obtained from a TAD, while 2 can be obtained by supposing that a is delayable
d1 = 5 and b is eager or delayable d2 = 5 . The case 3 corresponds to eager
actions a ...
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli, 1998
10
SDL 2003: System Design: 11th International SDL Forum, ...
red green x := 0 [trued(traffic)] / z t := 0 x = min g ∧ z n ≥ ε / z t :=0 delayable minr
≤ x zt≤maxr/ x:=0 ming ≤ x ≤ maxg ∧ zn=ε/ zt:=0 delayable delayable [trued(
traffic)] / [falsed(traffic)] / zn := 0 zt := 0 inactivate(zn ) inactivate(zt) x = max g ...
Rick Reed, Jeanne Reed, 2003
包含词语«DELAYABLE»的新条目
找出国内和国际出版社所讨论的内容，以及词语
delayable在以下新条目的上下文中是如何使用的。
3 Things You Should Put Off Until Your Retirement Is on Track
Delayable priority No. 2: Paying off your mortgage. Generally speaking, debt is an anchor that weighs you down, and for most debts, it's smarter ... «Motley Fool, 五月 15»
What does the domestic security reform package entail?
Insisting on a judicial verdict in non-delayable cases might hamper the fight against crime. In this regard, the possession of authority by the ... «Daily Sabah, 二月 15»
Stocks: Dick's Sporting Goods Is Not Doing So Hot
I believe that the decline in golf sales was at least partly related to the economy; golf equipment is a delayable, somewhat big-ticket purchase ... «Minyanville.com, 五月 14»
Scott Walker's budget borrows $1 billion, mostly for roads
A 2011 structural analysis found making improvements on the Hoan was critical, he said. "We really don't believe the Hoan Bridge is delayable. «Milwaukee Journal Sentinel, 三月 13»
Digital Medicine: Machines for living
"Most diseases are preventable or delayable. We need to be in charge of that." Technology will play a growing role in our quest for longer, ... «BBC News, 二月 13»
Assam problems fester since Indira Gandhi had “no plan” in 1983
... known as the seven sisters – can no longer be treated Indira Gandhi-style as a distant delayable problem. Ever since independence in 1947, ... «The Independent, 八月 12»
New thinking needed to promote active ageing
Many chronic diseases are preventable, delayable or mitigable through a combination of primary prevention measures, screening and early ... «Irish Times, 八月 12»
Super Street Fighter IV Review - IGN
... cast of Street Fighter IV (all included here), because Abel now has a delayable grapple Ultra and Guile can toss a gigantic Sonic Hurricane. «IGN, 四月 10»
Delaying Startup Services
... type of a service, so you can experiment with delaying services that you think might be, well, delayable. (Watch out for service dependencies, ... «NetworkWorld.com, 七月 09»
Bling losing its lustre
"Jewellery is probably one of the most discretionary, delayable purchases there is except for your Sweet 16th or your 25th anniversary where ... «Toronto Star, 七月 09»
