Sciweavers

277 search results - page 7 / 56
» Describing Role Models in Terms of Formal Concept Analysis
Sort
View
CORR
2008
Springer
87views Education» more  CORR 2008»
15 years 6 months ago
Two-Level Concept-Oriented Data Model
In this paper we describe a new approach to data modelling called the concept-oriented model (CoM). This model is based on the formalism of nested ordered sets which uses inclusion...
Alexandr A. Savinov
SELMAS
2004
Springer
15 years 11 months ago
Integrating Free-Flow Architectures with Role Models Based on Statecharts
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
Danny Weyns, Elke Steegmans, Tom Holvoet
SACMAT
2009
ACM
16 years 14 days ago
Towards formal security analysis of GTRBAC using timed automata
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri
ICCS
2007
Springer
16 years 4 days ago
Conceptual Fingerprints: Lexical Decomposition by Means of Frames - a Neuro-cognitive Model
Abstract. Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus de...
Wiebke Petersen, Markus Werning
LPAR
1999
Springer
15 years 10 months ago
Practical Reasoning for Expressive Description Logics
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...
Ian Horrocks, Ulrike Sattler, Stephan Tobies