1813 search results - page 358 / 363 » Constraint Based Methods for Biological Sequence Analysis |
115
Voted
DSN
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose the first model of stateful firewalls. In this model, each stateful firewall has a variable set called the state of the firewall, which is used to store some packet...
171
click to vote
ECLIPSE
2007
ACM
15 years 9 months ago
2007
ACM
In the software development life cycle, unit testing is an important phase that helps in early detection of bugs. A unit test case consists of two parts: a test input, which is of...
149
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
145
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
The Relevance Vector Machine (RVM) is a sparse approximate Bayesian kernel method. It provides full predictive distributions for test cases. However, the predictive uncertainties ...
165
click to vote
CASES
2006
ACM
15 years 8 months ago
2006
ACM
Device scaling trends dramatically increase the susceptibility of microprocessors to soft errors. Further, mounting demand for embedded microprocessors in a wide array of safety c...