An Authorization Logic With Explicit Time

doi 10.21236/ada476803
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center

Related search

Enhancement of Cloud Authorization System Using Predicate Logic

International Journal of Security and its Applications
Computer Science
2017English

Explicit Logic Circuits Discriminate Neural States

PLoS ONE
Multidisciplinary
2009English

An Explicit Time Evolution Method for Acoustic Wave Propagation

Geophysics
PetrologyEnergyGeochemistryGeophysics
2014English

An Explicit Multi-Time-Stepping Algorithm for Aerodynamic Flows

Journal of Computational and Applied Mathematics
Computational MathematicsApplied Mathematics
1997English

Soft-Cascade Learning With Explicit Computation Time Considerations

2018English

An Explicit MOT-TD-VIE Solver for Time Varying Media

2016English

An Evaluation of Explicit Time Integration Schemes for Use With the Generalized Interpolation Material Point Method

Journal of Computational Physics
Numerical AnalysisApplied MathematicsSimulationComputer Science ApplicationsModelingComputational MathematicsAstronomyPhysics
2008English

Alternating-Time Temporal Logic

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1999English

CSL^TA: An Expressive Logic for Continuous-Time Markov Chains

2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy