16 search results - page 4 / 4 » Stable Inversion Control for Flexible Link Manipulators |
144
Voted
SP
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...