Results 331 to 340 of about 494,097 (364)

Safety Decidability for Pre-Authorization Usage Control with Finite Attribute Domains

IEEE Transactions on Dependable and Secure Computing, 2016
Rajkumar P V, R. Sandhu
semanticscholar   +1 more source

Not to decide is to decide

American Journal of Obstetrics and Gynecology, 1993
openaire   +2 more sources

Decidability and Complexity of Fuzzy Description Logics

KI - Künstliche Intelligenz, 2017
F. Baader, Stefan Borgwardt, R. Peñaloza   +2 more
semanticscholar   +1 more source

On Decidability of Concurrent Kleene Algebra

International Conference on Concurrency Theory, 2017
Paul Brunet, D. Pous, G. Struth
semanticscholar   +1 more source

Operational State Complexity and Decidability of Jumping Finite Automata

International Conference on Developments in Language Theory, 2017
Simon Beier, M. Holzer, Martin Kutrib
semanticscholar   +1 more source

The Right to Decide

Journal of Clinical Oncology, 2002
Sarah, Friebert, Eric, Kodish
openaire   +3 more sources

You Decide Who Decides …

Healthcare Quarterly, 2002
openaire   +2 more sources

On Decidability of Intermediate Levels of Concatenation Hierarchies

International Conference on Developments in Language Theory, 2015
J. Almeida, J. Bartonová, O. Klíma, Michal Kunc   +3 more
semanticscholar   +1 more source

Decidability of model checking multi-agent systems against a class of EHS specifications

European Conference on Artificial Intelligence, 2014
A. Lomuscio, Jakub Michaliszyn
semanticscholar   +1 more source

A Survey of Decidability Results for Elementary Object Systems

Fundamenta Informaticae, 2014
Michael Köhler-Bussmeier
semanticscholar   +1 more source