2024 search results - page 122 / 405 » A Logic Based Approach for Dynamic Access Control |
139
Voted
IROS
2008
IEEE
15 years 9 months ago
2008
IEEE
— The standard control problem of the pendubot refers to the task of stabilizing its equilibrium configuration with the highest potential energy. Linearization of the dynamics o...
147
Voted
FAC
2010
15 years 24 days ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
137
click to vote
PPDP
1999
Springer
15 years 7 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
117
click to vote
CSREAEEE
2006
15 years 4 months ago
2006
Recent advances in user access technology enables the delivery of Network multicast to residential users. In order for such a service to be successful, efficient management must b...
131
Voted
JVCIR
2007
15 years 3 months ago
2007
The most popular approaches for the simulation of dynamic systems in computer graphics are force based. Internal and external forces are accumulated from which accelerations are c...