<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-05-29 06:44:53Interpretation Philosophy of language Philosophy of mind Semantics Structure Golden ratio Entailment Linear temporal logic Logic Model theory Metalogic |
|
| First Page | Document Content | |
|---|---|---|
Date: 2013-05-29 06:44:53Interpretation Philosophy of language Philosophy of mind Semantics Structure Golden ratio Entailment Linear temporal logic Logic Model theory Metalogic |
|
Model-Based Usage Control Policy Derivation Prachi Kumari and Alexander Pretschner Technische Universit¨ at M¨ unchen, Germany {kumari, pretschn}@cs.tum.edu