8828 search results - page 115 / 1766 » Formal methods in practice |
107
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We study the attribution problem, that is, the problem of attributing a change in the value of a characteristic function f to its independent variables. We make three contributions...
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
139
click to vote
FM
1994
Springer
15 years 8 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
181
click to vote
WEA
2010
Springer
15 years 11 months ago
2010
Springer
We study the problem of finding good alternative routes in road networks. We look for routes that are substantially different from the shortest path, have small stretch, and are ...
124
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...