937 search results - page 107 / 188 » On the Complexity of Partial Order Properties |
167
click to vote
AMEC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In many settings, bidding agents for auctions do not know their preferences a priori. Instead, they must actively determine them through deliberation (e.g., information p...
174
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
150
click to vote
STOC
1991
ACM
15 years 9 months ago
1991
ACM
The study of self-testing/correcting programs was introduced in [8] in order to allow one to use program P to compute function f without trusting that P works correctly. A self-te...
176
click to vote
ICFEM
2009
Springer
16 years 22 days ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
165
click to vote
WEBDB
2005
Springer
15 years 11 months ago
2005
Springer
Large-scale information integration, and in particular, search on the World Wide Web, is pushing the limits on the combination of structured data and unstructured data. By its ver...