E-LIB Suche - Ergebnisse für: Craven, Robert

1

A Unified Logical Framework for Reasoning about Deontic Pro..:

Kulicki, Piotr ; Trypuz, Robert ; Craven, Robert.
Logic and Logical Philosophy. , 2023

Link: https://doi.org/10.12775..

2

Grid-Induced Telluric Currents for Non-Contact Load Monitor..:

, In: 2023 IEEE Energy Conversion Congress and Exposition (ECCE),

Farris, Abigail C. ; Stump, William A. ; Johnson, Christopher S... - p. 1248-1252 , 2023

Link: https://doi.org/10.1109/..

3

Relating Network Behavior to Demand-Response During dDOS At..:

, In: Proceedings of the Future Technologies Conference (FTC) 2023, Volume 4; Lecture Notes in Networks and Systems,

Manicavasagam, Rajesh ; Rogers, Mike ; Mahajan, Satish.. - p. 378-393 , 2023

Link: https://doi.org/10.1007/..

4

Testbed for Evaluating and Analyzing Smart Grid Behavior in..:

, In: 2022 14th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT),

Manicavasagam, Rajesh ; Palmer, Anthony ; Rogers, Mike... - p. 122-127 , 2022

Link: https://doi.org/10.1109/..

5

Characterization of clinical pharmacist and hospitalist col..:

Olin, Jacqueline L. ; Anderson, Sarah L. ; Hellwig, Thaddaus R....
JACCP:JOURNAL OF THE AMERICAN COLLEGE OF CLINICAL PHARMACY. 3 (2020) 8 - p. 1413-1422 , 2020

Link: https://doi.org/10.1002/..

6

A novel evaporative cooling tower constructed from an infla..:

Duong, Steven ; Craven, Robert ; Garner, Steve.
Science and Technology for the Built Environment. 24 (2018) 8 - p. 908-918 , 2018

Link: https://doi.org/10.1080/..

7

Adaptive Immune System reinforcement Learning-Based algorit..:

Babalola, Adeniyi Abdulrasheed ; Belkacemi, Rabie ; Zarrabian, Sina.
Engineering Applications of Artificial Intelligence. 57 (2017) - p. 118-133 , 2017

Link: https://doi.org/10.1016/..

8

Argument graphs and assumption-based argumentation:

Craven, Robert ; Toni, Francesca
Artificial Intelligence. 233 (2016) - p. 1-59 , 2016

Link: https://doi.org/10.1016/..

9

Rumpole : a flexible break-glass access control model:

, In: Proceedings of the 16th ACM symposium on Access control models and technologies,

Marinovic, Srdjan ; Craven, Robert ; Ma, Jiefei. - p. 73-82 , 2011

Link: https://dl.acm.org/doi/1..

10

Policy refinement : decomposition and operationalization..:

, In: Proceedings of the 7th International Conference on Network and Services Management,

Craven, Robert ; Lobo, Jorge ; Lupu, Emil.. - p. 115-123 , 2011

Link: https://dl.acm.org/doi/1..

11

Expressive policy analysis with enhanced system dynamicity:

, In: Proceedings of the 4th International Symposium on Information, Computer, and Communications Security,

Craven, Robert ; Lobo, Jorge ; Ma, Jiefei... - p. 239-250 , 2009

Link: https://dl.acm.org/doi/1..

12

Security policy refinement using data integration : a po..:

, In: Proceedings of the 2nd ACM workshop on Assurable and usable security configuration,

Craven, Robert ; Lobo, Jorge ; Lupu, Emil.. - p. 25-28 , 2009

Link: https://dl.acm.org/doi/1..

13

Agent strands in the action language nC+:

Craven, Robert ; Sergot, Marek
Journal of Applied Logic. 6 (2008) 2 - p. 172-191 , 2008

Link: https://doi.org/10.1016/..

14

Distant Causation in C+:

Craven, Robert ; Sergot, Marek
Studia Logica. 79 (2005) 1 - p. 73-96 , 2005

Link: https://doi.org/10.1007/..

15

Distant Causation in C+:

Craven, Robert ; Sergot, Marek
Studia Logica: An International Journal for Symbolic Logic. 79 (2005) 1 - p. 73-96 , 2005

Link: https://www.jstor.org/st..