3979 search results - page 147 / 796 » Wild control operators |
140
click to vote
SACMAT
2004
ACM
15 years 10 months ago
2004
ACM
We describe a layered approach to access control for distributed and interoperable computing systems. Firstly, compound access control policies are conceptually specified, using ...
131
click to vote
HAPTICS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper addresses the problem of following an arbitrary path with a dissipative passive haptic display. Such a display has energetically passive actuators; all motive energy mu...
144
click to vote
HYBRID
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
151
Voted
TACS
2001
Springer
15 years 9 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
147
Voted
HYBRID
1999
Springer
15 years 9 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...