2673 search results - page 436 / 535 » Guided Static Analysis |
128
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Fast and accurate estimation is critical for exploration of any dece in general. As we move to higher levels of abstraction, on of complete system designs at each level of abstrac...
136
click to vote
MICCAI
2005
Springer
16 years 5 months ago
2005
Springer
Models that predict the soft tissue deformation caused by needle insertion could improve the accuracy of procedures such as brachytherapy and needle biopsy. Prior work on needle in...
160
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...
137
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
There has recently been a great deal of interest in search? based test data generation, with many local and global search algorithms being proposed. However, to date, there has be...
138
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
A requirements analysis in the emerging field of Semantic Web Services (SWS) (see http://daml.org/services/swsl/requirements/) has identified four major areas of research: intelli...