1503 search results - page 197 / 301 » Generalized Parity Games |
AAAI
2006
15 years 2 months ago
2006
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...
124
click to vote
SIGMETRICS
2010
ACM
15 years 1 months ago
2010
ACM
Modern storage systems use thousands of inexpensive disks to meet the storage requirement of applications. To enhance the data availability, some form of redundancy is used. For e...
113
click to vote
TIFS
2010
14 years 12 months ago
2010
A fair contract signing protocol allows two potentially mistrusted parities to exchange their commitments (i.e., digital signatures) to an agreed contract over the Internet in a f...
123
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
: We study a simple general scenario of ad hoc networks based on IEEE 802.11 wireless communications, consisting in a chain of transmitters, each of them being in the carrier sense...
166
click to vote
JBI
2010
14 years 8 months ago
2010
We examine how the biomedical informatics (BMI) community, especially consortia that share data and applications, can take advantage of a new resource called cloud computing. Clou...