4217 search results - page 815 / 844 » Computational indistinguishability logic |
154
click to vote
IMC
2009
ACM
16 years 20 days ago
2009
ACM
Many enterprise, campus, and data-center networks have complex layer-2 virtual LANs (“VLANs”) below the IP layer. The interaction between layer-2 and IP topologies in these VL...
146
click to vote
IMC
2009
ACM
16 years 20 days ago
2009
ACM
Internet exchange points (IXPs) are an important ingredient of the Internet AS-level ecosystem—a logical fabric of the Internet made up of about 30,000 ASes and their mutual bus...
180
Voted
ISSTA
2009
ACM
16 years 20 days ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
174
Voted
RECSYS
2009
ACM
16 years 20 days ago
2009
ACM
A functional dependency is a logical relationship amongst the attributes that define a table of data. Specifically, a functional dependency holds when the values of a subset of ...
171
Voted
SACMAT
2009
ACM
16 years 20 days ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...