1407 search results - page 112 / 282 » Using Use Cases in Executable Z |
126
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We study network error correction with unequal link capacities. Previous results on network error correction assume unit link capacities. We consider network error correction codes...
151
click to vote
INFSOF
2007
15 years 4 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
125
click to vote
EWC
2002
15 years 4 months ago
2002
An object-oriented (OO) framework for Partial tial Equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, a...
133
click to vote
SIAMNUM
2011
14 years 11 months ago
2011
In this paper we prove the discrete compactness property for a wide class of p finite element approximations of non-elliptic variational eigenvalue problems in two and three spac...
138
click to vote
SBMF
2010
Springer
14 years 11 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...