Sciweavers

6693 search results - page 298 / 1339
» On an anytime algorithm for control
Sort
View
JCS
2010
124views more  JCS 2010»
15 years 5 months ago
Verifying resource access control on mobile interactive devices
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
Frédéric Besson, Guillaume Dufay, Th...
CDC
2009
IEEE
147views Control Systems» more  CDC 2009»
15 years 4 months ago
A probabilistic approach for control of a stochastic system from LTL specifications
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
Morteza Lahijanian, Sean B. Andersson, Calin Belta
ICDIM
2010
IEEE
15 years 4 months ago
Detecting incompleteness in access control policies using data classification schemes
In a set of access control policies, incompleteness is the existence of situations for which no policy applies. Some of these situations can be exploited by attackers, to obtain un...
Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serg...
CORR
2011
Springer
158views Education» more  CORR 2011»
15 years 1 months ago
Nonuniform Coverage Control on the Line
Abstract— This paper investigates control laws allowing mobile, autonomous agents to optimally position themselves on the line for distributed sensing in a nonuniform field. We ...
Naomi Ehrich Leonard, Alexander Olshevsky
171
Voted
GECCO
2007
Springer
209views Optimization» more  GECCO 2007»
16 years 27 days ago
Guided hyperplane evolutionary algorithm
A new evolutionary technique for multicriteria optimization called Guiding Hyper-plane Evolutionary Algorithm (GHEA) is proposed. The originality of the approach consists in the f...
Corina Rotar, D. Dumitrescu, Rodica Ioana Lung