10038 search results - page 657 / 2008 » Model Checking for Managers |
214
click to vote
HOTOS
2007
IEEE
15 years 11 months ago
2007
IEEE
System configuration management is difficult because systems evolve in an undisciplined way: packages are upgraded, configuration files are edited, and so on. The management of ex...
200
click to vote
CCS
2000
ACM
15 years 11 months ago
2000
ACM
This paper initiates a study of accountable certificate management methods, necessary to support long-term authenticity of digital documents. Our main contribution is a model for ...
252
click to vote
DEXA
2000
Springer
15 years 11 months ago
2000
Springer
The Esprit project PRODNET II1 (Production Planning and Management in an Extended Enterprise) had as its main objective the development of a reference architecture and a support in...
234
click to vote
USENIX
2007
15 years 9 months ago
2007
Current approaches to power management are based on operating systems with full knowledge of and full control over the underlying hardware; the distributed nature of multi-layered...
194
click to vote
DSOM
2008
Springer
15 years 9 months ago
2008
Springer
Incident Management is the process through which IT support organizations manage to restore normal service operation after a service disruption. The complexity of IT support organi...