3742 search results - page 254 / 749 » On the Use of Formal Techniques for Validation |
189
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...
189
click to vote
ICCBSS
2003
Springer
15 years 11 months ago
2003
Springer
Among the main activities involved in COTS-based development there are identification, evaluation, and selection of COTS products. Several techniques have been developed for these ...
154
click to vote
CADE
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a technique that efficiently translates propositional intuitionistic formulas into propositional classical formulas. This technique allows the use of arbitrary...
208
click to vote
Publication
This paper presents a study conducted for evaluating different
interpolation schemes, similarity metrics and optimization
algorithms for the purpose of volumetric medical
image ...
223
click to vote
GEO
2000
15 years 8 months ago
2000
: In feature modelling, constraints can be used to store design intent in a model. Interaction constraints are an important type of constraints, which limit the extent to which fea...