4674 search results - page 530 / 935 » cases 2008 |
176
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper describes a set of methods for randomly drawing traces in large models either uniformly among all traces, or with a coverage criterion as target. Classical random walk ...
187
click to vote
ENTCS
2008
15 years 6 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
190
click to vote
EOR
2008
15 years 6 months ago
2008
Transportation is an important component of supply chain competitiveness since it plays a major role in the inbound, inter-facility, and outbound logistics. In this context, assig...
151
click to vote
EOR
2008
15 years 6 months ago
2008
We study a dual channel supply chain in which a manufacturer sells to a retailer as well as to consumers directly. Consumers choose the purchase channel based on price and service...
153
Voted
EOR
2008
15 years 6 months ago
2008
The problem of scheduling the production of new and recoverable defective items of the same product manufactured on the same facility is studied. Items are processed in batches. E...