2935 search results - page 212 / 587 » An Integrated Approach to High Integrity Software Verificati... |
192
click to vote
BXML
2003
15 years 8 months ago
2003
: The integration of heterogenous web sources is still a big challenge. One approach to deal with integration problems is the usage of domain knowledge in form of vocabularies or o...
155
click to vote
ISPW
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract. Software development processes are often not explicitly modelled and sometimes even chaotic. In order to keep track of the involved documents and files, engineers use So...
156
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
The software clustering problem has attracted much attention recently, since it is an integral part of the process of reverse engineering large software systems. A key problem in ...
206
click to vote
TMI
2010
15 years 1 months ago
2010
We introduce a novel algorithm to address the challenges in magnetic resonance (MR) spectroscopic imaging. In contrast to classical sequential data processing schemes, the proposed...
198
click to vote
IFIP12
2004
15 years 8 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...