5326 search results - page 313 / 1066 » On what we can ensure |
160
click to vote
AIPS
1998
15 years 8 months ago
1998
Casting planning problems as propositional satis ability problems has recently been shown to be an effective way of scaling up plan synthesis. Until now, the bene ts of this appro...
162
Voted
DC
2010
15 years 6 months ago
2010
We introduce a simple liveness property for shared object implementations that is gracefully degrading depending on the degree of synchrony in each run. This property, called adapt...
195
click to vote
SCN
2008
Springer
15 years 6 months ago
2008
Springer
Consider an electronic election scheme implemented using a mix-net; a large number of voters submit their votes and then a smaller number of servers compute the result. The mix-net...
185
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
—We consider a cognitive radio network with distributed multiple secondary users, where each user independently searches for spectrum opportunities in multiple channels without e...
226
click to vote
WICOMM
2011
15 years 1 months ago
2011
Success of Wireless Sensor Networks (WSN) largely depends on whether the deployed network can provide desired area coverage with acceptable network lifetime. This paper seeks to a...