5252 search results - page 947 / 1051 » Logic in Access Control |
154
click to vote
IMC
2009
ACM
16 years 18 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...
180
Voted
ISSTA
2009
ACM
16 years 18 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...
164
Voted
ISSTA
2009
ACM
16 years 18 days ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
168
click to vote
SCAM
2008
IEEE
16 years 14 days ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
171
Voted
ISCA
2007
IEEE
16 years 11 days ago
2007
IEEE
Server consolidation is becoming an increasingly popular technique to manage and utilize systems. This paper develops CMP memory systems for server consolidation where most sharin...