2024 search results - page 139 / 405 » A Logic Based Approach for Dynamic Access Control |
109
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper is concerned with information theoretic "metrics" for comparing two dynamical systems. Following the recent work of Tryphon Georgiou [1], we outline a predicti...
134
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
128
Voted
IWFM
1998
15 years 4 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
129
click to vote
FLAIRS
2007
15 years 5 months ago
2007
We describe an architecture for representing and managing context shifts that supports dynamic data interpretation. This architecture utilizes two layers of learning and three lay...
128
Voted
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...