Sciweavers

467 search results - page 7 / 94
» Simple Mechanical Control Systems with Constraints and Symme...
Sort
View
CSE
2009
IEEE
14 years 2 months ago
A Framework for Enforcing Constrained RBAC Policies
—Constraints are an important part of role-based access control policies. The safety or security of a system is maintained by enforcing constraints that are specified in the pol...
Jason Crampton, Hemanth Khambhammettu
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
13 years 9 months ago
How springs can help to stabilize motions of underactuated systems with weak actuators
In the field of robotics the energy spent for actuation is always an issue. It is often the case that some desired motions cannot be achieved by the robot due to limitations in act...
Uwe Mettin, Pedro X. La Hera, Leonid B. Freidovich...
IAT
2007
IEEE
14 years 2 months ago
Reactive Agent Mechanisms for Manufacturing Process Control
In this paper we face a problem for chemical processes in a production system; items should undergo chemical reactions in different baths to be processed by the system. Recipes f...
Kasper Hallenborg, Ask Just Jensen, Yves Demazeau
PPDP
2004
Springer
14 years 1 months ago
Characterizing strong normalization in a language with control operators
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lesca...
ICDE
2004
IEEE
100views Database» more  ICDE 2004»
14 years 9 months ago
Simple, Robust and Highly Concurrent B-trees with Node Deletion
Why might B-tree concurrency control still be interesting? For two reasons: (i) currently exploited "real world" approaches are complicated; (ii) simpler proposals are n...
David B. Lomet