3358 search results - page 165 / 672 » Dynamic Description Logics |
196
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
176
click to vote
FPL
2007
Springer
15 years 11 months ago
2007
Springer
: Molecular dynamics simulation based on discrete event simulation (DMD) is emerging as an alternative to time-step driven molecular dynamics (MD). DMD uses simplified discretized ...
188
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
202
click to vote
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
The network protocols we use today have been introduced decades ago. Since then the whole Internet came to existence and with it a single protocol stack: TCP/IP. What was a good s...
206
click to vote
AIMSA
2008
Springer
16 years 1 months ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...