2214 search results - page 355 / 443 » Complexity of Reasoning |
156
click to vote
JLP
2011
14 years 10 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...
171
click to vote
NC
2011
14 years 10 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 ...
124
click to vote
COGSR
2011
14 years 10 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...
163
click to vote
EMISAIJ
2010
14 years 10 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...
148
click to vote
IHI
2010
14 years 10 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...