10038 search results - page 580 / 2008 » Model Checking for Managers |
153
click to vote
CAEPIA
2003
Springer
16 years 13 days ago
2003
Springer
In decision support systems for Intensive Care Units (ICU), the data management subsystem plays an essential role since the data have a heterogeneous origin. The temporal dimension...
196
click to vote
CCGRID
2009
IEEE
16 years 2 months ago
2009
IEEE
—Software license management allows independent software vendors (ISVs) to control the access of their products. It is a fundamental part of the ISVs’ business strategy. A wide...
151
click to vote
IISWC
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— This paper presents our approach for applicationaware power management. We combine continuous monitoring of critical workload indicators, online power and performance m...
182
click to vote
HICSS
2002
IEEE
16 years 5 days ago
2002
IEEE
Deploying an appropriate software process can improve the effectiveness of software engineering. Still, small companies find it hard to allocate resources to software process impr...
219
click to vote
DMDW
2001
15 years 8 months ago
2001
In this paper, we present SISYPHUS, a storage manager for data cubes that provides an efficient physical base for performing OLAP operations. On-Line Analytical Processing (OLAP) ...