3082 search results - page 188 / 617 » Deviation Analysis: A New Use of Model Checking |
196
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: High-throughput peptide and protein identification technologies have benefited tremendously from strategies based on tandem mass spectrometry (MS/MS) in combination wi...
163
click to vote
FORTE
2004
15 years 7 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
153
click to vote
RAID
2005
Springer
15 years 12 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
191
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...
180
click to vote
VLSID
2003
IEEE
16 years 6 months ago
2003
IEEE
Abstract-- In battery driven portable applications, the minimization of energy, average power, peak power, and peak power differential are equally important to improve reliability ...