3121 search results - page 362 / 625 » Information Survivability Control Systems |
159
click to vote
PLDI
2006
ACM
16 years 18 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
230
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
179
click to vote
RECSYS
2009
ACM
16 years 1 months ago
2009
ACM
Tagging systems have become major infrastructures on the Web. They allow users to create tags that annotate and categorize content and share them with other users, very helpful in...
159
click to vote
TSMC
2010
15 years 1 months ago
2010
In model-based control, a planner uses a system description to create a plan that achieves production goals. The same model can be used by model-based diagnosis to indirectly infe...
183
click to vote
ISMAR
2005
IEEE
16 years 6 days ago
2005
IEEE
Paper-based cartographic maps provide highly detailed information visualisation with unrivalled fidelity and information density. Moreover, the physical properties of paper affor...