8828 search results - page 351 / 1766 » Formal methods in practice |
167
click to vote
CAISE
2008
Springer
15 years 7 months ago
2008
Springer
Analogous to Computer-Aided Software Engineering (CASE), which aims to facilitate Software Engineering through specialized tools, ComputerAided Method Engineering (CAME) strives to...
146
click to vote
AMC
2006
15 years 6 months ago
2006
In the integration of geodetic networks with different geodetic coordinate systems, the similarity transformation seems to be the most suitable method because the geodetic coordin...
161
click to vote
JAR
2000
15 years 6 months ago
2000
A lot of methods have been proposed -- and sometimes implemented -- for proof search in the propositional modal logics K, KT, and S4. It is difficult to compare the usefulness of ...
188
click to vote
JUCS
2010
15 years 1 months ago
2010
: Although literature contains a huge amount of measures for measuring quality characteristics of software artifacts throughout the development life-cycle, the majority go no furth...
147
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
We have developed a new semi-automatic neural network based method to detect blotches with low false alarm rate on archive films. Blotches can be modeled as temporal intensity disc...