1975 search results - page 174 / 395 » Property analysis and design understanding |
173
click to vote
PCM
2004
Springer
16 years 19 hour ago
2004
Springer
Abstract. In repeated pattern analysis, peak number detection in autocorrelation is of key importance, which subsequently determines the correctness of the constructed lattice. Pre...
169
click to vote
WABI
2004
Springer
16 years 12 hour ago
2004
Springer
Abstract. Genomic instabilities, amplifications, deletions and translocations are often observed in tumor cells. In the process of cancer pathogenesis cells acquire multiple genom...
180
click to vote
ASWC
2006
Springer
15 years 10 months ago
2006
Springer
Automated Web service composition and automated Web service annotation could be seen as complimentary methodologies. While automated annotation allows to extract Web service semant...
189
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
160
click to vote
IEEESP
2011
14 years 10 months ago
2011
Botnets, networks of malware-infected machines that are controlled by an adversary, are the root cause of a large number of security problems on the Internet. A particularly sophi...