403 search results - page 28 / 81 » Contracts for higher-order functions |
147
click to vote
ESAW
2009
Springer
16 years 19 days ago
2009
Springer
Expressing contractual agreements electronically potentially allows agents to automatically perform functions surrounding contract use: establishment, fulfilment, renegotiation et...
209
click to vote
ENTCS
2002
15 years 5 months ago
2002
The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...
156
click to vote
ASWEC
2005
IEEE
15 years 11 months ago
2005
IEEE
As modern computing environments become more open, distributed and pervasive, the software we build for those dynamic environments will need to become more adaptable and adaptive....
153
click to vote
INTERSPEECH
2010
15 years 26 days ago
2010
This study investigates the mechanism of tonal contraction when a disyllabic unit is merged into a monosyllable at fast speech rate in Taiwan Mandarin. Various degrees of contract...
138
click to vote
GLOBECOM
2007
IEEE
16 years 11 days ago
2007
IEEE
Abstract—In wireless networks, monotonic, strictly subhomogeneous functions have been used to analyze power control algorithms. We provide an alternative analysis based on the ob...