1324 search results - page 188 / 265 » Automation Controller for Operational IT Management |
APLAS
2010
ACM
13 years 9 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
CORR
2011
Springer
13 years 18 days ago
2011
Springer
There is an increasing need for automated support for humans monitoring the activity of distributed teams of cooperating agents, both human and machine. We characterize the domain...
GIS
2010
ACM
13 years 7 months ago
2010
ACM
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...
ICDE
2003
IEEE
14 years 10 months ago
2003
IEEE
We present a query architecture in which join operators are decomposed into their constituent data structures (State Modules, or SteMs), and dataflow among these SteMs is managed ...
SACMAT
2006
ACM
14 years 2 months ago
2006
ACM
In recent years, trust negotiation (TN) has been proposed as a novel access control solution for use in open system environments in which resources are shared across organizationa...