227 search results - page 46 / 46 » Bounded Model Checking of Concurrent Programs |
INFOCOM
2010
IEEE
13 years 3 months ago
2010
IEEE
— Two major factors that limit the throughput in multi-hop wireless networks are the unreliability of wireless transmissions and co-channel interference. One promising technique ...
CCS
2011
ACM
12 years 4 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...