Sciweavers

3259 search results - page 204 / 652
» Modeling Autonomous-System Relationships
Sort
View
RBAC
1998
85views more  RBAC 1998»
15 years 5 months ago
Control Principles and Role Hierarchies
Role-based access control (RBAC) has been introduced in the last few years, and offers a powerful means of specifying access control decisions. The model of RBAC usually assumes t...
Jonathan D. Moffett
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 4 months ago
Context Ontology Implementation for Smart Home
Context awareness is one of the important fields in ubiquitous computing. Smart Home, a specific instance of ubiquitous computing, provides every family with opportunities to enjo...
Tam Van Nguyen, Wontaek Lim, Huy Anh Nguyen, Deokj...
SLOGICA
2008
126views more  SLOGICA 2008»
15 years 3 months ago
On the Proof Theory of the Modal mu-Calculus
We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to de...
Thomas Studer
JODL
2000
114views more  JODL 2000»
15 years 3 months ago
Integrating ontologies and thesauri for RDF schema creation and metadata querying
In this paper we present a new approach for building metadata schemas by integrating existing ontologies and structured vocabularies (thesauri). This integration is based on the s...
Bernd Amann, Irini Fundulaki, Michel Scholl
IJON
2002
82views more  IJON 2002»
15 years 3 months ago
Functional imaging and neuronal information processing
Since the functional magnetic resonance imaging (fMRI) signal is likely to re ect a spatial average of the activity of neurons with partly dissimilar response properties, its inte...
Angel Nevado, Malcolm P. Young, Stefano Panzeri