803 search results - page 121 / 161 » Aggregation operators and decision modeling |
148
click to vote
AES
2008
Springer
15 years 4 months ago
2008
Springer
Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typ...
125
click to vote
WSC
2000
15 years 5 months ago
2000
The UNOS Kidney Allocation Model (UKAM) is a software tool for the simulation and analysis of national cadaveric kidney and kidney-pancreas allocation policies for transplantation...
118
click to vote
ENVSOFT
2008
15 years 4 months ago
2008
Increasing population, diminishing supplies and variable climatic conditions can cause difficulties in meeting water demands; especially in arid regions where water resources are ...
156
Voted
TARK
2007
Springer
15 years 10 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
182
click to vote
SIGOPS
2010
14 years 10 months ago
2010
Modern chip-level multiprocessors (CMPs) contain multiple processor cores sharing a common last-level cache, memory interconnects, and other hardware resources. Workloads running ...