1423 search results - page 45 / 285 » Quantum logic as a dynamic logic |
FPL
2007
Springer
15 years 1 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 ...
AIMSA
2008
Springer
15 years 4 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...
FSTTCS
2000
Springer
15 years 1 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
ICCAD
2005
IEEE
15 years 6 months ago
2005
IEEE
LATA
2009
Springer
15 years 4 months ago
2009
Springer