1324 search results - page 32 / 265 » Automation Controller for Operational IT Management |
ICPP
2002
IEEE
14 years 1 months ago
2002
IEEE
As organizations begin to deploy large computational grids, it has become apparent that systems for observation and control of the resources, services, and applications that make ...
ACSAC
1999
IEEE
14 years 1 months ago
1999
IEEE
Mainly for scalability reasons, many cryptographic security protocols make use of public key cryptography and require the existence of a corresponding public key infrastructure (P...
ETFA
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
ECBS
2005
IEEE
14 years 2 months ago
2005
IEEE
The high cost of operating large computing installations has motivated a broad interest in reducing the need for human intervention by making systems self-managing. This paper exp...
ISSTA
2004
ACM
14 years 2 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...