3134 search results - page 151 / 627 » simulation 2010 |
117
Voted
ENTCS
2007
15 years 3 months ago
2007
We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a si...
126
click to vote
ENTCS
2007
15 years 3 months ago
2007
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...
120
Voted
ENTCS
2007
15 years 3 months ago
2007
Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...
114
Voted
EOR
2007
15 years 3 months ago
2007
We investigate the value of pooling capacity in supply chains that serve product demands of different variabilities. We build and analyze models that integrate production queuing...
134
click to vote
COMCOM
2010
15 years 2 months ago
2010
: - To construct a multicast tree is the basis of multicast data transmission. The prime problem concerning the construction of a shared multicast tree is to determine the position...