10038 search results - page 608 / 2008 » Model Checking for Managers |
133
click to vote
CAISE
2000
Springer
15 years 11 months ago
2000
Springer
For enterprise-wide and cross-enterprise workflow (WF) applications, the load of the WF servers and the amount of communication in the subnets may become a bottleneck. This paper s...
207
Voted
ISSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The policy optimization problem for dynamic power management has received considerable attention in the recent past. We formulate policy optimization as a constrained optimization...
155
click to vote
ICMCS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents a framework for link management within hyper-media documents. The framework includes: (1) an object-oriented document architecture with a consistent interface ...
208
click to vote
CLOUDCOM
2009
Springer
15 years 11 months ago
2009
Springer
Workflows are modeled as hierarchically structured directed acyclic graphs in which vertices represent computational tasks, referred to as requests, and edges represent precedent c...
186
click to vote
GECON
2007
Springer
15 years 11 months ago
2007
Springer
We study a peer-to-peer backup system, where users offer some of their storage space to provide service for the others. The economic model for such a system is different from the o...