1074 search results - page 132 / 215 » Rule sets based bilevel decision model |
181
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
175
click to vote
WSC
2008
15 years 8 months ago
2008
Semiconductor industry is a capital intensive and knowledge intensive industry, in which human resource management and human capital enhancement is increasingly important. To main...
150
click to vote
WSC
2008
15 years 8 months ago
2008
Pharmaceutical expenditures are increasing for hospital systems nationwide. We model the inventory and ordering policies for perishable drugs in the setting of an inpatient hospit...
195
click to vote
SASO
2007
IEEE
16 years 20 days ago
2007
IEEE
Self-adapting systems based on multiple concurrent applications must decide how to allocate scarce resources to applications and how to set the quality parameters of each applicat...
148
click to vote
ADVAI
2010
15 years 28 days ago
2010
The focus of warfare has shifted from the Industrial Age to the Information Age, as encapsulated by the term Network Enabled Capability. This emphasises information sharing, comma...