1451 search results - page 183 / 291 » Case Studies in Model Manipulation for Scientific Computing |
183
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Dynamic power management schemes (also called policies) can be used to control the power consumption levels of electronic systems, by setting their components in different states,...
154
click to vote
DSOM
2007
Springer
16 years 16 days ago
2007
Springer
This paper deals with the Change Management process within IT Service Management. Change Management includes several activities, some of which need to evaluate the risk exposure as...
169
click to vote
EVOW
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. This paper presents a novel hybrid approach for solving the Container Loading (CL) problem based on the combination of Integer Linear Programming (ILP) and Genetic Algori...
163
click to vote
POLICY
2007
Springer
16 years 14 days ago
2007
Springer
Policy-based management (PBM) aims to provide flexibility in the management of resources so as to readily reflect changing business goals. However, as organizations increasingly u...
177
click to vote
LICS
2006
IEEE
16 years 11 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....