3799 search results - page 363 / 760 » An Engineering Approach to Formal Methods |
200
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Data manipulation, or algorithmic complexity, is not taken into account adequately in any of the most popular functional size measurement methods. In this paper, we recall some we...
196
click to vote
EUROSPI
2005
Springer
16 years 9 days ago
2005
Springer
The variety of agile methods and their similarity could be a problem for software engineers to select a single or a number of methods and to properly execute them in a project. A p...
200
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
The quality of image stitching is measured by the similarity of the stitched image to each of the input images, and by the visibility of the seam between the stitched images. In or...
184
click to vote
FMICS
2007
Springer
16 years 29 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
223
click to vote
VLDB
2007
ACM
16 years 27 days ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...