1164 search results - page 137 / 233 » Using CBR for Semantic Analysis of Software Specifications |
111
click to vote
JAIR
2002
14 years 11 months ago
2002
We propose a structured approach to the problem of retrieval of images by content and present a description logic that has been devised for the semantic indexing and retrieval of ...
ICSM
2008
IEEE
15 years 6 months ago
2008
IEEE
Code clones are similar program structures recurring in software systems. Clone detectors produce much information and a challenge is to identify useful clones depending on the go...
106
click to vote
ISESE
2005
IEEE
15 years 5 months ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
107
click to vote
AOSE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
180
click to vote
POPL
2007
ACM
16 years 5 days ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...