Amanote Research
Register
Sign In
Reasoning About Secure Interoperation Using Soft Constraints
doi 10.1007/0-387-24098-5_13
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Stefano Bistarelli
Simon N. Foley
Barry O'Sullivan
Publisher
Springer-Verlag
Related search
A Novel Secure Interoperation System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Secure, Constraint-Aware Role-Based Access Control Interoperation Framework
Reasoning About Programs Using a Scientific Method
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reasoning About Loops Using Vampire in KeY
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analysis of Integrity Policies Using Soft Constraints
Metaplanning Using Time-Relation Constraints and Assumption-Based Reasoning.
Formal Reasoning About Systems Biology Using Theorem Proving
PLoS ONE
Multidisciplinary
Flexible Reasoning About Patient Management Using Multiple Models
Artificial Intelligence in Medicine
Medicine
Artificial Intelligence
Soft Case-Based Reasoning
Knowledge Engineering Review
Artificial Intelligence
Software
