403 search results - page 40 / 81 » Contracts for higher-order functions |
148
click to vote
IWPSE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemente...
166
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper studies optimal input excitation design for parametric frequency response estimation. We will focus on least-squares estimation of Finite Impulse Response (FIR) models a...
159
click to vote
WINE
2009
Springer
16 years 20 days ago
2009
Springer
We study an economic setting in which a principal motivates a team of strategic agents to exert costly effort toward the success of a joint project. The action taken by each agent...
153
click to vote
MANSCI
2010
15 years 4 months ago
2010
Firms that rely on functioning mission-critical equipment for their businesses cannot a¤ord signi…cant operational downtime due to system disruptions. To minimize the impact of...
151
click to vote
LCTRTS
2010
Springer
16 years 27 days ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...