1297 search results - page 28 / 260 » Control of systems integrating logic, dynamics, and constrai... |
115
click to vote
SACMAT
2009
ACM
15 years 7 months ago
2009
ACM
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
— The ballbot is a dynamically stable mobile robot that moves on a single spherical wheel and is capable of omnidirectional movement. The ballbot is an underactuated system with ...
123
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
113
click to vote
TCS
2008
15 years 1 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
122
click to vote
COOPIS
1996
IEEE
15 years 5 months ago
1996
IEEE
A federated database is comprised of multiple interconnected database systems that primarily operate independently but cooperate to a certain extent. Global integrity constraints c...