2940 search results - page 115 / 588 » Relational Parametricity and Control |
140
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— Optimal control and estimation are dual in the LQG setting, as Kalman discovered, however this duality has proven difficult to extend beyond LQG. Here we obtain a more natural...
135
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...
135
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— The principle of Series Elastic Actuation offers considerable advantages for haptic displays compared to stiff actuators. The interaction force between motor and load is direct...
127
click to vote
WSFM
2007
Springer
15 years 10 months ago
2007
Springer
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a ...
133
click to vote
ESORICS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...