17789 search results - page 33 / 3558 » Exceptional Use Cases |
144
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
—We design an intuitionistic predicate logic that supports a limited amount of classical reasoning, just enough to prove a variant of Markov’s principle suited for predicate lo...
148
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
152
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
156
click to vote
ICCBR
2005
Springer
15 years 11 months ago
2005
Springer
We focus on the problem of selecting the few vehicles in a fleet that are expected to last the longest without failure. The prediction of each vehicle’s remaining life is based o...