2490 search results - page 408 / 498 » Complexity of Contextual Reasoning |
103
Voted
JLP
2011
14 years 5 months ago
2011
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...
112
click to vote
NC
2011
14 years 5 months ago
2011
We apply techniques from complexity theory to a model of biological cellular membranes known as membrane systems or P-systems. Like Boolean circuits, membrane systems are defined ...
96
Voted
TIT
2011
14 years 5 months ago
2011
Abstract. In 1998, Blaze, Bleumer, and Strauss proposed a cryptographic primitive called proxy re-encryption, in which a proxy transforms – without seeing the corresponding plain...
COGSR
2011
14 years 5 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
110
click to vote
EMISAIJ
2010
14 years 5 months ago
2010
Integrated process support is highly desirable in environments where data related to a particular business process are scattered over distributed, heterogeneous information system...