10038 search results - page 588 / 2008 » Model Checking for Managers |
237
click to vote
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
249
click to vote
AH
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. The PULSE project objectives are to generate and evaluate a webbased personalized educational intervention for the management of cardiovascular risk. We present a web-bas...
165
click to vote
UIST
2006
ACM
16 years 1 months ago
2006
ACM
We propose WindowScape, a window manager that uses a photograph metaphor for lightweight, post hoc task management. This is the first task management windowing model to provide in...
183
click to vote
SEUS
2005
IEEE
16 years 24 days ago
2005
IEEE
This paper introduces a novel resource management approach based on personal service aggregations(PSAs) for smart spaces. As a smart space is usually a sharable system that simult...
173
click to vote
AINA
2003
IEEE
16 years 16 days ago
2003
IEEE
This paper proposes an analytical model for delayed reservation scheme, which can be exactly analyzed. By applying it to a server-based QoS management network, we can obtain the r...