15253 search results - page 2912 / 3051 » Integer-Programming Software Systems |
155
click to vote
SCP
2010
15 years 3 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
145
Voted
ACL
2010
15 years 2 months ago
2010
In the business world, analyzing and dealing with risk permeates all decisions and actions. However, to date, risk identification, the first step in the risk management cycle, has...
132
click to vote
ACSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
A promising method for the detection of previously unknown code injection attacks is the identification of the shellcode that is part of the attack vector using payload execution....
165
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
181
click to vote
HIPC
2009
Springer
15 years 2 months ago
2009
Springer
Abstract--Microarray-based comparative genomic hybridization (aCGH) offers an increasingly fine-grained method for detecting copy number variations in DNA. These copy number variat...