6894 search results - page 1284 / 1379 » Generation Problems |
140
click to vote
LICS
2008
IEEE
16 years 21 days ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
176
click to vote
NDSS
2008
IEEE
16 years 21 days ago
2008
IEEE
Protocol reverse engineering is the process of extracting application-level specifications for network protocols. Such specifications are very helpful in a number of security-re...
190
click to vote
PIMRC
2008
IEEE
16 years 20 days ago
2008
IEEE
—Wireless mesh networks (WMNs) is a promising key technology for next generation wireless backhauling that have recently attracted both the academic and industrial interest. Such...
160
click to vote
SRDS
2008
IEEE
16 years 20 days ago
2008
IEEE
Distributed storage systems often use data replication to mask failures and guarantee high data availability. Node failures can be transient or permanent. While the system must ge...
152
click to vote
VTC
2008
IEEE
16 years 20 days ago
2008
IEEE
— The demand for broadband mobile services continues to grow. Conventional high-speed broadband solutions are based on wired-access technologies such as digital subscriber line (...