403 search results - page 35 / 81 » Contracts for higher-order functions |
178
click to vote
LISP
2007
15 years 6 months ago
2007
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...
153
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
169
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
We propose a family of novel cost-sensitive boosting methods for multi-class classification by applying the theory of gradient boosting to p-norm based cost functionals. We establ...
154
click to vote
RTSS
1989
IEEE
15 years 10 months ago
1989
IEEE
A new fault tolerant architecture that provides tolerance to a broad scope of hardware, software, and communications faults is being developed. This architecture relies on widely ...
148
click to vote
ICSOC
2005
Springer
15 years 11 months ago
2005
Springer
Web Services are entailing a major shift of perspective in software engineering: software is used and not owned, and operation happens on machines that are out of the user control....