403 search results - page 29 / 81 » Contracts for higher-order functions |
160
click to vote
TSC
2008
15 years 6 months ago
2008
Service level agreements (SLAs), or contracts, have an important role in web services. These contracts define the obligations and rights between the provider of a web service and i...
147
click to vote
WECWIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...
107
click to vote
NIPS
2007
15 years 7 months ago
2007
We introduce a functional representation of time series which allows forecasts to be performed over an unspecified horizon with progressively-revealed information sets. By virtue...
133
click to vote
EUROCRYPT
1990
Springer
15 years 10 months ago
1990
Springer
The relation between the Walsh-Hadamard transform and the autocorrelation function of Boolean functions is used to study propagation characteristics of these functions. The Strict...
136
click to vote
ENTCS
2008
15 years 6 months ago
2008
There are several proposals for extending Prolog with functional capabilities. The basic idea is to enlarge the language with function definitions that are translated (or expanded...