2738 search results - page 280 / 548 » The Frobenius Problem and Its Generalizations |
165
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
As the largest online marketplace, eBay strives to promote its inventory throughout the Web via different types of online advertisement. Contextually relevant links to eBay assets...
154
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The importance of service composition has been widely recognized in the Internet research community due to its high flexibility in allowing development of customized applications....
303
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
296
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
174
click to vote
PODC
2009
ACM
16 years 7 months ago
2009
ACM
Peer-to-peer systems rely on scalable overlay networks that enable efficient routing between its members. Hypercubic topologies facilitate such operations while each node only nee...