منابع مشابه
Authrule: A Generic Rule-Based Authorization Module
As part of the access control process an authorization decision needs to be taken based on a certain authorization model. Depending on the environment different models are applicable (e.g., RBAC in organizations, MAC in the military field). An authorization model contains all necessary elements needed for the decision (e.g., subjects, objects, and roles) as well as their relations. As these ele...
متن کاملModule Product Families and Generic Developments
This module addresses product families and generic developments. Distribution This article or presentation is written as part of the Gaudí project. The Gaudí project philosophy is to improve by obtaining frequent feedback. Frequent feedback is pursued by an open creation process. This document is published as intermediate or nearly mature version to get feedback. Further distribution is allowed...
متن کاملA Generic Memory Module for Events
Intelligent systems need to store their experience so that it can be reused. A memory for such systems needs to efficiently organize and search previous experience and to retrieve items relevant to the situation at hand. It needs to be content addressable while providing flexible matching. Previous approaches to building such memories suffered from being overly tied to a task or domain. We prop...
متن کاملBasic module theory
(c) μ(rs,m) = μ(r, μ(s,m)) (d) if 1 ∈ R, then μ(1,m) = m. We shall usually omit the notation of μ and simply write r ·m for μ(r,m). Thus axiom (c) would be written (rs) ·m = r · (s ·m), etc. Exercise 1. We denote by EndGrp(M) the set of group endomorphisms of M : An element φ ∈ EndGrp(M) is a group homomorphism φ : M → M . EndGrp(M) is naturally a ring, with addition and multiplication defined ...
متن کاملGeneric Trace Theory
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of “non-determinism” such as classical non-determinism (with a set of possible choices) vs. probabilistic nondeterminism. In this paper we claim that these various forms of “trace semantics” are instances of a single categorical construction, namely coinduction in a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1996
ISSN: 0021-8693
DOI: 10.1006/jabr.1996.0322