10038 search results - page 1684 / 2008 » Model Checking for Managers |
184
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
The Compute Power Market (CPM) is a market-based resource management and job scheduling system for grid computing on Internet-wide computational resources, particularly low-end pe...
181
click to vote
VISUAL
2000
Springer
15 years 10 months ago
2000
Springer
We present an original approach for motion-based retrieval involving partial query. More precisely, we propose an uni ed statistical framework both to extract entities of interest ...
189
click to vote
INFOCOM
1995
IEEE
15 years 10 months ago
1995
IEEE
In communication networks, a large number of alarms exist to signal any abnormal behavior of the network. As network faults typically result in a number of alarms, correlating the...
184
click to vote
INCDM
2010
Springer
15 years 10 months ago
2010
Springer
Hospitals increasingly use process models for structuring their care processes. Activities performed to patients are logged to a database but these data are rarely used for managin...
190
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
So far, data warehousing has often been discussed in the light of complex OLAP queries and as reporting facility for operative data. We argue that business planning as a means to ...