10038 search results - page 652 / 2008 » Model Checking for Managers |
188
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
With the continued scaling of CMOS technologies and reduced design margins, the reliability concerns induced by transient faults have become prominent. Moreover, the popular energ...
196
click to vote
EDOC
2009
IEEE
16 years 2 months ago
2009
IEEE
—The design of an Enterprise Architecture (EA) management function for an enterprise is no easy task. Various frameworks exist as well as EA management tools, which promise to de...
204
click to vote
WOSP
2005
ACM
16 years 1 months ago
2005
ACM
Resource pools are computing environments that offer virtualized access to shared resources. When used effectively they can align the use of capacity with business needs (flexi...
227
click to vote
PCI
2005
Springer
16 years 28 days ago
2005
Springer
Security incident management is one of the critical areas that offers valuable information to security experts, but still lacks much development. Currently, several security incide...
207
click to vote
NDSS
2002
IEEE
16 years 10 days ago
2002
IEEE
In this paper we present PAMINA (Privilege Administration and Management INfrAstructure), a privilege management system using authorization certificates. Our system supports distr...