10038 search results - page 542 / 2008 » Model Checking for Managers |
204
click to vote
CONCURRENCY
2007
15 years 7 months ago
2007
: Good water management is literally vital for the arid and semi-arid regions of the planet. Yet good water management requires multidisciplinary expertise, since one must consider...
209
click to vote
SIGMETRICS
2000
ACM
15 years 7 months ago
2000
ACM
Quality of service of e-commerce sites has been usually managed by the allocation of resources such as processors, disks, and network bandwidth, and by tracking conventional perfo...
217
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Most work on wireless network throughput ignores the temporal correlation inherent to wireless channels because it degrades tractability. To better model and quantify the temporal...
172
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
In the paper we describe the problem of grouping and aggregation in the concept-oriented data model. The model is based on ordering its elements within a hierarchical multidimensi...
187
click to vote
EOR
2008
15 years 5 months ago
2008
We study the problem of asset and liability management of participating insurance policies with guarantees. We develop a scenario optimization model for integrative asset and liab...