10038 search results - page 1823 / 2008 » Model Checking for Managers |
135
click to vote
ACMICEC
2007
ACM
15 years 8 months ago
2007
ACM
Peer production has played an important role in the economics of Web 2.0 related services. User participation and contribution become the main driving dynamics of this new economi...
130
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
The traditional constraints on software development and architectures in the consumer electronics domain, including the low cost of manufacturing of a product, support for familie...
122
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we present a new protocol to address multilateral multi-issue negotiation in a cooperative context. We consider complex dependencies between multiple issues by mode...
161
click to vote
CIKM
2007
Springer
15 years 8 months ago
2007
Springer
Every user has a distinct background and a specific goal when searching for information on the Web. The goal of Web search personalization is to tailor search results to a particu...
134
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
The nDCG measure has proven to be a popular measure of retrieval effectiveness utilizing graded relevance judgments. However, a number of different instantiations of nDCG exist, d...