731 search results - page 56 / 147 » Specification Matching of Software Components |
BMCBI
2005
13 years 9 months ago
2005
Background: Determination and quantification of nucleic acid components in a mixture is usually accomplished by microarray approaches, where the mixtures are hybridized against sp...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
—Network Intrusion Detection Systems (NIDS) are more and more important in today’s network security for identifying and preventing malicious attacks over the network. This pape...
AMAST
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
RSP
1998
IEEE
14 years 2 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
ICDM
2010
IEEE
13 years 8 months ago
2010
IEEE
Dataset shift from the training data in a source domain to the data in a target domain poses a great challenge for many statistical learning methods. Most algorithms can be viewed ...