7961 search results - page 1300 / 1593 » Input-Output Model Programs |
136
click to vote
WSC
1998
15 years 5 months ago
1998
Most features in commercial simulation packages are often omitted in parallel simulation benchmarks, because they neither affect the overall correctness of the simulation protocol...
148
click to vote
WSC
2000
15 years 5 months ago
2000
Computation of power control calculations is one of the most time-consuming aspects of simulating wireless communication systems. These calculations are critical to understanding ...
122
click to vote
WSC
1997
15 years 5 months ago
1997
The foundation of readiness is training. The Chairman, Joint Chiefs of Staff (CJCS) Joint Training Program institutes methods for identifying training requirements through review ...
137
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
An important drawback to the popular Belief, Desire, and Intentions (BDI) paradigm is that such systems include no element of learning from experience. In particular, the so-calle...
141
click to vote
ATVA
2010
Springer
15 years 5 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...