10038 search results - page 324 / 2008 » Model Checking for Managers |
198
click to vote
COMCOM
2004
15 years 6 months ago
2004
In this paper, we study the connection between Radio Resource Management and economic parameters, whose application in multimedia communication system is a challenging task. In fa...
152
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...
273
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
We present an overview of a tutorial on model management--an approach to solving data integration problems, such as data warehousing, e-commerce, object-to-relational mapping, sch...
199
click to vote
GVD
2000
15 years 8 months ago
2000
In this paper we propose a meta-modeling approach to adaptive knowledge management. It extends previous work by introducing an application-specific layer which allows to specify m...
157
click to vote
EEE
2004
IEEE
15 years 10 months ago
2004
IEEE
In a catalogue for computer-based models the basic problem is that complex interdependencies between models must be addressed, which are dependent on an application's domain....