5252 search results - page 344 / 1051 » Logic in Access Control |
250
click to vote
PODC
1990
ACM
15 years 11 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
224
click to vote
CSL
2006
Springer
15 years 11 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
176
click to vote
PRICAI
2000
Springer
15 years 11 months ago
2000
Springer
One of the main limitations when accessing the web is the lack of explicit structure, whose presence may help in understanding data semantics. Schema for web data can be constructe...
234
click to vote
DMDW
2003
15 years 9 months ago
2003
Data Warehouse-(DW) logical design often start with a conceptual schema and then generates relational structures. Applying this approach implies to cope with two main aspects: (i) ...
210
click to vote
IAT
2008
IEEE
16 years 2 months ago
2008
IEEE
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (...