2024 search results - page 186 / 405 » A Logic Based Approach for Dynamic Access Control |
181
click to vote
KR
1991
Springer
15 years 7 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
125
click to vote
WSC
2007
15 years 6 months ago
2007
Most of the materials and components for a construction project are lifted by cranes. Much research has been done for path planning, motion control, and online navigation to reduc...
139
click to vote
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Ad-hoc networks are perceived as communities of autonomous devices that interconnect with each other. Typically, they have dynamic topologies and cannot rely on a continuous conne...
143
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
120
click to vote
ICDIM
2007
IEEE
15 years 10 months ago
2007
IEEE
Objectives of Automation courses are knowledge and know-how transfer to students. It is important for learner to control locally or remotely real systems composed of many sensors ...