2213 search results - page 57 / 443 » On the Scalability of Centralized Control |
ACSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Fine-grained and expressive access control policies on application resources need to be enforced in applicationlevel code. Uniformly enforcing a single policy (referred to as the ...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— This paper presents a distributed version of our previous work, called SAFDetection, which is a sensor analysisbased fault detection approach that is used to monitor tightlycou...
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
COORDINATION
2000
Springer
15 years 2 months ago
2000
Springer
We consider the problem of coordination and control of large heterogeneous groups of agents distributed over the Internet in the context of Law-Governed Interaction (LGI) [2, 5]. L...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— We consider the problem of designing controllers for spatially-varying interconnected systems distributed in one spatial dimension. The matrix structure of such systems can be ...