430 search results - page 53 / 86 » Design by Contract for Python |
LREC
2008
13 years 9 months ago
2008
The DAM-LR project aims at virtually integrating various European language resource archives that allow users to navigate and operate in a single unified domain of language resour...
COOP
2004
13 years 9 months ago
2004
This paper proposes a method which assists the firms for cooperating in make-to-order production. We especially focus on the operational decision levels of manufacturing companies ...
SOQUA
2007
13 years 8 months ago
2007
Failure detection is a difficult and often expensive task. The principle of self-healing addresses this cost issue, but poses new research questions. This work focuses on detectin...
ECRA
2010
13 years 7 months ago
2010
We experimentally evaluate reputation mechanisms in an exchange market in which participants have the option of not fulfilling their contracts. These mechanisms vary in the inform...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Abstract. In the first part of this article we introduce the notion of a backwardforward conditioning (BFC) system that generalises the notion of zero-class admissibiliy introduce...