2024 search results - page 104 / 405 » A Logic Based Approach for Dynamic Access Control |
122
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— This paper presents a novel approach based on Jacobi shape theory and geometric reduction for formation control of autonomous underwater vehicles (AUVs). We consider a three de...
112
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— When industrial robot arms are controlled using sensor data the performance is dependent on the sensor sampling rate, on delays in signal processing, and on the robot dynamics....
180
Voted
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative k...
131
click to vote
MOBILITY
2009
ACM
15 years 8 months ago
2009
ACM
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...
150
Voted
HYBRID
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...