10038 search results - page 322 / 2008 » Model Checking for Managers |
173
click to vote
WSC
2007
15 years 9 months ago
2007
The focus of this paper is a manufacturing system placed in Calabria (Italy) which produces high pressure hydraulic hoses. The objective is to implement a simulator to be used bot...
190
click to vote
ITIIS
2008
15 years 6 months ago
2008
WiMAX has been introduced as a competitive alternative for metropolitan broadband wireless access technologies. It is connection oriented and it can provide very high data rates, ...
191
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
172
click to vote
EOR
2008
15 years 6 months ago
2008
We develop a multi-stage stochastic programming model for international portfolio management in a dynamic setting. We model uncertainty in asset prices and exchange rates in terms...
222
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...