2302 search results - page 193 / 461 » Testing as Abstraction |
179
click to vote
CIBCB
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— Multiple sequence alignment is an important problem in computational biology. A-star is an algorithm that can be used to find exact alignments. We present a simple mod...
190
click to vote
FDL
2007
IEEE
16 years 28 days ago
2007
IEEE
The system description language SystemC enables to quickly create executable specifications at adequate levbstraction for both hardware/software integration and fast design space...
178
click to vote
GLOBECOM
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract—Network Intrusion Detection and Prevention Systems (NIDPSs) are vital in the fight against network intrusions. NIDPSs search for certain malicious content in network tr...
102
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract—ENUM is a DNS-based protocol standard for mapping E.164 telephone numbers to Internet Uniform Resource Identifiers (URIs). It places unique requirements on the existing...
133
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract—Spectral sensing for the presence of ATSC DTV signals in VHF/UHF TV bands under a very low SNR environment is one of the core technologies in IEEE 802.22 WRAN. There are...