2940 search results - page 104 / 588 » Relational Parametricity and Control |
147
click to vote
PLDI
1995
ACM
15 years 8 months ago
1995
ACM
The control dependence relation is used extensively in restructuring compilers. This relation is usually represented using the control dependence graph; unfortunately, the size of...
151
click to vote
AIMSA
2008
Springer
15 years 10 months ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
133
click to vote
CEC
2009
IEEE
15 years 8 months ago
2009
IEEE
It is generally challenging to design decentralized controllers for swarms of robots because there is often no obvious relation between the individual robot behaviors and the final...
162
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Cross-layer design and operation of wireless networks has attracted significant interest in the last decade, yet some basic problems in the area remain unsolved. In this paper, w...
158
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Privacy is considered critical for all organizations needing to manage individual related information. As such, there is an increasing need for access control models which can adeq...