5252 search results - page 289 / 1051 » Logic in Access Control |
170
Voted
EUSFLAT
2007
15 years 9 months ago
2007
Agriculture in Russia has some specifics such as large distribution, inclement climate and big market competition. Appearing of resources-economy, precision and management technol...
198
Voted
FMCAD
2008
Springer
15 years 9 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
210
click to vote
CONTEXT
2003
Springer
16 years 20 days ago
2003
Springer
In conventional security systems, protected resources such as documents, hardware devices and software applications follow an On/Off access policy. On, allows to grant access and ...
217
click to vote
FROCOS
2009
Springer
16 years 2 months ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
188
click to vote
ICON
2007
IEEE
16 years 1 months ago
2007
IEEE
—IETF ForCES (Forwarding and Control Element Separation) is defining specifications for interfaces and modular resources abstractions in open programmable network equipments. Acc...