5843 search results - page 225 / 1169 » Software Security in Practice |
145
click to vote
ISSE
2010
15 years 4 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
158
click to vote
INFOCOM
2009
IEEE
16 years 12 days ago
2009
IEEE
—During the past decade, the packet classification problem has been widely studied to accelerate network applications such as access control, traffic engineering and intrusion de...
174
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Biological sequence repeats arranged in tandem patterns are widespread in DNA and proteins. While many software tools have been designed to detect DNA tandem repeats (...
217
click to vote
CORR
2011
Springer
15 years 8 days ago
2011
Springer
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
126
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
: Software agents comprise a new area for research and soon will be embedded and ubiquitous in modern computing systems. In this formative phase, it is important to develop compreh...