3688 search results - page 587 / 738 » Static analysis of aspects |
212
click to vote
MBEES
2008
15 years 8 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
160
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Accurate and sensitive performance evaluation is crucial for both effective development of better structure prediction methods based on sequence similarity, and for th...
187
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Multicast transmission, wherein the same packet must be delivered to multiple receivers, is an important aspect of sensor and tactical networks and has several distinctive traits ...
211
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The proliferation of data repositories in bioinformatics has resulted in the development of numerous interfaces that allow scientists to browse, search and analyse the...
193
click to vote
JSAC
2008
15 years 6 months ago
2008
Cognitive Radio (CR) is a promising technology that can alleviate the spectrum shortage problem by enabling unlicensed users equipped with CRs to coexist with incumbent users in li...