10038 search results - page 496 / 2008 » Model Checking for Managers |
195
click to vote
ISLPED
1999
ACM
15 years 11 months ago
1999
ACM
-- The goal of a dynamic power management policy is to reduce the power consumption of an electronic system by putting system components into different states, each representing ce...
182
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
A scalable approach to trust negotiation is required in Web service environments that have large and dynamic requester populations. We introduce Trust-Serv, a model-driven trust n...
186
Voted
CDVE
2005
Springer
16 years 18 days ago
2005
Springer
This paper presents a new construction management cooperated with clients using a parametric information design method for road construction. This management has been found to be e...
175
click to vote
SPIESR
2004
15 years 8 months ago
2004
A model for evaluating the effectiveness of automatic recording of television programs by digital personal video recorders (PVRs) is presented. The model is used to evaluate the t...
237
click to vote
WOA
2003
15 years 8 months ago
2003
— This paper describes a methodology to design a workflow management system where a set of intelligent software agents composes an interactive scenario. The Workflow Management C...