5252 search results - page 226 / 1051 » Logic in Access Control |
174
click to vote
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
We present a simple logic that combines, in a conservative way, the implicative fragments of both classical and intuitionistic logics, thus settling a problem posed by Dov Gabbay i...
214
click to vote
POLICY
2007
Springer
16 years 1 months ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
217
click to vote
ICNP
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
197
click to vote
AADEBUG
2005
Springer
16 years 24 days ago
2005
Springer
Reprogrammable hardware systems are traditionally very difficult to debug due to their high level of parallelism. In our solution to this problem, features are inserted into the u...
176
click to vote
ISCA
2003
IEEE
16 years 15 days ago
2003
IEEE
Multiported register files are a critical component of high-performance superscalar microprocessors. Conventional multiported structures can consume significant power and die ar...