10038 search results - page 1912 / 2008 » Model Checking for Managers |
107
click to vote
TCGOV
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We describe a web-based system to support groups in elaborating participatory budgets. Rather than using physical meetings with voting mechanisms, we promote virtual meet...
127
click to vote
MM
2004
ACM
15 years 6 months ago
2004
ACM
We consider the problem of clustering Web image search results. Generally, the image search results returned by an image search engine contain multiple topics. Organizing the resu...
122
Voted
SIGCOMM
2004
ACM
15 years 6 months ago
2004
ACM
Hot-potato routing is a mechanism employed when there are multiple (equally good) interdomain routes available for a given destination. In this scenario, the Border Gateway Protoc...
102
click to vote
ICSNW
2004
Springer
15 years 6 months ago
2004
Springer
Peer-to-Peer systems have proven to be an effective way of sharing data. Modern protocols are able to efficiently route a message to a given peer. However, determining the destin...
96
Voted
KDD
2004
ACM
15 years 6 months ago
2004
ACM
Part numbers are widely used within an enterprise throughout the manufacturing process. The point of entry of such part numbers into this process is normally via a Bill of Materia...