5252 search results - page 266 / 1051 » Logic in Access Control |
195
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
225
click to vote
DMKD
2003
ACM
16 years 19 days ago
2003
ACM
An inference problem exists in a multilevel database if knowledge of some objects in the database allows information with a higher security level to be inferred. Many such inferen...
187
click to vote
GLVLSI
2008
IEEE
16 years 1 months ago
2008
IEEE
Timing optimizations during logic synthesis has become a necessary step to achieve timing closure in VLSI designs. This often involves “shortening” all paths found in the circ...
209
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Many techniques have been proposed in the last few years to address performance degradations in end-to-end congestion control. Although these techniques require parameter tuning...
189
click to vote
NCA
2006
IEEE
16 years 1 months ago
2006
IEEE
Modern Web sites provide multiple services that are often deployed through distributed architectures. The importance and the economic impact of Web-based services introduces signi...