10038 search results - page 547 / 2008 » Model Checking for Managers |
196
click to vote
IPCO
2008
15 years 8 months ago
2008
In this paper, we present a new Integer Program (IP) for the Air Traffic Flow Management (ATFM) problem. The model we propose provides a complete representation of all the phases o...
296
click to vote
TC
2002
15 years 6 months ago
2002
Dynamic Power Management (DPM) is a design methodology aiming at reducing power consumption of electronic systems by performing selective shutdown of idle system resources. The eff...
216
click to vote
PVM
2010
Springer
15 years 5 months ago
2010
Springer
Parallel programming models on large-scale systems require a scalable system for managing the processes that make up the execution of a parallel program. The process-management sys...
193
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
GeRoMeSuite is a generic model management system which provides several functions for managing complex data models, such as schema integration, definition and execution of schema ...
195
click to vote
EMISA
2007
Springer
16 years 1 months ago
2007
Springer
: Enterprise architecture is gaining acceptance as an approach to manage change and foster IT/business alignment by (1) propagating strategy and process changes to the software and...