403 search results - page 67 / 81 » Contracts for higher-order functions |
110
click to vote
CADE
2004
Springer
16 years 1 days ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
STOC
2007
ACM
16 years 1 days ago
2007
ACM
We give an exponential separation between one-way quantum and classical communication protocols for two partial Boolean functions, both of which are variants of the Boolean Hidden...
103
click to vote
STOC
2006
ACM
16 years 1 days ago
2006
ACM
We study rerouting policies in a dynamic round-based variant of a well known game theoretic traffic model due to Wardrop. Previous analyses (mostly in the context of selfish routi...
104
click to vote
PODC
2004
ACM
15 years 5 months ago
2004
ACM
We introduce the distributed gradient clock synchronization problem. As in traditional distributed clock synchronization, we consider a network of nodes equipped with hardware clo...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
An e-Negotiation process comprises computerfacilitated tasks, each of which aims at resolving an issue or a collection of co-related issues under negotiation. It involves an itera...