11397 search results - page 2054 / 2280 » A Relational Abstraction for Functions |
222
click to vote
VIZSEC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract Attack graphs for large enterprise networks improve security by revealing critical paths used by adversaries to capture network assets. Even with simplification, current a...
189
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
205
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Continuing scaling of CMOS technology has allowed aggressive pursuant of increased clock rate in DSM chips. The ever shorter clock period has made switching times of di...
176
click to vote
INFOCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— The topological structure of the Internet infrastructure is an important and interesting subject that attracted significant research attention in the last few years. A...
172
click to vote
INFOCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Flooding based strategies are conventionally employed to perform querying and broadcasting in sensor networks. These schemes have low hop-delays of Θ( 1 M(n) ) to reac...