376 search results - page 29 / 76 » A Controlled Language for the Specification of Contracts |
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
106
click to vote
CICLING
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
ECIR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We show that several previously proposed passage-based document ranking principles, along with some new ones, can be derived from the same probabilistic model. We use lan...
134
click to vote
CONPAR
1994
15 years 2 months ago
1994
Data parallel languages such as Vienna Fortran and HPF can be successfully applied to a wide range of numerical applications. However, many advanced scienti c and engineering appl...
COORDINATION
2007
Springer
15 years 4 months ago
2007
Springer
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...