3008 search results - page 31 / 602 » Information and Control in Gray-Box Systems |
LISP
2002
14 years 9 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
POLICY
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents a framework for representing and distributing access control policies in distributed heterogeneous systems. Access control polices follows the RBAC (Role Based...
SACMAT
2010
ACM
14 years 8 months ago
2010
ACM
The web is now being used as a general platform for hosting distributed applications like wikis, bulletin board messaging systems and collaborative editing environments. Data from...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
In this paper, we tackle the position tracking problem in a robotic tele-operation setup in the presence of perturbations. In order to cope with the disturbance we developed a new ...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
We consider a networked control system, where each subsystem evolves as a Markov decision process (MDP). Each subsystem is coupled to its neighbors via communication links over wh...