5252 search results - page 307 / 1051 » Logic in Access Control |
235
Voted
INFOCOM
2002
IEEE
16 years 13 days ago
2002
IEEE
—In this paper, we introduce a cross-layer design framework to the multiple access problem in contention-based wireless ad hoc networks. The motivation for this study is twofold,...
208
click to vote
MFCS
1998
Springer
15 years 11 months ago
1998
Springer
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...
212
Voted
GCB
2009
Springer
15 years 5 months ago
2009
Springer
Abstract: A comparative interaction detection paradigm is proposed to study the complex gene regulatory networks that control cell proliferation during development. Instead of atte...
192
click to vote
JDM
1998
15 years 7 months ago
1998
We propose a new replication control scheme for multiple-copy consistency in mobile distributed database systems. Replicating data at multiple sites could contribute to enhance th...
183
Voted
CHI
2008
ACM
16 years 8 months ago
2008
ACM
Significant effort has been invested in developing expressive and flexible access-control languages and systems. However, little has been done to evaluate these systems in practic...