Sciweavers

5252 search results - page 187 / 1051
» Logic in Access Control
Sort
View
ASPDAC
2004
ACM
83views Hardware» more  ASPDAC 2004»
16 years 15 days ago
A procedure for obtaining a behavioral description for the control logic of a non-linear pipeline
Much attention has been directed to different aspects of the design of pipelines [1,2,3,4]. Design of the control logic of non-linear pipelines has however, been considered as a su...
Hashem Hashemi Najaf-abadi
VR
2008
IEEE
129views Virtual Reality» more  VR 2008»
16 years 1 months ago
Object-Capability Security in Virtual Environments
Access control is an important aspect of shared virtual environments. Resource access may not only depend on prior authorization, but also on context of usage such as distance or ...
Martin Scheffler, Jan P. Springer, Bernd Froehlich
210
Voted
POPL
2012
ACM
14 years 2 months ago
Syntactic control of interference for separation logic
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
Uday S. Reddy, John C. Reynolds
ACSC
2004
IEEE
15 years 10 months ago
Adaptive Cooperative Fuzzy Logic Controller
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...
Justin Ammerlaan, David Wright
SAC
2010
ACM
16 years 1 months ago
A simple role mining algorithm
Complex organizations need to establish access control policies in order to manage access to restricted resources. Role Based Access Control paradigm has been introduced in ’90 ...
Carlo Blundo, Stelvio Cimato